## 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

**Lecture 1**Diagnosis: a logical reasoning Slides**Lecture 2**Diagnosis of continuous systems Slides**Lecture 3**Diagnosis of discrete-event systems 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

**Lecture 1**Diagnosis of discrete-event systems Slides**Lecture 2**Diagnosability of discrete-event systems 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:

- Situation calculus: reasoning about events, actions, how to make predictions, how to make deductive plans
- Reiter diagnosis: reasoning about abnormalities, failures conflicts, abduction reasoning, how to explain observations

### Lecture slides

**KRR1**Knowledge-based agent, propositional logic: Slides, Notes**KRR2**First-order logic: Slides, Notes**KRR3**Inference in first-order logic: Slides, Notes**KRR4**Inference in first-order logic: Slides, Notes**KRR5**Logic programming, PROLOG: Slides, Notes**KRR6**Knowledge engineering, Situation Calculus: Slides, Notes**KRR7**Diagnosis: Slides, Notes**KRR8**Diagnosis: Slides, Notes

### Tutorials

### Lab

**Lab**Situation calculus Pdf

### 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.