Intelligence artificielle

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)

Contact(s) administratif(s)

Marie-laure MUGNIER (marie-laure.mugnier @ umontpellier.fr)

Michel LECLERE (michel.leclere @ umontpellier.fr)