2015 (English)In: Journal of Logic, Language and Information, ISSN 0925-8531, E-ISSN 1572-9583Article in journal (Refereed) Published
Blockage revision is a version of descriptor revision, i.e. belief change in which a belief set K is changed with inputs whose success conditions are metalinguistic expressions containing the belief predicate (Formula presented.). This is a highly general framework that allows a single revision operator (Formula presented.) to take inputs corresponding to sentential revision ((Formula presented.)), contraction ((Formula presented.)) as well as more complex and composite operations. In blockage revision, such an operation is based on a relation (Formula presented.) of blockage among the set of potential outcomes. (Formula presented.) signifies that if X satisfies the success condition of a belief change, then Y cannot be its outcome. The properties of blockage revision are investigated, and conditions on the blocking relation are specified that characterize various properties of the resulting operation of change.
Place, publisher, year, edition, pages
Belief change, Blockage revision, Descriptor revision, Monoselective choice function, Outcome set, Repertoire
Philosophy Language Technology (Computational Linguistics)
IdentifiersURN: urn:nbn:se:kth:diva-175614DOI: 10.1007/s10849-015-9223-6ISI: 000370785200002ScopusID: 2-s2.0-84958891900OAI: oai:DiVA.org:kth-175614DiVA: diva2:866345
QC 201511022015-11-022015-10-192016-03-23Bibliographically approved