ECTS : 3
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.
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.