HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation
Reports

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

Isabelle Crampé 1 Jérôme Euzenat 1
1 SHERPA - Object Knowledge Bases
Inria Grenoble - Rhône-Alpes
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.
Document type :
Reports
Complete list of metadata

Cited literature [13 references]  Display  Hide  Download

https://hal.inria.fr/inria-00073632
Contributor : Rapport de Recherche Inria Connect in order to contact the contributor
Submitted on : Wednesday, May 24, 2006 - 1:22:54 PM
Last modification on : Friday, February 4, 2022 - 3:18:50 AM
Long-term archiving on: : Monday, September 17, 2012 - 4:15:27 PM

Identifiers

  • HAL Id : inria-00073632, version 1

Collections

Citation

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⟩

Share

Metrics

Record views

114

Files downloads

73