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 <>
Submitted on : Tuesday, October 16, 2007 - 6:48:11 PM
Last modification on : Thursday, November 19, 2020 - 12:59:53 PM
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