Multilevel Flow Models (MFM) (http://www.mfm.elektro.dtu.dk/english/mfm
) has been used to represent various process plants.
Truth maintenance is required in the rule-based reasoning system to ensure that all propositions generated from the reasoning engine are valid and justified at all time. In the current MFM causal reasoning system, justification is recorded whenever a new proposition is deduced. The justification contains information so the reasoning system can check the validity of the proposition in case of changes in its knowledge base. The purpose of this project is to improve the existing justification schema so that the reasoning system can be maintained more efficiently and for the reasoning system to handle more complicated reasoning cases. An example model to prove the proper operation of the solution in MFM should be considered.
This master project is supported by DTU-Elektro (AUT), DHRTC, and Eldor Technology.
In collaboration withEldor Technology