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
- Stage de communication : 18
effectifs minimal / maximal:
10/24Diplô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
Règle d'exclusion : UE AOT11 Ou Ou UE AOT13 Ou UE EPMT11 Ou UE EAT11 Ou UE EAT12 Ou Ou UE CBT12 Ou UE CBT13 Ou Ou Ou UE MAT42 Ou UE MAT43 Ou UE MST31 Ou UE MST32 Ou UE MST33
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