From Tetherless World Wiki
Citation: Eyal Amir and Sheila A. McIlraith. (2000) Partition-Based Logical Reasoning. In Knowledge Systems, AI Laboratory, February,2000.
| Publication inproceedings ( Edit )
|
| type | InProceedings
|
| bibtype | inproceedings
|
| Bibtex basics
|
| author | Eyal Amir and Sheila A. McIlraith
|
| title | Partition-Based Logical Reasoning
|
| booktitle | Knowledge Systems, AI Laboratory
|
| address | Stanford, CA, USA
|
| year | 2000
|
| month | February
|
| Bibtex more
|
| note | This paper (without the proofs) also appears in the Proceedings of the Seventh International Conference on Principles of Knowledge Representation and Reasoning (KR2000), Breckenridge, USA. April, 2000.
|
| Access Paper
|
| abstract | We investigate the problem of reasoning with partitions of related logical axioms. We are motivated by the problem of how to reason effectively with multiple knowledge bases that have overlap in content.In this paper, we address the more general problem of how to exploit structure inherent in a set of logical axioms to improve the efficiency of reasoning. To this end, we provide algorithms for reasoning with partitions of axioms in propositional and first-order logic. Craig's interpolation theorem serves as a key to proving completeness of these algorithms. We analyze the computational benefit of our algorithms and identify those parameters of a partitioning that influence the efficiency of computation. These parameters are the number of symbols shared by a pair of partitions, the size of each partition, and the topology of the overall partitioning. Finally, we provide a greedy algorithm that automatically decomposes a given theory into partitions, trying to optimize the efficiency of reasoning by controlling these parameters.
|
| KSL Technical Report ID: KSL-00-02
|
Facts about Partition-Based Logical ReasoningRDF feed
| Abstract | We investigate the problem of reasoning wi … We investigate the problem of reasoning with partitions of related logical axioms. We are motivated by the problem of how to reason effectively with multiple knowledge bases that have overlap in content.In this paper, we address the more general problem of how to exploit structure inherent in a set of logical axioms to improve the efficiency of reasoning. To this end, we provide algorithms for reasoning with partitions of axioms in propositional and first-order logic. Craig's interpolation theorem serves as a key to proving completeness of these algorithms. We analyze the computational benefit of our algorithms and identify those parameters of a partitioning that influence the efficiency of computation. These parameters are the number of symbols shared by a pair of partitions, the size of each partition, and the topology of the overall partitioning. Finally, we provide a greedy algorithm that automatically decomposes a given theory into partitions, trying to optimize the efficiency of reasoning by controlling these parameters. reasoning by controlling these parameters. |
| Address | Stanford, CA, USA + |
| Author | Eyal Amir and Sheila A. McIlraith + |
| Bibtype | inproceedings + |
| Booktitle | Knowledge Systems, AI Laboratory + |
| Has author | Eyal Amir and Sheila A. McIlraith + |
| Has identifier | KSL-00-02 + |
| Has publishing details | February,2000 + |
| Has title | Partition-Based Logical Reasoning + |
| Has where published | Knowledge Systems, AI Laboratory + |
| Has year | 2000 + |
| Ksl tr id | KSL-00-02 + |
| Month | February + |
| Note | This paper (without the proofs) also appears in the Proceedings of the Seventh International Conference on Principles of Knowledge Representation and Reasoning (KR2000), Breckenridge, USA. April, 2000. |
| Process note | NO + |
| Title | Partition-Based Logical Reasoning + |
| Year | 2000 + |
