Sławek Staworko - AIL'12

Intelligence Artificielle par la Logique 2012 (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
• DLV Le système pour le calcul automatique des modèles stables

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 du premier ordre
10. Datalog

DM :

Quiz :