Studia Logica 67 (2):215-242 (2001)
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
|Keywords||Philosophy Logic Mathematical Logic and Foundations Computational Linguistics|
|Categories||categorize this paper)|
References found in this work BETA
No references found.
Citations of this work BETA
Prolegomena to Dynamic Logic for Belief Revision.P. Van Ditmarsch Hans - 2005 - Synthese 147 (2):229-275.
Non-Prioritized Ranked Belief Change.Samir Chopra, Aditya Ghose & Thomas Meyer - 2003 - Journal of Philosophical Logic 32 (4):417-443.
Similar books and articles
Iterated Belief Change Based on Epistemic Entrenchment.Abhaya C. Nayak - 1994 - Erkenntnis 41 (3):353-390.
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.
Foundational Belief Change.Abhaya C. Nayak - 1994 - Journal of Philosophical Logic 23 (5):495 - 533.
Infinitary Belief Revision.Dongmo Zhang & Norman Foo - 2001 - Journal of Philosophical Logic 30 (6):525-570.
Added to index2009-01-28
Total downloads17 ( #278,492 of 2,152,270 )
Recent downloads (6 months)1 ( #399,788 of 2,152,270 )
How can I increase my downloads?