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
Règle d'exclusion : UE APM_3AOT1_TA Ou Ou UE APM_3AOT3_TA Ou UE PHY_3EPMT_TA Ou UE ECO_3EAT1_TA Ou UE ECO_3EAT2_TA Ou Ou UE BIO_3CBT2_TA Ou UE BIO_3CBT3_TA Ou Ou Ou Ou Ou UE MEC_3MST1_TA Ou UE MEC_3MST2_TA Ou UE MEC_3MST3_TA
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