Logik inom tillverkning
| Reference number | |
| Coordinator | Umeå universitet - Institutionen för datavetenskap |
| Funding from Vinnova | SEK 500 000 |
| Project duration | November 2015 - March 2016 |
| Status | Completed |
| Venture | The strategic innovation programme for Production2030 |
Purpose and goal
The LiM project combines multivalent logic and numerics in an enriched language to be used in the manufacturing industry in terms of information structures and representation. Multivalence involves non-commutative quantales allowing to consider ´what comes first, what after´ regarding e.g. the content of fault trees. Quantales also allow to see how ´function´ is a so-called tensor of ´faults´ .
Results and expected effects
LiM enables improved data collection, monitoring and analysis of data. All data is typed and can thus be included in typed/classified expressions. The terms are also multivalent, enabling decision also in the presence of uncertain data. LiM´s approach to analytics can be scaled up within and across domains of industries.
Approach and implementation
LiM´s research approach has been iterative and interdisciplinary. Case studies have been conducted with LiM´s partners, and also with regard to a broad approach concerning the applicability in multiple industrial areas. The information model is logically and ontologically well founded. The BPMN based process model describes industrial area ecosystems, where the information model is integrated in BPMN´s (Business Process Modelling Notation) data elements. LiM has also developed an AIDA (Awareness-Interest-Desire-Action) based upscale model.