Module : Introduction à lIntelligence Artificielle. CODE UMINM203
Responsable
Frédéric Koriche
Parcours intégrant UV
Informatique, Informatique et Mathématiques, Informatique et Physique
Parcours possibles
tous
Pré-Requis
bases de logique : ULIN 406 (« Logique 1 ») bases dalgorithmique : ULIN 301 (« Algorithmique et S. de
D. »)
Controle connaissances
4 ECTS
Description de l'UE :
Semestre
Code
Intitulé
Cours
TD
TP
TER
S2
UMINM203
Introduction à lIA
18
12
12
Detail du programme
Représentation de connaissances : problématiques, typologie des modèles de
connaissances et des raisonnements, modélisation en logique du premier ordre
Algorithmes de résolution de problèmes et méthodes heuristiques