We found a match
Your institution may have access to this item. Find your institution then sign in to continue.
- Title
Inter-Definability of Horn Contraction and Horn Revision.
- Authors
Zhuang, Zhiqiang; Pagnucco, Maurice; Zhang, Yan
- Abstract
There have been a number of publications in recent years on generalising the AGM paradigm to the Horn fragment of propositional logic. Most of them focused on adapting AGM contraction and revision to the Horn setting. It remains an open question whether the adapted Horn contraction and Horn revision are inter-definable as in the AGM case through the Levi and Harper identities. In this paper, we give a positive answer by providing methods for generating contraction and revision from their dual operations. Noticeably, we cannot apply the Levi and Harper identities directly in such methods as the Horn fragment does not fully support negation. To overcome this difficulty, a Horn approximation technique called Horn strengthening is used. We show that Horn contraction generated from Horn revision is always plausible whereas Horn revision generated from Horn contraction is, in general, implausible and, to regain plausibility, the generating contraction has to be properly restricted.
- Subjects
DEFINABILITY theory (Mathematical logic); PROPOSITION (Logic); APPROXIMATION theory; PLAUSIBILITY (Logic); BELIEF change
- Publication
Journal of Philosophical Logic, 2017, Vol 46, Issue 3, p299
- ISSN
0022-3611
- Publication type
Article
- DOI
10.1007/s10992-016-9401-2