Intention is choice with commitment
Artificial Intelligence
Reasoning about knowledge
The cognitive agents specification language and verification environment for multiagent systems
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 1
Metareasoning for multi-agent epistemic logics
CLIMA'04 Proceedings of the 5th international conference on Computational Logic in Multi-Agent Systems
Hi-index | 0.00 |
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 certain types of 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 cognitively plausible inference rules, and automation is achieved by general-purpose inference methods . The system has been implemented as an interactive theorem prover and is available for experimentation.