2014 (English)In: Studia Logica: An International Journal for Symbolic Logic, ISSN 0039-3215, E-ISSN 1572-8730, Vol. 102, no 5, 955-980 p.Article in journal (Refereed) Published
A descriptor is a set of sentences that are truth-functional combinations of expressions of the form , where is a metalinguistic belief predicate and p a sentence in the object language in which beliefs are expressed. Descriptor revision (denoted ) is an operation of belief change that takes us from a belief set K to a new belief set where is a descriptor representing the success condition. Previously studied operations of belief change are special cases of descriptor revision, hence sentential revision can be represented as , contraction as , multiple contraction as , replacement as , etc. General models of descriptor revision are constructed and axiomatically characterized. The common selection mechanisms of AGM style belief change cannot be used, but they can be replaced by choice functions operating directly on the set of potential outcomes (available belief sets). The restrictions of this construction to sentential revision () and sentential contraction give rise to operations with plausible properties that are also studied in some some detail.
Place, publisher, year, edition, pages
2014. Vol. 102, no 5, 955-980 p.
Belief change, Descriptor revision, Expansion, Monoselective choice function, Outcome set, Pure contraction, Revocation, Semirevision
Philosophy Other Mathematics
IdentifiersURN: urn:nbn:se:kth:diva-156456DOI: 10.1007/s11225-013-9512-5ISI: 000343832400002ScopusID: 2-s2.0-84919389338OAI: oai:DiVA.org:kth-156456DiVA: diva2:767427
QC 201412012014-12-012014-11-282014-12-01Bibliographically approved