Calcul de conséquences pour le test d'extension conservative dans un système pair-à-pair

Nada Abdallah 1, 2 François Goasdoué 1, 2
2 GEMO - Integration of data and knowledge distributed over the web
LRI - Laboratoire de Recherche en Informatique, UP11 - Université Paris-Sud - Paris 11, Inria Saclay - Ile de France, CNRS - Centre National de la Recherche Scientifique : UMR8623
Résumé : Dans un système d'inférence pair-à-pair (P2PIS), un pair étend sa base de connaissances (KB) avec celle des autres pairs afin d'utiliser leurs connaissances pour répondre aux requêtes qui lui sont posées. Toutefois, l'ex tension d'une KB n'est pas nécessairement conservative. Une extension conservative garantit que le sens d'une KB est le même lorsqu'elle est considérée seule ou avec son extension. En revanche, une extension non conservative peut changer radicalement le sens d'une KB au sein de la théorie résultante. Il est par conséquent crucial pour un pair de savoir si un P2PIS est une extension conservative de sa KB. En effet, si ce n'est pas le cas (i) ses utilisateurs n'ont plus la bonne interprétation de sa KB, donc des requêtes en termes de sa KB et des réponses à celles-ci et (ii) les connaissances qu'il fournit aux autres pairs ne sont pas celles escomptées. Cet article est le premier à s'intéresser à la notion d'ex tension conservative dans le cadre des P2PIS. Notre contribution est d'étudier théoriquement et algorithmiquement le problème de tester si un P2PIS propositionnel est une extension conservative d'un pair donnée. En particulier, nous recourons au calcul de conséquences afin de reformuler ce problème et d'´élaborer un algorithme décentralisé pour le résoudre.
Type de document :
Communication dans un congrès
Gilles Trombettoni. JFPC 2008- Quatrièmes Journées Francophones de Programmation par Contraintes, Jun 2008, Nantes, France. pp.95-103, 2008
Liste complète des métadonnées

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

https://hal.inria.fr/inria-00291089
Contributeur : Service Ist Inria Sophia Antipolis-Méditerranée / I3s <>
Soumis le : jeudi 26 juin 2008 - 16:41:37
Dernière modification le : jeudi 5 avril 2018 - 12:30:12
Document(s) archivé(s) le : vendredi 28 mai 2010 - 20:22:34

Fichier

pages-095-103-article37.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : inria-00291089, version 1

Collections

Citation

Nada Abdallah, François Goasdoué. Calcul de conséquences pour le test d'extension conservative dans un système pair-à-pair. Gilles Trombettoni. JFPC 2008- Quatrièmes Journées Francophones de Programmation par Contraintes, Jun 2008, Nantes, France. pp.95-103, 2008. 〈inria-00291089〉

Partager

Métriques

Consultations de la notice

223

Téléchargements de fichiers

112