Definability of horn revision from horn contraction

  • Authors:

  • Zhiqiang Zhuang;Maurice Pagnucco;Yan Zhang

  • Affiliations:

  • School of Computing, Engineering, and Mathematics, University of Western Sydney and School of Computer Science and Engineering, University of New South Wales, Australia;School of Computer Science and Engineering, University of New South Wales and ARC Centre of Excellence in Autonomous Systems and National ICT Australia;School of Computing, Engineering, and Mathematics, University of Western Sydney, Australia

  • Venue:
  • IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
  • Year:
  • 2013

Quantified Score

Hi-index 0.00

Visualization

Abstract

In the AGM framework [Alchourrón and Makinson, 1985], a revision function can be defined directly through constructions like systems of spheres, epistemic entrenchment, etc., or indirectly through a contraction operation via the Levi identity. A recent trend is to construct AGM style contraction and revision functions that operate under Horn logic. A direct construction of Horn revision is given in [Delgrande and Peppas, 2011]. However, it is unknown whether Horn revision can be defined indirectly from Horn contraction. In this paper, we address this problem by obtaining a model-based Horn revision through the model-based Horn contraction studied in [Zhuang and Pagnucco, 2012]. Our result shows that, under proper restrictions, Horn revision is definable through Horn contraction via the Levi identity.