Skip to content
Main menu hidden.

LiM, Logic in Manufacturing

Research project The LiM project combines many-valued logics and numerics, to provide an enriched language regarding information structure and representation, for machinery faults and functioning.

LiM will develop a prototype information structure demonstrating the potential use of a multi-valued logic enriched classification of functioning in machines and manufacturing, as related to enriched classification of faults.

Head of project

Project overview

Project period:

2015-11-01 2016-03-31


VINNOVA, 500.000 SEK.

Participating departments and units at Umeå University

Department of Computing Science

Research area

Computing science

Project description

The LiM project builds upon the combination of many-valued logics and numerics, to radically and innovatively provide an enrichment of the language used within the manufacturing industry regarding information structure and representation. This provides a logical complement of the numerical attributions commonly used in industry today, concerning descriptions of faults and functioning.

Latest update: 2023-09-08