Fondements de la révision dans un langage d'objets simple - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Rapport (Rapport De Recherche) Année : 1996

Fondements de la révision dans un langage d'objets simple

Jérôme Euzenat

Résumé

L'ajout d'une connaissance dans une base de connaissance peut provoquer une inconsistance. La révision consiste alors à modifier la base pour la rendre consistante avec la dernière connaissance à ajouter. Résoudre ce problème est très utile dans l'assistance aux utilisateurs de bases de connaissance. Afin de poser les bases d'un tel mécanisme pour les objets, une représentation par objets minimale est formalisée. Elle est dotée de mécanismes d'inférence et d'une caractérisation syntaxique de l'inconsistance et de l'incohérence. La notion de base de connaissance révisée est définie sur ce langage. Un critère de minimalité, à la fois sémantique et syntaxique, permet de définir les bases révisées les plus proches de la base initiale.
Fichier principal
Vignette du fichier
RR-3060.pdf (223.67 Ko) Télécharger le fichier
Loading...

Dates et versions

inria-00073632 , version 1 (24-05-2006)

Identifiants

  • HAL Id : inria-00073632 , version 1

Citer

Isabelle Crampé, Jérôme Euzenat. Fondements de la révision dans un langage d'objets simple. [Rapport de recherche] RR-3060, INRIA. 1996. ⟨inria-00073632⟩
114 Consultations
75 Téléchargements

Partager

Gmail Facebook X LinkedIn More