Propositional Attitudes and Causation
Received:March 31, 2009  Revised:July 15, 2009  Download PDF
Konstantine,Arkoudas,Bringsjord. Propositional Attitudes and Causation. International Journal of Software and Informatics, 2009,3(1):47~65
Hits: 5155
Download times: 3285
Fund:Corresponding author: Konstantine Arkoudas; email:
Abstract:Predicting and explaining the behavior of others in terms of mental states is indispensable for everyday life. It will be equally important for artificial agents. We present an inference system for representing and reasoning about mental states, and use it to provide a formal analysis of the false-belief task. The system allows for the representation of information about events, causation, and perceptual, doxastic, and epistemic states (vision,belief, and knowledge), incorporating ideas from the event calculus and multi-agent epistemic logic. Unlike previous AI formalisms, our focus here is on mechanized proofs and proof programmability, not on metamathematical results. Reasoning is performed via relatively cognitively plausible inference rules, and a degree of automation is achieved by generalpurpose inference methods and by a syntactic embedding of the system in first-order logic.
keywords:propositional attitudes  multi-agent epistemic logic  event calculus  reasoning  mental states  false-belief tasks  theory-theory
View Full Text  View/Add Comment  Download reader



Top Paper  |  FAQ  |  Guest Editors  |  Email Alert  |  Links  |  Copyright  |  Contact Us

© Copyright by Institute of Software, the Chinese Academy of Sciences

京公网安备 11040202500065号