Objectifs de l’enseignement

maîtriser les formalismes de représentation des connaissances dans un cadre certain, incertain, vague, ambiguë, incomplet ou flou.

Contenu de la matière

• Base de la logique classique : logique des propositions, logique des prédicats, représentation des connaissances par ces logiques.
• Notion de modalité : syntaxe, règles de déduction, présentation et discussion sur les divers axiomes. Sémantique : mondes possibles, sémantique de Kripke.
• Les logiques modales pour la représentation du temps, des connaissance épistémiques, déontiques.
• Connaissances menant à des conclusions révisables : Logique des défauts, circonscription, auto- épistémique, modèles préférés.
• Les réseaux sémantiques : graphes conceptuels, inférences par propagation, logique de description.
• L'incertitude totalement ordonnée : modèles probabilistes, modèle de Dempster-Schafer, théorie des possibilités. Utilisation de ces méthodes pour le raisonnement causal (réseaux bayésiens)

Références

D. Kayser : La représentation des connaissances. Hermes 1997 Support de cours A. mokhtari