Abstract :
[en] 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, contain-
ing expressions about temporal propositions (to-
morrow it will rain), possibility (it may rain tomor-
row), actions (the robot enters the room) and pre-
and post-conditions of these actions. We prove the
Katsuno-Mendelzon and the Darwiche-Pearl repre-
sentation theorems by restricting the logic to for-
mulas representing beliefs up to certain time. We
illustrate our belief change model through several
examples
Scopus citations®
without self-citations
9