{"type":"ScholarlyArticle","title":"AGM Revision of Beliefs about Action and Time","authors":[{"name":"Marc van Zee","slug":"marc-van-zee","given":"Marc","family":"van Zee","affiliation":""},{"name":"Dragan Doder","slug":"dragan-doder","given":"Dragan","family":"Doder","affiliation":""},{"name":"Mehdi Dastani","slug":"mehdi-dastani","given":"Mehdi","family":"Dastani","affiliation":""},{"name":"Leendert W. N. van der Torre","slug":"leendert-w-n-van-der-torre","given":"Leendert W. N.","family":"van der Torre","affiliation":""}],"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.","doi":null,"url":"https://ijcai.org/proceedings/2015/458","pdf":"https://ijcai.org/proceedings/2015/0458.pdf","markdown":"https://ijcai.org/proceedings/2015/458.md","bibtex":"https://ijcai.org/proceedings/2015/bibtex/458","volume":{"slug":"2015","title":"Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 2015","url":"https://ijcai.org/proceedings/2015/","year":2015,"location":"Buenos Aires, Argentina","dates":"25–31 July 2015","editors":"Qiang Yang and Michael Wooldridge","isbn":"978-1-57735-738-4","publisher":"International Joint Conferences on Artificial Intelligence","doi_prefix":""},"section":"Special Track on Knowledge Representation and Reasoning","track":"Special Track on Knowledge Representation and Reasoning","number":458,"pages":{"first":3250,"last":3255},"keywords":[],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}