Deriving Properties of Belief Update from Theories of Action (II)
Proceedings of the Thirteenth International Joint Conference on Artificial Intelligence. Knowledge Representation. Pages 732-736.
Abstract
In [d el 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 th eo ry of action proposed by Lin and Shoham [1991] The ront ribution of this paper is twofold: • VVh ereas in [del Val and Shoham, 1992] we o nl y showed that our encoding of th e upd ate problem satisfied the KM postula tes. here we use an independently motivat Pd generalization of the theory of action us ed in t hat pap er to provide a one-to-one co rr es pondence between our construction a nd 1\ M updat e semantics. • VV e show how th e KIVI semantics can lw ge neralized by relaxing our construction in a numb er of ways, each justified in n' rtain intuitiv e circumstances and each corr es ponding to one specific postulate. It. fo llows that. there are reas onabl e upda.t.e ope rators outside the KM family.
@inproceedings{ijcai1993p103,
title = {Deriving Properties of Belief Update from Theories of Action (II)},
author = {del Val, Alvaro and Shoham, Yoav},
booktitle = {Proceedings of the Thirteenth International Joint Conference on
Artificial Intelligence, {IJCAI-93}},
publisher = {International Joint Conferences on Artificial Intelligence},
editor = {Ruzena Bajcsy},
pages = {732--736},
year = {1993},
note = {Knowledge Representation},
url = {https://ijcai.org/proceedings/1993/103},
}
TY - CPAPER TI - Deriving Properties of Belief Update from Theories of Action (II) AU - del Val, Alvaro AU - Shoham, Yoav T2 - Proceedings of the Thirteenth International Joint Conference on Artificial Intelligence, IJCAI-93 PB - International Joint Conferences on Artificial Intelligence PY - 1993 SP - 732 EP - 736 UR - https://ijcai.org/proceedings/1993/103 ER -Copied
Machine-readable versions of this paper, for tools and AI agents:
