Deriving properties of belief update from theories of action

Journal of Logic, Language and Information 3 (2):81-119 (1994)
  Copy   BIBTEX

Abstract

We present an approach to database update as a form of non monotonic temporal reasoning, the main idea of which is the (circumscriptive) minimization of changes with respect to a set of facts declared “persistent by default”. The focus of the paper is on the relation between this approach and the update semantics recently proposed by Katsuno and Mendelzon. Our contribution in this regard is twofold:We prove a representation theorem for KM semantics in terms of a restricted subfamily of the operators defined by our construction.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.Our approach is not dependent for its plausibility on this connection with KM semantics. Rather, it provides a relatively rich and flexible framework in which the frame and ramification problems can be solved in a systematic way by reasoning about default persistence of facts

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,642

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Deriving properties of belief update from theories of action.Alvaro Vadell & Yoav Shoham - 1994 - Journal of Logic, Language and Information 3 (2).
Deriving properties of belief update from theories of action.Alvaro Del Val & Yoav Shoham - 1994 - Journal of Logic, Language and Information 3 (2):81-119.
Belief Revision and Update.Alvaro del Val - 1993 - Dissertation, Stanford University
Belief Update Using Graphs.Konstantinos Georgatos - 2008 - In David Wilson & Chad H. Lane (eds.), FLAIRS 21. AAAI Press. pp. 649-654.
Defaults in update semantics.Frank Veltman - 1996 - Journal of Philosophical Logic 25 (3):221 - 261.
Updating knowledge using subsets.Konstantinos Georgatos - 2011 - Journal of Applied Non-Classical Logics 21 (3-4):427-441.
Geodesic merging.Konstantinos Georgatos - 2018 - Synthese 195 (10):4243-4264.
Order Effects in Dynamic Semantics.Peter Beim Graben - 2014 - Topics in Cognitive Science 6 (1):67-73.
An Algorithmic Logic Approach to Formalizing Database Update Semantics.James Brawner & James Vorbach - 1998 - Journal of Applied Non-Classical Logics 8 (3):199-220.

Analytics

Added to PP
2013-01-22

Downloads
9 (#449,242)

6 months
31 (#500,116)

Historical graph of downloads
How can I increase my downloads?