Analogical representations of naive physics
Artificial Intelligence
Cyc: toward programs with common sense
Communications of the ACM
Ontology reasoning in the SHOQ(D) description logic
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
The behavior-oriented design of modular agent intelligence
NODe'02 Proceedings of the NODe 2002 agent-related conference on Agent technologies, infrastructures, tools, and applications for E-services
Anticipation as a strategy: a design paradigm for robotics
KSEM'10 Proceedings of the 4th international conference on Knowledge science, engineering and management
Simulation-based temporal projection of everyday robot object manipulation
The 10th International Conference on Autonomous Agents and Multiagent Systems - Volume 1
The collection of physical knowledge and its application in intelligent systems
AGI'11 Proceedings of the 4th international conference on Artificial general intelligence
Hi-index | 0.00 |
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.