Summary: Appears in Proceedings of 7th Int'l Conference on Principles of Knowledge Representation and Reasoning (KR '2000).
Partition­Based Logical Reasoning
Eyal Amir and Sheila McIlraith #
Department of Computer Science,
Gates Building, 2A wing
Stanford University, Stanford, CA 94305­9020, USA
{eyal.amir,sheila.mcilraith}@cs.stanford.edu
Abstract
We investigate the problem of reasoning with
partitions of related logical axioms. Our moti­
vation is two­fold. First, we are concerned with
how to reason effectively with multiple knowl­
edge bases that have overlap in content. Second,
and more fundamentally, we are concerned with
how to exploit structure inherent in a set of logi­
cal axioms to induce a partitioning of the axioms
that will lead to an improvement in the efficiency
of reasoning. To this end, we provide algorithms
for reasoning with partitions of axioms in propo­
sitional and first­order logic. Craig's interpola­

Source: Amir, Eyal - Department of Computer Science, University of Illinois at Urbana-Champaign

Collections: Computer Technologies and Information Sciences