L'unité d'enseignement « Modélisation du raisonnement
» est une UE de niveau (500) relevant de la spécialité IAD
du master d'informatique. Elle possède un volume de 3 ECTS et s'étend
sur 10 semaines. Elle est normalement offerte au semestre 3.
Description
Ce cours a pour objectif d'étudier les principales approches développées en Intelligence Artificielle pour représenter les connaissances et pour modéliser des raisonnements les exploitant, notamment pour ce qui concerne les connaissances incertaines, imprécises, incomplètes et/ou sujettes à révision.
Différents cadres de représentation de connaissances "imparfaites" et de modélisation de raisonnements associés sont présentés, tant numériques (approches probabilistes, logique floue, théorie des possibilités, théorie de l'évidence) que symboliques (raisonnements et logiques non monotones, systèmes de maintien de cohérence, logiques modales). Des exemples d'applications sont donnés.