Introduction à l'intelligence artificielle symbolique

ECTS : 3

Lecturers : Tristan CAZENAVE, Gabriella PIGOZZI
https://dauphine.psl.eu/recherche/cvtheque/tristan-cazenave
https://dauphine.psl.eu/recherche/cvtheque/pigozzi-gabriella

Language of instruction : French

Teaching hours : 30

Course content:

• Problème SAT  
• Principe de résolution
• Transformation de formules de la logique propositionnelle et du premier ordre en CNF
• Clauses du premier ordre et principe d'unification
• Algorithme DPLL
• Notion de faits et règles
• Chaînage avant, chaînage arrière, chaînage mixte
• Introduction au langage Prolog
• Utilisation du backtrack
• Notion de listes
• Programmation récursive
• General Game Playing

Skills to be acquired:

Ce cours, qui vient après le cours de logique classique, en utilise les fondements pour présenter les différents types de raisonnement le but est de montrer le principe de la déduction logique sur les connaissances, de modéliser des problèmes de décision sous forme de règles d'inférence.