KR Conference 2014 Short Paper
Tracking Beliefs and Intentions in the Werewolf Game
- Codruta Girlea
- Eyal Amir
- Roxana Girju
We present a new approach to Belief Revision in Situation Calculus. We overcome the need to represent perlocutions by assuming an ’observation model’, describing what beliefs, intentions, and unknown properties the utterances expose. The agents’ belief states are then filtered (Shirazi and Amir 2011) with the observed utterances, resulting in an updated Kripke structure. Our new approach allows us to describe dialogues combined with actions. From a Kriple Structure perspective, we add an observation model of utterances, and a revision model, accounting for how the utterances are used to change beliefs. From a Situation Calculus perspective, we model beliefs over beliefs, belief change, and perlocutionary effects. From a Belief Revision perspective, we represent how utterances affect dialogue participants on an individual level, depeding on each agents’ internal state. Our model does not use any linguistic input. We assume the utterances are already parsed to logical formulas that encode both their propositional content and the speech act they function as. Utterances expressed in natural language may provide further insight into the agents’ beliefs, encoded in presuppositions and propositional attitudes. We plan to embed those phenomena in our model as future work. We propose a model of belief and intention change over the course of a dialogue, in the case where the decisions taken during the dialogue affect the possibly conflicting goals of the agents involved. We use Situation Calculus to model the evolution of the world and an observation model to analyze the evolution of intentions and beliefs. In our formalization, utterances, that only change the beliefs and intentions, are observations. We illustrate our formalization with the game of Werewolf.