DTU Studieprojekt - Improve truth maintenance in the MFM causal reasoning system

Improve truth maintenance in the MFM causal reasoning system

Udbyder
Vejleder
Sted
København og omegn
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. I samarbejde med
Eldor Technology

Forudsætninger
Object-Oriented Programming

Emneord

• Elektroteknologi
• Antenner
• Elektromagnetisme
• Elektronik
• Lyd
• Mikrobølgeteknologi
• Robotteknik og automation
• Energisystemer
• Hardware og komponenter
• Telekommunikation
• Høreapparater
• Medicinske apparater og systemer
• Rumteknologi og instrumenter
• Satellitter

• Automation
• MFM

Navn
Xinxin Zhang

Stilling
Adjunkt

Mail
xinz@elektro.dtu.dk

Vejleder-info
Kandidatuddannelsen i Elektroteknologi
Vejleder
Xinxin Zhang

ECTS-point
30

Type
Kandidatspeciale

Skal have taget
31372 (optional)