AGM Revision of Beliefs about Action and Time (bibtex)
by Marc van Zee, Mehdi Dastani, Dragan Doder, Leendert van der Torre
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.
Reference:
AGM Revision of Beliefs about Action and Time (Marc van Zee, Mehdi Dastani, Dragan Doder, Leendert van der Torre), In Proceedings of the International Joint Conference on Artificial Intelligence, 2015.
Bibtex Entry:
@InProceedings{vanzee-etal:ijcai2015,
  Title                    = {AGM Revision of Beliefs about Action and Time},
  Author                   = {Marc van Zee and Mehdi Dastani and Dragan Doder and Leendert van der Torre},
  Booktitle                = {Proceedings of the International Joint Conference on Artificial Intelligence},
  Year                     = {2015},
  Month                    = {July},
  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.},
  Url                      = {http://www.marcvanzee.nl/publications/2015/ijcai2015_agm_revision_of_beliefs_about_action_and_time.pdf}
}
Powered by bibtexbrowser