J.-C. Régin
Concepts d'intelligence artificielle
SPUF403
L2
S4 OPT
6 ECTS
18h CM, 24h TP
Syllabus
J.-C. Régin
Parcours : obligatoire dans le parcours I.A. ; au choix dans le parcours général (avec Développement d’applications Web).
Description
Ce cours introduit quelques concepts de base de l’intelligence artificielle, comme la logique et les graphes d’états. Il montre comment des problèmes dits « à un joueur » peuvent être résolus. C’est un cours d’informatique : on montrera que l’IA est en fait une partie de l’informatique.
Objectifs
À la fin de ce cours, l’étudiant doit être capable de :
- nommer et distinguer quelques principes de base de l’intelligence artificielle, comme la modélisation ;
- illustrer les différentes étapes de résolution sur des problèmes concrets et en comprendre la difficulté.
Contenu
Présentation de l’intelligence artificielle
Les concepts de base de la logique
Logique des propositions, logique des prédicats et 0-résolution. On s’intéressera essentiellement à la formulation en logique d’énoncés en langage naturel, en mettant en évidence leurs ambiguïtés.
Graphes d’états
- Définition d’états (ou positions) et de transitions (ou mouvements, coups joués).
- Modélisation de puzzles classiques, comme les problèmes de traversée (le loup, la chèvre et la salade) ou le problème du film « Die Hard ».
- Résolution de ces problèmes avec un solveur de contraintes : définition de contraintes de table pour représenter les transitions.
Prérequis
Connaître un langage de programmation et être capable d’écrire un programme simple.