logo Insalogo Insa

Systèmes intelligents

Objectifs

Utiliser la logique des propositions et la logique des prédicats du 1er ordre pour modéliser et résoudre un problème. Résoudre un problème à l'aide d'un programme logique en Prolog.
Résoudre certains problèmes d'optimisation sous la forme d'une recherche heuristique dans un graphe d'états ou dans un graphe ET/OU.
Développer les algorithmes de résolution associés (A*, A0*, MinMax, Alpha-Beta).

Evaluation

L'évaluation des acquis d'apprentissage est réalisée en continue tout le long du semestre. En fonction des enseignements, elle peut prendre différentes formes : examen écrit, oral, compte-rendu, rapport écrit, évaluation par les pairs...