J.-C. Régin

Concepts d'intelligence artificielle

Ce cours introduit quelques concepts de base de l’intelligence artificielle, comme la logique et les graphes d’états, et montre comment résoudre des problèmes « à un joueur ».

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.