Sławek Staworko - AIL'17

Intelligence Artificielle par la Logique 2017 (1er semestre)

Responsable du cours : Sławek Staworko

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 :

• Aide-mémoire : Logique propositionnelle
• DLV Le système pour le calcul automatique des modèles stables

TD :

1. Logique des propositions : tables de vérité
2. Logique des propositions : calcul propositionnel
3. Logique des propositions : preuves
4. Logique des propositions : revision [correction des exercises 2, 3 et 4]
5. Programmation logique
6. Datalog [correction]
7. Combinatoire