2013 (English)In: Journal of Logic, Language and Information, ISSN 0925-8531, E-ISSN 1572-9583, Vol. 22, no 1, 1-21 p.Article in journal (Refereed) Published
The basic assumption of repertoire contraction is that only some of the logically closed subsets of the original belief set are viable as contraction outcomes. Contraction takes the form of choosing directly among these viable outcomes, rather than among cognitively more far-fetched objects such as possible worlds or maximal consistent subsets of the original belief set. In this first investigation of repertoire contraction, postulates for various variants of the operation are introduced. Necessary and sufficient conditions are given for when repertoire contraction coincides with AGM contraction or with operations generated by AGM-style contraction on a belief base. A close connection is shown to hold between repertoire contraction and specified meet contraction.
Place, publisher, year, edition, pages
2013. Vol. 22, no 1, 1-21 p.
AGM, Base-generated operations, Full meet contraction, Kernel contraction, Maxichoice contraction, Outcome set, Partial meet contraction, Repertoire contraction, Specified meet contraction
IdentifiersURN: urn:nbn:se:kth:diva-121028DOI: 10.1007/s10849-012-9169-xScopusID: 2-s2.0-84872273800OAI: oai:DiVA.org:kth-121028DiVA: diva2:616424
QC 201304162013-04-162013-04-162013-04-16Bibliographically approved