Project

Improve truth maintenance in the MFM causal reasoning system

Publisher

Supervisor

Location

Greater Copenhagen area

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 with

Eldor Technology

Requirements

Object-Oriented Programming

Search in postings
Contact

Company / Organization

DTU Elektro

Name

Xinxin Zhang

Position

Adjunkt

Mail

xinz@elektro.dtu.dk

Supervisor info

MSc in Electrical Engineering

Supervisor

Xinxin Zhang

ECTS credits

30

Type

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

Denmark



Tlf. (+45) 45 25 25 25

CVR-nr. 30 06 09 46

All vacant positions
 

loading..