Introduction to model-based diagnosis (in French)

These lectures provide a general overview about model-based diagnosis both from the DX and the FDI communities. These lectures are part of a general course on diagnosis at the doctoral school EDSYS. These lectures are in French (an English version is under construction).

Lecture slides

Tutorials

Due to a lack of time lecture 3 is very short and incomplete. For more details about this topic, see the lectures below. To go further, you can read the following books:

References

Lecture 1

Diagnostic, intelligence artificielle et reconnaissance de formes,sous la direction de Bernard Dubuisson, IC2 Productique, Hermes, ISBN 2-7462-0249-2.

Readings in Model-Based Diagnosis, W. Hamscher, L. Console, J. de Kleer, Morgan Kaufmann, San Mateo, CA, 1992.

Lecture 2

Automatique et statistiques pour le diagnostic,sous la direction de Bernard Dubuisson, IC2 Productique, Hermes, ISBN 2-7462-0248-4.

Fault Detection and Diagnosis in Industrial Systems, L.H. Chiang E.L. Russel and R.D. Braatz, Springer, ISBN 1-85233-327-8.

Lecture 3

Diagnosis of Active systems: Principles and Techniques, G.Lamperti and M. Zanella, Kluwer Academic Publishers, ISBN 978-1-4020-7487-5.





Diagnosis of discrete event systems (in French)

In these lectures, diagnosis of discrete-event systems is introduced. These two lectures are part of a general course on diagnosis at the doctoral school EDSYS. These lectures are in French.

Lecture slides





Knowledge Representation and Reasoning, Model-based diagnosis

In these lectures, knowledge-based agents are introduced. I did these lectures when I was a research fellow at the Australian National University.

A knowledge-based agent interacts with a knowledge base which is described with a formal language: logic. There exist several logics. Each logic has its own expressivity and its own degree of automatic reasoning. In these lectures, propositional logic and first-order logic (language of thinking) are introduced with their respective inference methods (reasoning). Logic programming is then presented and especially the Prolog language. Two different types of reasoning in first-order logic are then introduced:
  1. Situation calculus: reasoning about events, actions, how to make predictions, how to make deductive plans
  2. Reiter diagnosis: reasoning about abnormalities, failures conflicts, abduction reasoning, how to explain observations
Enjoy...

Lecture slides

Tutorials

Lab

References

Generic book: Artificial Intelligence - A Modern Approach, S. Russell and P. Norvig, Prentice Hall, 2nd Edition.

Situation calculus: Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems, Raymond Reiter, MIT Press, 2001.

Model-based diagnosis: Readings in Model-Based Diagnosis, W. Hamscher, L. Console, J. de Kleer, Morgan Kaufmann, San Mateo, CA, 1992.