Comirit: Commonsense Reasoning by Integrating Simulation and Logic

10 years 28 days ago
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
Benjamin Johnston, Mary-Anne Williams
Added 29 Oct 2010
Updated 29 Oct 2010
Type Conference
Year 2008
Where AGI
Authors Benjamin Johnston, Mary-Anne Williams
Comments (0)