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 <>
Submitted on : Wednesday, May 24, 2006 - 1:22:54 PM
Last modification on : Thursday, February 11, 2021 - 2:56:04 PM
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

436

Files downloads

172