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

In 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.

[1]  Sheila A. McIlraith,et al.  Partition-Based Logical Reasoning , 2000, KR.

[2]  François Goasdoué,et al.  Scalability Study of Peer-to-Peer Consequence Finding , 2005, IJCAI.

[3]  Tore Risch,et al.  EDUTELLA: a P2P networking infrastructure based on RDF , 2002, WWW.

[4]  Makoto Yokoo,et al.  The Distributed Constraint Satisfaction Problem: Formalization and Algorithms , 1998, IEEE Trans. Knowl. Data Eng..

[5]  Diego Calvanese,et al.  Inconsistency Tolerance in P2P Data Integration: An Epistemic Logic Approach , 2005, DBPL.

[6]  Claudette Cayrol,et al.  On the Relation between Argumentation and Non-monotonic Coherence-Based Entailment , 1995, IJCAI.

[7]  Gerhard Brewka,et al.  Preferred Subtheories: An Extended Logical Framework for Default Reasoning , 1989, IJCAI.

[8]  Diego Calvanese,et al.  Logical foundations of peer-to-peer data integration , 2004, PODS '04.

[9]  Peter Gärdenfors,et al.  On the logic of theory change: Partial meet contraction and revision functions , 1985, Journal of Symbolic Logic.

[10]  Frank van Harmelen,et al.  Reasoning with Inconsistent Ontologies , 2005, IJCAI.

[11]  Rowland R. Johnson,et al.  DATMS: A Framework for Distributed Assumption Based Reasoning , 1989, Distributed Artificial Intelligence.

[12]  François Goasdoué,et al.  Distributed Reasoning in a Peer-to-Peer Setting , 2004, ECAI.

[13]  Leopoldo E. Bertossi,et al.  Query Answering in Peer-to-Peer Data Exchange Systems , 2004, EDBT Workshops.

[14]  Jürg Kohlas,et al.  Handbook of Defeasible Reasoning and Uncertainty Management Systems , 2000 .

[15]  Anthony Hunter,et al.  Paraconsistent logics , 1998 .

[16]  Alon Y. Halevy,et al.  Piazza: data management infrastructure for semantic web applications , 2003, WWW '03.

[17]  Marius-Calin Silaghi,et al.  Asynchronous Search with Aggregations , 2000, AAAI/IAAI.

[18]  François Goasdoué,et al.  SomeWhere in the Semantic Web , 2005, SOFSEM.