AGM revision of beliefs about action and time Article Swipe

PDF

Related Concepts

Pearl Belief revision Action (physics) Temporal logic Representation (politics) Computer science Artificial intelligence Propositional calculus Knowledge representation and reasoning Cognitive science Theoretical computer science Psychology Philosophy Programming language Politics Political science Physics Theology Law Quantum mechanics

Marc van Zee , Dragan Doder , Mehdi Dastani , Leendert van der Torre ·

YOU? · · 2015 · Open Access · · OA: W606733927

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.