Skip to Main content Skip to Navigation
Conference papers

Calcul de conséquences dans un système d'inférence pair-à-pair propositionnel (revisité)

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 cet article, nous étudions le calcul de conséquences dans les systèmes d'inférence pair-à-pair (P2PIS) propositionnels avec des mappings orientés. Dans ces systèmes, un mapping allant d'un pair vers un autre spécifie un ensemble de connaissances que le premier pair doit observer, ainsi que les connaissances qu'il doit notifier au second pair si les connaissances observées sont satisfaites. Ces nouveaux P2PIS pouvant modéliser de nombreuses applications réelles, il est important de les doter d'inférences clés de l'IA, en l'occurrence du calcul de conséquences. Nos contributions sont doubles. Nous définissons tout d'abord le premier cadre logique pour représenter des P2PIS propositionnels avec des mappings orientés. Nous étudions ensuite le calcul de conséquences dans ce nouveau cadre. En particulier, nous proposons un algorithme totalement décentralisé pour ce problème.
Document type :
Conference papers
Complete list of metadata

https://hal.inria.fr/inria-00429723
Contributor : François Goasdoué Connect in order to contact the contributor
Submitted on : Wednesday, November 4, 2009 - 10:22:56 AM
Last modification on : Thursday, July 8, 2021 - 3:48:26 AM

Identifiers

  • HAL Id : inria-00429723, version 1

Collections

Citation

Nada Abdallah, François Goasdoué. Calcul de conséquences dans un système d'inférence pair-à-pair propositionnel (revisité). Reconnaissance des Formes et Intelligence Artificielle (RFIA), Jan 2008, Amiens, France. ⟨inria-00429723⟩

Share

Metrics

Record views

166