Improving the Efficiency of Reasoning Through Structure-Based Reformulation

We investigate the possibility of improving the efficiency of reasoning through structure-based partitioning of logical theories, combined with partitionbased logical reasoning strategies. To this end, we provide algorithms for reasoning with partitions of axioms in first-order and propositional logic. We analyze the computational benefit of our algorithms and detect 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 partitioning. Finally, we provide a greedy algorithm that automatically reformulates a given theory into partitions, exploiting the parameters that influence the efficiency of computation.

• Type: Conference
• Year: 2000
• Where: SARA
• Authors: Eyal Amir, Sheila A. McIlraith
• Keywords: Algorithm, Artificial Intelligence, Partitionbased Logical Reasoning, Reasoning, SARA 2000