AAAI Publications, Twenty-Fourth International Joint Conference on Artificial Intelligence

Font Size: 
AGM Revision of Beliefs about Action and Time
Marc van Zee, Dragan Doder, Mehdi Dastani, Leendert van der Torre

Last modified: 2015-06-27


The AGM theory of belief revision is based on propositional belief sets. In this paper we develop a logic for revision of temporal belief bases, containing expressions about temporal propositions (tomorrow it will rain), possibility (it may rain tomorrow), actions (the robot enters the room) and pre- and post-conditions of these actions. We prove the Katsuno-Mendelzon and the Darwiche-Pearl representation theorems by restricting the logic to formulas representing beliefs up to certain time. We illustrate our belief change model through several examples.

Full Text: PDF