First-order belief revision


We present a model for first-order belief revision that is characterized by an underlying relevance-like relation and a background proof system. The model is extremely general in order to allow for a wide variety in these characterizing parameters. It allows some weakenings of beliefs which were initially implicit to become explicit and survive the revision process. The effects of revision are localized to the part of the theory that is influenced by the the new information. Iterated revision in this model is handled trivially since the revision operator is constructive by definition. The usage of deductively limited proof systems permits an inconsistency tolerant model. The notion of a part of a theory capable of being influenced by new information (designed to accomodate the specific character of first-order languages) is shown to satisfy some intuitive and desirable properties. We show that for particular parametrizations, standard revision schemes can be embedded into our paradigm.



    Upload a copy of this work     Papers currently archived: 94,678

External links

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

Through your library

  • Only published works are available at libraries.

Similar books and articles

Infinitary belief revision.Dongmo Zhang & Norman Foo - 2001 - Journal of Philosophical Logic 30 (6):525-570.
Revision by Comparison.Eduardo Fermé & Hans Rott - 2004 - Artificial Intelligence 157 (1):5-47.
Selective Base Revisions.Marco Garapa - 2021 - Journal of Philosophical Logic 51 (1):1-26.
Iterated revision and minimal change of conditional beliefs.Craig Boutilier - 1996 - Journal of Philosophical Logic 25 (3):263 - 305.
Belief Revision II: Ranking Theory.Franz Huber - 2013 - Philosophy Compass 8 (7):613-621.
Belief revision in a temporal framework.Giacomo Bonanno - 2008 - In Krzysztof R. Apt & Robert Van Rooij (eds.), New Perspectives on Games and Interactions. Amsterdam University Press.


Added to PP

30 (#532,777)

6 months
6 (#737,493)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

Samir Chopra
Brooklyn College (CUNY)

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references