ETUDE ET RÉALISATION D’UN RAISONNEUR DANS LES LOGIQUES DE DESCRIPTIONS
Des informations générales:
Le niveau |
Magister en informatique |
Titre |
ETUDE ET RÉALISATION D’UN RAISONNEUR DANS LES LOGIQUES DE DESCRIPTIONS |
SPECIALITE |
Intelligence Artificielle et Aide a la Décision |
Page de garde:
Sommaire:
Introduction générale
Chapitre I: Les ontologies comme outil de représentation de connaissances
Introduction
La notion d’ontologie
L’origine des ontologies
Les ontologies au sein du processus de représentation des connaissances
Les constituants d’une ontologie
Connaissances et domaine de connaissance
Les concepts et les relations
Les connaissances inférentielles
Conclusion
Chapitre II: Les logiques de descriptions
Introduction
Définition du formalisme de base
Les langages de description
Le langage de description basique AL
La famille des langages AL
Les langages de description et la logique des prédicats du premier ordre
Terminologies
Axiomes terminologiques
Définitions
Terminologies définitoriales
Terminologies acycliques et terminologies cycliques
Les sémantiques du fixe point pour les terminologies cycliques
Descriptions du monde Abox
Les assertions sur les individus
Les noms d’individus dans les langages de description
Conclusion
Chapitre III: Le raisonnement dans les DL
Introduction
Tâches de raisonnement pour la TBox
L’élimination du TBox
Tâches de raisonnement pour la Abox
Les algorithmes de raisonnement
Algorithmes de subsomption structurelle
Algorithmes de tableaux
Conclusion
Chapitre IV: Etude et réalisation d’un raisonneur dans les logiques de descriptions
Introduction
Présentation de l’application développée
Les algorithmes développés
L’algorithme de subsomption structurelle
La technique unfolding
L’algorithme
Subsomption et propriétés de treillis
L’algorithme des tableaux sémantiques
Variante sur l’algorithme de tableaux sémantiques
exemples d’interrogations de la base
Conclusion
Conclusion et perspectives
Bibliographie
Chapitre I: Les ontologies comme outil de représentation de connaissances
Introduction
La notion d’ontologie
L’origine des ontologies
Les ontologies au sein du processus de représentation des connaissances
Les constituants d’une ontologie
Connaissances et domaine de connaissance
Les concepts et les relations
Les connaissances inférentielles
Conclusion
Chapitre II: Les logiques de descriptions
Introduction
Définition du formalisme de base
Les langages de description
Le langage de description basique AL
La famille des langages AL
Les langages de description et la logique des prédicats du premier ordre
Terminologies
Axiomes terminologiques
Définitions
Terminologies définitoriales
Terminologies acycliques et terminologies cycliques
Les sémantiques du fixe point pour les terminologies cycliques
Descriptions du monde Abox
Les assertions sur les individus
Les noms d’individus dans les langages de description
Conclusion
Chapitre III: Le raisonnement dans les DL
Introduction
Tâches de raisonnement pour la TBox
L’élimination du TBox
Tâches de raisonnement pour la Abox
Les algorithmes de raisonnement
Algorithmes de subsomption structurelle
Algorithmes de tableaux
Conclusion
Chapitre IV: Etude et réalisation d’un raisonneur dans les logiques de descriptions
Introduction
Présentation de l’application développée
Les algorithmes développés
L’algorithme de subsomption structurelle
La technique unfolding
L’algorithme
Subsomption et propriétés de treillis
L’algorithme des tableaux sémantiques
Variante sur l’algorithme de tableaux sémantiques
exemples d’interrogations de la base
Conclusion
Conclusion et perspectives
Bibliographie
Télécharger:
Pour plus de
sources et références universitaires
(mémoires, thèses et articles
), consultez notre site principal.