---
title: "AGM Revision of Beliefs about Action and Time"
authors:
  - "Marc van Zee"
  - "Dragan Doder"
  - "Mehdi Dastani"
  - "Leendert W. N. van der Torre"
doi: ""
url: "https://ijcai.org/proceedings/2015/458"
pdf: "https://ijcai.org/proceedings/2015/0458.pdf"
venue: "Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence"
year: 2015
pages: "3250-3255"
track: "Special Track on Knowledge Representation and Reasoning"
keywords:
---

# AGM Revision of Beliefs about Action and Time

Marc van Zee, Dragan Doder, Mehdi Dastani, Leendert W. N. van der Torre

*Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence*, pages 3250-3255.

## Abstract

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.