Introduction à l'intelligence artificielle symbolique

ECTS : 3

Volume horaire : 30

Description du contenu de l'enseignement :

• 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

Compétence à acquérir :

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.