HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation
Conference papers

Reasoning with Inconsistencies in Propositional Peer-to-Peer Inference Systems

Philippe Chatalic 1, 2 Gia Hien Nguyen 1, 3 Marie-Christine Rousset 1, 3
1 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
LRI - Laboratoire de Recherche en Informatique
Abstract : n a peer-to-peer inference system, there is no centralized control or hierarchical organization: each peer is equivalent in functionality and cooperates with other peers in order to solve a collective reasoning task. Since peer theories model possibly different viewpoints, even if each local theory is consistent, the global theory may be inconsistent. We exhibit a distributed algorithm detecting inconsistencies in a fully decentralized setting. We provide a fully distributed reasoning algorithm, which computes only well-founded consequences of a formula, i.e., with a consistent set of support.
Document type :
Conference papers
Complete list of metadata

Cited literature [19 references]  Display  Hide  Download

Contributor : Philippe Chatalic Connect in order to contact the contributor
Submitted on : Tuesday, October 16, 2007 - 6:48:11 PM
Last modification on : Friday, February 4, 2022 - 3:09:33 AM
Long-term archiving on: : Sunday, April 11, 2010 - 11:10:42 PM


Files produced by the author(s)


  • HAL Id : inria-00179862, version 1


Philippe Chatalic, Gia Hien Nguyen, Marie-Christine Rousset. Reasoning with Inconsistencies in Propositional Peer-to-Peer Inference Systems. European Conference on Artificial Intelligence (ECAI'06), Aug 2006, Riva del Garda, Italy. ⟨inria-00179862⟩



Record views


Files downloads