Introduction à l'intelligence artificielle symbolique

Crédit : 3 ECTS

Volume horaire

• CM : 30 h
• Volume horaire global (hors stage) : 30 h

Compétences à 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.

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

Enseignant responsable

GABRIELLA PIGOZZI

Enseignant responsable

TRISTAN CAZENAVE