Comirit: Commonsense Reasoning by Integrating Simulation and Logic
Benjamin F. Johnston, Mary‐Anne Williams · 2008
Abstract. 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