"Model-Based Diagnosis" course

An elective course for undergraduate students in Computer Science

Lecturer:

Meir Kalech

Department of Information System Engineering

Faculty of Engineering Sciences

Ben-Gurion University of the Negev

Beer-Sheva, 84105

Israel

Phone: 972-8-6472239

Email: kalech@bgu.ac.il
http://www.ise.bgu.ac.il/faculty/kalech/

Place:

Buiding 507 room 103

Aims: introducing the topics of Model-based Diagnosis (MBD), a field in Artificial Intelligence. The goal of MBD is to identify faults in general systems and to propose solutions. MBD assumes a model description of the system and an observation. If the ovservation indicates a fault in the system, then the goal is to infer the causes to the fault based on the model description. The MBD course will describe methods to model the system and inference approaches.

Grade:

25% readings analysis and presentations.

75% exam.

Bibliography and course plan you can find in the syllabus.

List of lessons:

1. Introduction to diagnosis.
2. Introduction to MBD.
3. Resolution theorem prover.
4. General diagnosis engine (GDE) (pdf, doc).
5. Assumption truth maintenance system (ATMS).
6. Measurements.
7. Behavior modes.
8. Self-Configuring Systems
9. Conflict-Directed A*.
10. Diagnosis of discrete event systems.

Readings:

Here you can find most of the papers appear in the bibliography.