TY - GEN
T1 - An AGM-based belief revision mechanism for probabilistic spatio-temporal logics
AU - Parker, Austin
AU - Infantes, Guillaume
AU - Subrahmanian, V. S.
AU - Grant, John
PY - 2008
Y1 - 2008
N2 - There is now extensive interest in reasoning about moving objects. A PST knowledge base is a set of PST-atoms which are statements of the form "Object o is/was/will be at location L at time t with probability in the interval [L,U]". In this paper, we study mechanisms for belief revision in PST-KBs. We propose multiple methods for revising PST-KBs. These methods involve finding maximally consistent subsets, as well as changing the spatial, temporal, and probabilistic components of the atoms. We show that some methods cannot satisfy the AGM axioms for belief revision, while others do but are coNP-hard. Finally we present an algorithm for revision through probability change which runs in polynomial time and satisfies the AGM axioms.
AB - There is now extensive interest in reasoning about moving objects. A PST knowledge base is a set of PST-atoms which are statements of the form "Object o is/was/will be at location L at time t with probability in the interval [L,U]". In this paper, we study mechanisms for belief revision in PST-KBs. We propose multiple methods for revising PST-KBs. These methods involve finding maximally consistent subsets, as well as changing the spatial, temporal, and probabilistic components of the atoms. We show that some methods cannot satisfy the AGM axioms for belief revision, while others do but are coNP-hard. Finally we present an algorithm for revision through probability change which runs in polynomial time and satisfies the AGM axioms.
UR - http://www.scopus.com/inward/record.url?scp=57749171739&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=57749171739&partnerID=8YFLogxK
M3 - Conference contribution
AN - SCOPUS:57749171739
SN - 9781577353683
T3 - Proceedings of the National Conference on Artificial Intelligence
SP - 511
EP - 516
BT - AAAI-08/IAAI-08 Proceedings - 23rd AAAI Conference on Artificial Intelligence and the 20th Innovative Applications of Artificial Intelligence Conference
T2 - 23rd AAAI Conference on Artificial Intelligence and the 20th Innovative Applications of Artificial Intelligence Conference, AAAI-08/IAAI-08
Y2 - 13 July 2008 through 17 July 2008
ER -