Change search
ReferencesLink to record
Permanent link

Direct link
Specified meet contraction (Alchourron, Gardenfors, and Makinson, AGM)
KTH, School of Architecture and the Built Environment (ABE), Philosophy.
2008 (English)In: Erkenntnis, ISSN 0165-0106, E-ISSN 1572-8420, Vol. 69, no 1, 31-54 p.Article in journal (Refereed) Published
Abstract [en]

Specified meet contraction is the operation divided by defined by the identity K divided by p = K similar to f(p) where similar to is full meet contraction and f is a sentential selector, a function from sentences to sentences. With suitable conditions on the sentential selector, specified meet contraction coincides with the partial meet contractions that yield a finite-based contraction outcome if the original belief set is finite-based. In terms of cognitive realism, specified meet contraction has an advantage over partial meet contraction in that the selection mechanism operates on sentences rather than on temporary infinite structures (remainders) that are cognitively inaccessible. Specified meet contraction provides a versatile framework in which other types of contraction, such as severe withdrawal and base-generated contraction, can be expressed with suitably chosen properties of the sentential selector.

Place, publisher, year, edition, pages
2008. Vol. 69, no 1, 31-54 p.
Keyword [en]
revision functions, logic, recovery
URN: urn:nbn:se:kth:diva-17670DOI: 10.1007/s10670-007-9088-4ISI: 000257371300002ScopusID: 2-s2.0-46749149227OAI: diva2:335715
QC 20100525Available from: 2010-08-05 Created: 2010-08-05Bibliographically approved

Open Access in DiVA

No full text

Other links

Publisher's full textScopus

Search in DiVA

By author/editor
Hansson, Sven Ove
By organisation
In the same journal

Search outside of DiVA

GoogleGoogle Scholar
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

Altmetric score

Total: 13 hits
ReferencesLink to record
Permanent link

Direct link