Multiagent Knowledge and Belief Change in the Situation Calculus.
Liangda FangYongmei LiuPublished in: AAAI (2013)
Keyphrases
- situation calculus
- belief change
- minimal change
- action theories
- belief revision
- sensing actions
- multi agent
- belief update
- reasoning about actions
- domain knowledge
- event calculus
- logical theories
- epistemic states
- initial state
- propositional logic
- multiagent systems
- knowledge representation
- logical language
- knowledge base
- natural language