Fondements de la révision dans un langage d'objets simple - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Reports (Research Report) Year : 1996

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

Jérôme Euzenat

Abstract

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 and versions

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

Identifiers

  • HAL Id : inria-00073632 , version 1

Cite

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 View
75 Download

Share

Gmail Facebook Twitter LinkedIn More