Introduction à l'intelligence artificielle symbolique

Ects : 3
Volume horaire : 30
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.

Description du contenu de l'enseignement :
Utilisation de systèmes de règles pour des problèmes de gestion et d’aide à la décision (représentation des règles métier de l’entreprise et du raisonnement afférent). Principe de résolution. Notion de faits, clauses du premier ordre et d'unification. Chaînage avant, chaînage arrière, chaînage mixte. Introduction au langage Prolog. Utilisation du backtrack. Notion de listes. Programmation récursive.

Enseignant responsable :

  • TRISTAN CAZENAVE
  • GABRIELLA PIGOZZI