Programmation Logique et Intelligence Artificielle (anglais)

Objectifs

Partie PLC:

  • Connaître les bases d'un langage de programmation logique.
  • Savoir programmer des algorithmes de base (avec listes, arithmétique, coupure) en programmation logique.
  • Connaître les bases de la programmation par contrainte, et savoir résoudre un problème à l'aide de la programmation par contrainte.

 Partie IA:

  • Comprendre et appliquer un système déductif. Modéliser un problème par des contraintes déductives (SAT). Résoudre un problème par un logiciel de résolution SAT.
  • Connaître certains aspects de l'intelligence artificielle: exploration (algorithme minimax, A*...), joueurs automatiques.

Descriptif

Ce cours est commun avec "Programmation logique et intelligence artificielle"  (parcours IFA), sauf le TP qui est spécifique et en anglais.

Ce cours comprend 5 parties, chacune de 4 h CM, 4 h TD et 4 h TP, sur différents points de l'intelligence artificielle et la programmation logique avec contraintes :

  • Résolution de problème par modélisation SAT : logique propositionnelle, rappels sur la complexité des problèmes, modélisation SAT, algorithmes de résolution (DPLL). Application sur un problème en TD et TP.
  • Programmation logique : représentation de données, systèmes experts, notions de chaînage avant et arrière.
  • Programmation par contrainte : modélisation et résolution de problèmes.
  • Résolution de problèmes avec algorithme A*, heuristiques.
  • Introduction théorique sur les jeux de stratégie impartiaux (jeux de Nim, théorème de Sprague-Grundy). Constructions de joueur pour un jeu de stratégie à deux joueurs : algorithme minimax, élagage alpha-bêta.