Basic infobase change

Studia Logica 67 (2):215-242 (2001)
  Copy   BIBTEX

Abstract

Generalisations of theory change involving arbitrary sets of wffs instead of belief sets have become known as base change. In one view, a base should be thought of as providing more structure to its generated belief set, and can be used to determine the theory change operation associated with a base change operation. In this paper we extend a proposal along these lines by Meyer et al. We take an infobase as a finite sequence of wffs, with each element in the sequence being seen as an independently obtained bit of information, and define appropriate infobase change operations. The associated theory change operations satisfy the AGM postulates for theory change. Since an infobase change operation produces a new infobase, it allows for iterated infobase change. We measure iterated infobase change against the postulates proposed by Darwiche et al. and Lehmann

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 90,221

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

Some logics of iterated belief change.John Cantwell - 1999 - Studia Logica 63 (1):49-84.
Infinitary belief revision.Dongmo Zhang & Norman Foo - 2001 - Journal of Philosophical Logic 30 (6):525-570.
Transmission Failure, AGM Style.Jake Chandler - 2013 - Erkenntnis 78 (2):383-398.
Foundational belief change.Abhaya C. Nayak - 1994 - Journal of Philosophical Logic 23 (5):495 - 533.
Resource-bounded belief revision and contraction.Mark Jago - 2006 - In P. Torroni, U. Endriss, M. Baldoni & A. Omicini (eds.), Declarative Agent Languages and Technologies III. Springer. pp. 141--154.

Analytics

Added to PP
2009-01-28

Downloads
39 (#354,726)

6 months
2 (#658,848)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Iterated Belief Change and the Recovery Axiom.Samir Chopra, Aditya Ghose, Thomas Meyer & Ka-Shu Wong - 2008 - Journal of Philosophical Logic 37 (5):501-520.
Non-prioritized ranked belief change.Samir Chopra, Aditya Ghose & Thomas Meyer - 2003 - Journal of Philosophical Logic 32 (4):417-443.
Parallel belief revision: Revising by sets of formulas.James Delgrande & Yi Jin - 2012 - Artificial Intelligence 176 (1):2223-2245.
Krister Segerberg on Logic of Actions.Robert Trypuz (ed.) - 2013 - Dordrecht, Netherland: Springer Verlag.

View all 6 citations / Add more citations

References found in this work

Two modellings for theory change.Adam Grove - 1988 - Journal of Philosophical Logic 17 (2):157-170.
On the logic of iterated belief revision.Adnan Darwiche & Judea Pearl - 1997 - Artificial Intelligence 89 (1-2):1-29.
Theory contraction through base contraction.André Fuhrmann - 1991 - Journal of Philosophical Logic 20 (2):175 - 203.
New operators for theory change.Svenove Hansson - 1989 - Theoria 55 (2):114-132.
In defense of base contraction.Sven Ove Hansson - 1992 - Synthese 91 (3):239 - 245.

View all 6 references / Add more references