• Documents
  • Authors
  • Tables
  • Log in
  • Sign up
  • MetaCart
  • DMCA
  • Donate

CiteSeerX logo

Advanced Search Include Citations
Advanced Search Include Citations | Disambiguate

Distributed query answering in peer-to-peer reasoning systems (2007)

by A Binas, S McIlraith
Add To MetaCart

Tools

Sorted by:
Results 1 - 1 of 1

Exploiting Preferences over Information Sources to Efficiently Resolve

by Arnold Binas, Sheila A. Mcilraith - Inconsistencies in Peer-to-peer Query Answering, in ‘AAAI 2007 Workshop on Preference Handling for Artificial Intelligence , 2007
"... Decentralized reasoning is receiving increasing attention due to the distributed nature of knowledge on the Web. We ad-dress the problem of answering queries to distributed propo-sitional reasoners which may be mutually inconsistent. This paper provides a formal characterization of a prioritized pee ..."
Abstract - Cited by 3 (0 self) - Add to MetaCart
Decentralized reasoning is receiving increasing attention due to the distributed nature of knowledge on the Web. We ad-dress the problem of answering queries to distributed propo-sitional reasoners which may be mutually inconsistent. This paper provides a formal characterization of a prioritized peer-to-peer query answering framework that exploits a preference ordering over the peers as well as a distributed entailment relation. We develop decentralized algorithms for comput-ing answers to a restricted class of queries according to dis-tributed entailment and prove their soundness and complete-ness. A heuristic exploiting the peers ’ preference ordering for a more efficient computation of query answers from priori-tized, inconsistent systems is also provided and its effective-ness empirically verified. We furthermore investigate global closed-world reasoning in our framework and show how our techniques can be used to achieve global generalized closed-world query answering from local closed-world reasoners in a restricted class of distributed peer-to-peer query answering systems. 1
(Show Context)

Citation Context

.... 3.3 Analysis and Discussion We proved various soundness and completeness results for the algorithm and restate the most important theorems here. Detailed proofs and further theorems can be found in =-=[5]-=-. To prove the soundness and completeness of Algorithm 1 with respect to distributed entailment, we first establish that the message-passing algorithm finds the best-rank reasons for a query. To this ...

Powered by: Apache Solr
  • About CiteSeerX
  • Submit and Index Documents
  • Privacy Policy
  • Help
  • Data
  • Source
  • Contact Us

Developed at and hosted by The College of Information Sciences and Technology

© 2007-2019 The Pennsylvania State University