Intelligence artificielleCode de l'UE : HMIN107
Présentation
Ce module introduit des notions fondamentales d'intelligence artificielle, qui serviront de socle pour l'acquisition de techniques plus poussées dans des modules spécialisés (en représentation de connaissances, ingénierie des connaissances, théorie des bases de données/connaissances, algorithmique de l'intelligence artificielle, etc.)
Objectifs
- Notion d'espace de recherche, parcours d'un espace de recherche, algorithme de backtrack, application de cet algorithme à différents problèmes : calcul des solutions d'un réseau de contraintes, test de la satisfiabilité d'une formule propositionnelle (problème SAT), calcul des solutions à une requête conjonctive dans une base de faits, application d'une règle du premier ordre, ...
- Systèmes à base de règles : règles en logique des propositions et en logique du premier ordre, mécanismes de chaînage avant et chaînage arrière, quelques techniques d'optimisation de ces mécanismes, modélisation de connaissances avec des règles.
Pré-requis recommandés
Bases en logique du premier ordre (programme Licence)
Volume horaire
- CM : 16.5
- TD : 16.5
- TP : 16.5
Syllabus
- Artificial Intelligence: A Modern Approach, S. Russel et P. Norvig
Diplômes intégrant cette UE
En bref
Crédits ECTS 5
Période de l'année
premierSemestre
Langue d'enseignement
fr
Contact(s)
Composante
Faculté des Sciences