Détail de l'auteur
Auteur AHMED LEHIRECHE |
Documents disponibles écrits par cet auteur (1)
Affiner la recherche Interroger des sources externes
Etude et réalisation d'un raisonneur dans les logiques de descriptions / SOFIANE BOURZIG
Titre : Etude et réalisation d'un raisonneur dans les logiques de descriptions Type de document : texte imprimé Auteurs : SOFIANE BOURZIG, Auteur ; AHMED LEHIRECHE, Auteur Année de publication : 2011 Importance : 69p. Présentation : ill. Format : 30cm. Langues : Français (fre) Mots-clés : Mots-clés:représentation de connaissances, logiques
de descriptions,TBox, ABox, raisonnement,subsomption, algorithmes de tableauxRésumé : 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 conceptpermet de représenter un ensemble d'individus, tandis qu'un rôle représente une relation binaire
entre individus. Un concept correspond à une entité cognitivegénériqued'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 subsomptionet le raisonnement terminologiques Il existe deux approches principales pourappréhender la détection des relations de subsomption et de raisonnement terminologique. La première approches'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 œuvre de notre raisonneur DL, nus avons implanté la méthode NC en tant qu‟expérimentation
Nous avons,finalement, opté pour la méthode des tableaux sémantiques.
Etude et réalisation d'un raisonneur dans les logiques de descriptions [texte imprimé] / SOFIANE BOURZIG, Auteur ; AHMED LEHIRECHE, Auteur . - 2011 . - 69p. : ill. ; 30cm.
Langues : Français (fre)
Mots-clés : Mots-clés:représentation de connaissances, logiques
de descriptions,TBox, ABox, raisonnement,subsomption, algorithmes de tableauxRésumé : 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 conceptpermet de représenter un ensemble d'individus, tandis qu'un rôle représente une relation binaire
entre individus. Un concept correspond à une entité cognitivegénériqued'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 subsomptionet le raisonnement terminologiques Il existe deux approches principales pourappréhender la détection des relations de subsomption et de raisonnement terminologique. La première approches'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 œuvre de notre raisonneur DL, nus avons implanté la méthode NC en tant qu‟expérimentation
Nous avons,finalement, opté pour la méthode des tableaux sémantiques.
Réservation
Réserver ce document
Exemplaires (3)
Code-barres Cote Support Localisation Section Disponibilité bfst5678 M/006.3-05/01 thèse Salle d'accès libre 006.3 INTELLIGENCE Exclu du prêt bfst5679 M/006.3-05/02 thèse Salle d'accès libre 006.3 INTELLIGENCE Disponible bfst5680 M/006.3-05/03 thèse Salle d'accès libre 006.3 INTELLIGENCE Disponible