{"type":"ScholarlyArticle","title":"Deriving Properties of Belief Update from Theories of Action (II)","authors":[{"name":"Alvaro del Val","slug":"alvaro-del-val","given":"Alvaro","family":"del Val","affiliation":""},{"name":"Yoav Shoham","slug":"yoav-shoham","given":"Yoav","family":"Shoham","affiliation":""}],"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.","doi":null,"url":"https://ijcai.org/proceedings/1993/103","pdf":"https://ijcai.org/proceedings/1993/0103.pdf","markdown":"https://ijcai.org/proceedings/1993/103.md","bibtex":"https://ijcai.org/proceedings/1993/bibtex/103","volume":{"slug":"1993","title":"Proceedings of the Thirteenth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 1993","url":"https://ijcai.org/proceedings/1993/","year":1993,"location":"Chambéry, France","dates":"","editors":"Ruzena Bajcsy","isbn":"","publisher":"International Joint Conferences on Artificial Intelligence","doi_prefix":""},"section":"Knowledge Representation","track":"Knowledge Representation","number":103,"pages":{"first":732,"last":736},"keywords":[],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}