Comirit: Commonsense reasoning by integrating simulation and logic

Publication Type:
Conference Proceeding
Frontiers in Artificial Intelligence and Applications, 2008, 171 (1), pp. 200 - 211
Issue Date:
Filename Description Size
Thumbnail2008001294OK.pdf1.91 MB
Adobe PDF
Full metadata record
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. © 2008 The authors and IOS Press. All rights reserved.
Please use this identifier to cite or link to this item: