Comirit: Commonsense Reasoning by Integrating Simulation and Logic

Rich computer simulations or quantitative models can enable an agent to realistically predict real-world behavior with precision and performance that is difficult to emulate in logical formalisms. Unfortunately, such simulations lack the deductive flexibility of techniques such as formal logics and so do not find natural application in the deductive machinery of commonsense or general purpose reasoning systems. This dilemma can, however, be resolved via a hybrid architecture that combines tableaux-based reasoning with a framework for generic simulation based on the concept of `molecular'models. This combination exploits the complementary strengths of logic and simulation, allowing an agent to build and reason with automatically constructed simulations in a problem-sensitive manner. Keywords. Commonsense reasoning, simulation, tableaux methods

• Type: Conference
• Year: 2008
• Where: AGI
• Authors: Benjamin Johnston, Mary-Anne Williams
• Keywords: AGI 2008, Artificial Intelligence, General Purpose Reasoning, Simulations, Tableaux-based Reasoning