Projekt

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

Søg i opslag
Kontakt

Virksomhed/organisation

DTU Elektro

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)

OM DTU

DTU er et teknisk eliteuniversitet med international rækkevidde og standard. Vores mission er at udvikle og nyttiggøre naturvidenskab og teknisk videnskab til gavn for samfundet. 10.000 studerende uddanner sig her til fremtiden, og 5.700 medarbejdere har hver dag fokus på uddannelse, forskning, myndighedsrådgivning og innovation, som bidrager til øget vækst og velfærd.

Find os her

Anker Engelunds Vej 1
Bygning 101A
2800 Kgs. Lyngby


45 25 25 25

dtu@dtu.dk

CVR-nr. 30 06 09 46

Liste over EAN Numre

Job på DTU

Se alle jobs
 

loading..