Comirit: Commonsense Reasoning by Integrating Simulation and Logic

IOS Press
Publication Type:
Conference Proceeding
Artificial General Intelligance 2008 Proceedings of the First AGI Conference, 2008, pp. 200 - 211
Issue Date:
Full metadata record
Files in This Item:
Filename Description Size
Thumbnail2008001294OK.pdf1.91 MB
Adobe PDF
Rich computer simulations or quantitative models can enable an agent to realistically predict real-world behaviour 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 reasing 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.
Please use this identifier to cite or link to this item: