2012 (English)In: Journal of Applied Logic, ISSN 1570-8683, E-ISSN 1570-8691, Vol. 10, no 1, 75-84 p.Article in journal (Refereed) Published
Eradication is a radical form of contraction that removes not only a sentence but also all of its non-tautological consequences from a belief set. Eradication of a single sentence that was included in the original belief set coincides with full meet contraction, but if the sentence is external to the belief set then the two operations differ. Multiple eradication, i.e. simultaneous eradication of several sentences, differs from full meet contraction even if the sentences to be contracted are all included in the original belief set. Eradication is axiomatically characterized and its properties investigated. It is shown to have close connections with the recovery postulate for multiple contraction. Based on these connections it is proposed that eradication rather than full meet contraction is the appropriate lower limiting case for multiple contraction operators.
Place, publisher, year, edition, pages
2012. Vol. 10, no 1, 75-84 p.
Eradication, Full meet contraction, Multiple contraction, Partial meet contraction, Belief revision, Contraction, Recovery
IdentifiersURN: urn:nbn:se:kth:diva-92055DOI: 10.1016/j.jal.2011.08.001ISI: 000300802700005ScopusID: 2-s2.0-84856483956OAI: oai:DiVA.org:kth-92055DiVA: diva2:512237
QC 201203272012-03-272012-03-262012-03-27Bibliographically approved