Deriving properties of belief update from theories of action (II)

Authors:
Alvaro Del Val;Yoav Shoham
Affiliations:
Robotics Lab, Computer Science Department, Stanford University, Stanford, CA;Robotics Lab, Computer Science Department, Stanford University, Stanford, CA
Venue:
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
Year:
1993

Citing 3
Cited 3

Frames in the space of situations (research note)

Artificial Intelligence
Belief revision and update

Belief revision and update
On Formalizing Database Updates: Preliminary Report

EDBT '92 Proceedings of the 3rd International Conference on Extending Database Technology: Advances in Database Technology

Challenges for action theories

Challenges for action theories
The PMA and Relativizing Minimal Change for Action Update

Fundamenta Informaticae
Deriving Invariants and Constraints from Action Theories

Fundamenta Informaticae

Quantified Score

Hi-index	0.00

Visualization

Abstract

In [del Val and Shoham, 1992] we showed that the postulates for belief update recently proposed by Katsuno and Mendelzon [1991] can be analytically derived using the formal theory of action proposed by Lin and Shoham [1991]. The contribution of this paper is twofold; • Whereas in [del Val and Shoham, 1992] we only showed that our encoding of the update problem satisfied the KM postulates, here we use an independently motivated generalization of the theory of action used in that paper to provide a one-to-one correspondence between our construction and KM update semantics. • We show how the KM semantics can be generalized by relaxing our construction in a number of ways, each justified in certain intuitive circumstances and each corresponding to one specific postulate. It follows that there are reasonable update operators outside the KM family.