| | | Module SC : Sémantique des représentations de connaissance |
On se propose dans un cadre précis de présenter les résultats obtenus ces dernières années concernant la sémantique des représentations de connaissance. Au travers de la présentation de deux formalismes respectivement fondés sur les graphes conceptuels et les logiques de description, on présente les techniques de définition d'une sémantique (théorie des modèles, traduction vers la logique). On se penchera ensuite sur les possibilités de faire coopérer ces deux formalismes complémentaires et les difficultés posées à la description sémantique par cette coopération.
Le cours constitue une présentation approfondie des langages de représentation et une base pour les recherches en représentation de connaissance mais aussi une application à un autre cadre des techniques développées en logique. Il ne reste pas purement théorique puisque la problématique ainsi explorée est au coeur de la conception de langages pour représenter la connaissance sur le web.
Plan :
| | | Module SC : Sémantique des représentations de connaissance |