Improve truth maintenance in the MFM causal reasoning system




Greater Copenhagen area

Multilevel Flow Models (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 with

Eldor Technology


Object-Oriented Programming

Search in postings

Company / Organization

DTU Elektro


Xinxin Zhang




Supervisor info

MSc in Electrical Engineering


Xinxin Zhang

ECTS credits



MSc thesis

Must be completed

31372 (optional)

Technical University of Denmark

For almost two centuries DTU, Technical University of Denmark, has been dedicated to fulfilling the vision of H.C. Ørsted – the father of electromagnetism – who founded the university in 1829 to develop and create value using the natural sciences and the technical sciences to benefit society.

Today, DTU is ranked as one of the foremost technical universities in Europe, continues to set new records in the number of publications, and persistently increases and develops our partnerships with industry, and assignments accomplished by DTU’s public sector consultancy.

Find us here

Anker Engelunds Vej 1
Bygning 101A
2800 Kgs. Lyngby


Tlf. (+45) 45 25 25 25

CVR-nr. 30 06 09 46

All vacant positions