Sławek Staworko - AIL'11

Intelligence Artificielle par la Logique 2011 (1er semestre)

Responsable du cours : Sławek Staworko

Moodle : IA+Logique (utilisé pour des rendus et la diffusion d'information, donc il est nécessaire de s'y inscrire).

Bibliographie :

• Mordechai Ben-Ari, Mathematical Logic for Computer Science, Springer-Verlag, 2001, 2nd edition.
• Chitta Baral, Knowlege Representation, Reasoning and Declarative Problem Solving, Cambridge University Press, 2003
• Patrick Blackburn, Johan Bos, Kristina Striegnitz, Learn Prolog Now, College Publications, 2006
  • Version française : Prolog, Tout De Suite!, College Publications, 2007

Materiel :

• Une courte introduction à LaTeX2e
• Aide-mémoire : LaTeX
• Aide-mémoire : Logique propositionnelle

TD :

1. Introduction rapide à LaTeX
2. Logique des propositions
3. Calcul propositionel
4. Preuves et l'inférence
5. Révision: Logique propositionnelle
6. Algorithme de résolution
7. Programmation logique I
8. Négation par échec
9. Logique de premier ordre
10. Datalog
11. Planning avec Datalog non-stratifié

DM :

1. LaTeX
2. Le Trip de Michael J.

Quiz :

1. Logique des propositions
2. Programmation logique