Module : Représentation des connaissances. CODE UMINR310
Responsable
M. Chein et M.-L. Mugnier
Parcours intégrant UV
aucun.
Parcours possibles
tous. UE conseillée pour le parcours CODA.
Pré-Requis
bases de logique, de théorie des graphes, d'algorithmique et de complexité (ULIN406, ULIN503). Il est conseillé d'avoir suivi
le module UMINM203.
Controle connaissances
3
Description de l'UE :
Semestre
Code
Intitulé
Cours
TD
TP
TER
S3
UMINR310
Représentation des connaissances
15h
-
-
Detail du programme
Objectifs : Contenu :
Objectif
Le problème de la représentation de connaissances a depuis longtemps été reconnu comme un problème central en intelligence
artificielle : comment représenter dans un langage informatique des connaissances humaines de toutes sortes ou des modélisations
d'une partie du monde réel, de telle façon que cette représentation puisse être utilisée par un ordinateur pour effectuer
des raisonnements?
Ce module présente la problématique de ce domaine ainsi que des formalismes de représentation de connaissances (qui peuvent
varier selon les années). Il étudie en particulier un formalisme basé sur les graphes étiquetés, apparenté aux "graphes conceptuels".
Plan
? 1. Introduction à la représentation de connaissances et de raisonnements.
? 2. Graphes conceptuels simples (objets, opérations, problèmes de base, sémantique(s), expressivité, complexité des problèmes)
? 3. Extensions des graphes conceptuels simples (règles, contraintes, introduction de la négation)
? 4. Représentation d'ontologies avec les graphes conceptuels et les logiques de description.
? 5. Applications : recherche d'information, web sémantique, ...
