Home
What's up doc?
Teaching
Supervising
Seminars
Publications
DiaDes
|
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
Enjoy...
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
- Tute 1 Logic: Pdf
- Tute 2 Logic and Diagnosis: Pdf
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.
|
