ETUDE ET RÉALISATION D’UN RAISONNEUR DANS LES LOGIQUES DE DESCRIPTIONS

Abstract

Un système à base de connaissances est un programme capable de raisonner sur un domaine d'application pour résoudre un certain problème, en s'aidant de connaissances relatives au domaine étudié. Les connaissances du domaine sont représentées par des entités qui ont une description syntaxique à laquelle est associée une sémantique. Les logiques de descriptions est le nom le plus récent d‟une famille d‟un formalisme de représentation de connaissance d‟un domaine d‟application. Dans ce formalisme, un concept permet de représenter un ensemble d'individus, tandis qu'un rôle représente une relation binaire entre individus. Un concept correspond à une entité cognitive générique d'un domaine d'application. Un individu correspond à une entité particulière dite instance d‟un concept. Une description est une spécification d‟un ensemble de termes ou chaque terme représente un concept du domaine. Notre mémoire introduit, comme études théoriques, les fondements des logiques de descriptions : la syntaxe et la sémantique d'un concept et de relation conceptuelle, la relation de subsomption et le raisonnement terminologiques. Il existe deux approches principales pour appréhender la détection des relations de subsomption et de raisonnement terminologique. La première approche s'appuie sur les algorithmes de normalisation comparaison : NC ; La seconde approche sur la méthode des tableaux sémantiques appliquée aux logiques de descriptions. Pour la mise en oeuvre de notre raisonneur DL, nous avons implanté la méthode NC en tant qu‟expérimentation. Nous avons, finalement, opté pour la méthode des tableaux sémantiques