AGM Revision of Beliefs about Action and Time

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

doi:10.5555/2832581.2832702

AGM Revision of Beliefs about Action and Time

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

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

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.

Original language	English
Title of host publication	Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI 2015, Buenos Aires, Argentina, July 25-31, 2015
Editors	Q. Yang, M. Wooldridge
Publisher	AAAI Press
Pages	3250-3256
Number of pages	7
ISBN (Print)	978-1-57735-738-4
DOIs	https://doi.org/10.5555/2832581.2832702
Publication status	Published - 2015

Access to Document

10.5555/2832581.2832702

IJCAI15-458Final published version, 484 KBLicence: Taverne

https://www.ijcai.org/Abstract/15/458

Cite this

@inproceedings{65b2f273c2cd41798edf1c2b2d25ce0a,

title = "AGM Revision of Beliefs about Action and Time",

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.",

author = "Zee, {Marc van} and Dragan Doder and Mehdi Dastani and Torre, {Leendert W. N. van der}",

year = "2015",

doi = "10.5555/2832581.2832702",

language = "English",

isbn = "978-1-57735-738-4",

pages = "3250--3256",

editor = "Q. Yang and M. Wooldridge",

booktitle = "Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI 2015, Buenos Aires, Argentina, July 25-31, 2015",

publisher = "AAAI Press",

}

AGM Revision of Beliefs about Action and Time. / Zee, Marc van; Doder, Dragan; Dastani, Mehdi et al.
Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI 2015, Buenos Aires, Argentina, July 25-31, 2015. ed. / Q. Yang; M. Wooldridge. AAAI Press, 2015. p. 3250-3256.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

TY - GEN

T1 - AGM Revision of Beliefs about Action and Time

AU - Zee, Marc van

AU - Doder, Dragan

AU - Dastani, Mehdi

AU - Torre, Leendert W. N. van der

PY - 2015

Y1 - 2015

N2 - 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.

AB - 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.

U2 - 10.5555/2832581.2832702

DO - 10.5555/2832581.2832702

M3 - Conference contribution

SN - 978-1-57735-738-4

SP - 3250

EP - 3256

BT - Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI 2015, Buenos Aires, Argentina, July 25-31, 2015

A2 - Yang, Q.

A2 - Wooldridge, M.

PB - AAAI Press

ER -

AGM Revision of Beliefs about Action and Time

Abstract

Access to Document

Fingerprint

Cite this