Descriptif
Ce cours présente différentes approches possibles. Il met notamment l'accent sur les techniques de résolution à base d'espace d'états, les algorithmes heuristiques, les algorithmes pour les jeux, qui, dans l'ensemble, amènent à résoudre des problèmes sur des structures de graphes. Il présente également, la problématique des systèmes à base de connaissances, où la formalisation des connaissances s'effectue dans des cadres plus "logiques" et où la résolution de problèmes s'apparente à la construction de raisonnements, exploitant ces connaissances logiques, à l'aide de systèmes d'inférence. Les "Systèmes Experts", dont certains, ont suscité beaucoup d'espoirs, en sont une parfaite illustration. Leurs points forts mais aussi leurs limites seront étudiés et quelques directions actuelles de recherche dans ce domaine seront présentées.
Objectifs pédagogiques
nombre d'heure en présentiel
18nombre de blocs
6Volume horaire par type d'activité pédagogique : types d'activité
- Stage de communication : 18
effectifs minimal / maximal
10/24
Diplôme(s) concerné(s)
Pour les étudiants du diplôme Diplôme d'Ingénieur de l'Ecole Nationale Supérieure de Techniques Avancées
INT21 et INT22
Format des notes
Numérique sur 20Littérale/grade européenPour les étudiants du diplôme Diplôme d'Ingénieur de l'Ecole Nationale Supérieure de Techniques Avancées
Vos modalités d'acquisition :
- le rattrapage est obligatoire si :
- Note initiale < 6
- le rattrapage peut être demandé par l'étudiant si :
- 6 ≤ note initiale < 10
- Crédits ECTS acquis : 1.25 ECTS
- Scientifique acquis : 1.25
Le coefficient de l'UE est : 1
La note obtenue rentre dans le calcul de votre GPA.
L'UE est évaluée par les étudiants.
Programme détaillé
- Introduction genérale IA, Formalisation par graphe d'états, Algos de de recherche non informés. Exercices formalisation par graphe d'états
- Introduction Programmation Logique, Relations, Règles,Inférence, Unification, Structures, Listes
- Methodes Heuristiques pour la recherche dans les graphes d'états
- Operateurs - Arithmetique , Algorithmes pour les jeux, Controle Execution, Cut, E/S
- Pb de Satisfaction de Contraintes, Cohérence Locale, Recherche Hybride Pb d'optimisation sous contraintes, Contraintes Globales, Prog Logique Contrainte
- Représentation de connaissances. Algorithmique des systèmes à base de règles. Examen