Credibility limited revision

Publisher: Cambridge University Press

E-ISSN: 1943-5886|66|4|1581-1596

ISSN: 0022-4812

Source: The Journal of Symbolic Logic, Vol.66, Iss.4, 2001-12, pp. : 1581-1596

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract

Five types of constructions are introduced for non-prioritized belief revision, i.e., belief revision in which the input sentence is not always accepted. These constructions include generalizations of entrenchment-based and sphere-based revision. Axiomatic characterizations are provided, and close interconnections are shown to hold between the different constructions.