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.
Type de document :
Rapport
[Rapport de recherche] RR-3060, INRIA. 1996
Liste complète des métadonnées

Littérature citée [13 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/inria-00073632
Contributeur : Rapport de Recherche Inria <>
Soumis le : mercredi 24 mai 2006 - 13:22:54
Dernière modification le : mercredi 25 juillet 2018 - 01:23:55
Document(s) archivé(s) le : lundi 17 septembre 2012 - 16:15:27

Fichiers

Identifiants

  • 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〉

Partager

Métriques

Consultations de la notice

381

Téléchargements de fichiers

81