Calcul de conséquences pour le test d'extension conservative dans un système pair-à-pair - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2008

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

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.
Fichier principal
Vignette du fichier
pages-095-103-article37.pdf (290.98 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

inria-00291089 , version 1 (26-06-2008)

Identifiants

  • HAL Id : inria-00291089 , version 1

Citer

Nada Abdallah, François Goasdoué. Calcul de conséquences pour le test d'extension conservative dans un système pair-à-pair. JFPC 2008- Quatrièmes Journées Francophones de Programmation par Contraintes, LINA - Université de Nantes - Ecole des Mines de Nantes, Jun 2008, Nantes, France. pp.95-103. ⟨inria-00291089⟩
162 Consultations
96 Téléchargements

Partager

Gmail Facebook X LinkedIn More