On the complexity of propositional knowledge base revision, updates, and counterfactuals
Artificial Intelligence
Journal of Symbolic Logic
Compilability and compact representations of revision of Horn knowledge bases
ACM Transactions on Computational Logic (TOCL)
Horn complements: towards horn-to-horn belief revision
AAAI'08 Proceedings of the 23rd national conference on Artificial intelligence - Volume 1
Next steps in propositional horn contraction
IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
SUM'11 Proceedings of the 5th international conference on Scalable uncertainty management
On the link between partial meet, kernel, and infra contraction and its application to Horn logic
Journal of Artificial Intelligence Research
Definability of horn revision from horn contraction
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
Hi-index | 0.00 |
We show that Booth et al.'s Horn contraction based on infra-remainder sets corresponds exactly to kernel contraction for belief sets. This result is obtained via a detour through Horn contraction for belief bases, which supports the conjecture that Horn belief change is best viewed as a “hybrid” version of belief set change and belief base change. Moreover, the link with base contraction gives us a more elegant representation result for Horn contraction for belief sets in which a version of the Core-retainment postulate features.