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 (MCFu), as related to enriched classification of faults (MCFa).

Head of project

Patrik Eklund Professor

+46 90 786 99 14

Project overview

Project period:

2015-11-01 – 2016-03-31

Funding

VINNOVA, 500.000 SEK.

Participating departments and units at Umeå University

Department of Computing Science

Research subject

Computing science

Project members

External project members

LKAB, Alkit Communications AB.

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.