Access the full text.
Sign up today, get DeepDyve free for 14 days.
B. Nebel (1989)
A Knowledge Level Analysis of Belief RevisionIWBS Report, 69
N. Friedman, Joseph Halpern (1996)
Belief Revision: A CritiqueJournal of Logic, Language and Information, 8
H. Katsuno, A. Mendelzon (1991)
On the Difference between Updating a Knowledge Base and Revising It
K. Schlechta (1995)
Preferential Choice Representation Theorems for Branching Time StructuresJ. Log. Comput., 5
Adnan Darwiche, J. Pearl (1994)
On the Logic of Iterated Belief RevisionArtif. Intell., 89
D. Lehmann (1995)
Belief Revision, Revised
D. Lehmann, M. Magidor, K. Schlechta (1996)
Distance semantics for belief revisionJournal of Symbolic Logic, 66
H. Kyburg, P. Gärdenfors (1988)
Knowledge in Flux
Peter G¿rdenfors (2003)
Belief Revision
We give a semantics to iterated update by a preference relation on possible developments. An iterated update is a sequence of formulas, giving (incomplete) information about successive states of the world. A development is a sequence of models, describing a possible trajectory through time. We assume a principle of inertia and prefer those developments which are compatible with the information and avoid unnecessary changes. The logical properties of the updates defined in this way are considered, and a representation result is proved. Key words
Journal of Logic and Computation – Oxford University Press
Published: Dec 1, 1999
Read and print from thousands of top scholarly journals.
Already have an account? Log in
Bookmark this article. You can see your Bookmarks on your DeepDyve Library.
To save an article, log in first, or sign up for a DeepDyve account if you don’t already have one.
Copy and paste the desired citation format or use the link below to download a file formatted for EndNote
Access the full text.
Sign up today, get DeepDyve free for 14 days.
All DeepDyve websites use cookies to improve your online experience. They were placed on your computer when you launched this website. You can change your cookie settings through your browser.