Information for students, faculty and staff regarding COVID-19. (Updated: 4 June 2020)

Skip to content
printicon

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

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 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.