Definability of Horn Revision from Horn Contraction

In the AGM framework [Alchourron 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.

[1]  Mehmet A. Orgun,et al.  Iterated Belief Contraction from First Principles , 2007, IJCAI.

[2]  Wolfgang Spohn,et al.  The measurement of ranks and the laws of iterated contraction , 2008, Artif. Intell..

[3]  James P. Delgrande,et al.  Horn Clause Contraction Functions: Belief Set and Belief Base Approaches , 2010, KR.

[4]  Maurice Pagnucco,et al.  Transitively Relational Partial Meet Horn Contraction , 2011, IJCAI.

[5]  Bart Selman,et al.  Knowledge compilation and theory approximation , 1996, JACM.

[6]  Ijcai 2007 , 2007, Künstliche Intell..

[7]  Dan Suciu,et al.  Journal of the ACM , 2006 .

[8]  Maurice Pagnucco,et al.  Model Based Horn Contraction , 2012, KR.

[9]  Richard Booth,et al.  Horn Belief Change: A Contraction Core , 2010, ECAI.

[10]  James P. Delgrande,et al.  Revising Horn Theories , 2011, IJCAI.

[11]  Nils J. Nilsson,et al.  Artificial Intelligence , 1974, IFIP Congress.

[12]  Adam J. Grove,et al.  Two modellings for theory change , 1988, J. Philos. Log..

[13]  Hans Rott,et al.  Shifting Priorities: Simple Representations for Twenty-Seven Iterated Theory Change Operators , 2009, Towards Mathematical Philosophy.

[14]  Peter Gärdenfors,et al.  On the logic of theory change: Partial meet contraction and revision functions , 1985, Journal of Symbolic Logic.

[15]  James P. Delgrande,et al.  Horn Clause Belief Change: Contraction Functions , 2008, KR.

[16]  Yehoshua Bar-Hillel,et al.  Language and Information , 1964 .

[17]  Hirofumi Katsuno,et al.  Propositional Knowledge Base Revision and Minimal Change , 1991, Artif. Intell..

[18]  Mehmet A. Orgun,et al.  Three Approaches to Iterated Belief Contraction , 2012, J. Philos. Log..

[19]  Peter Gärdenfors,et al.  Revisions of Knowledge Systems Using Epistemic Entrenchment , 1988, TARK.

[20]  S. Salvati.  Journal of Logic, Language and Information , 2017 .

[21]  Sven Ove Hansson.  Multiple and iterated contraction reduced to single-step single-sentence contraction , 2009, Synthese.

[22]  Mehmet A. Orgun,et al.  Taking Levi Identity Seriously: A Plea for Iterated Belief Contraction , 2006, KSEM.

[23]  Maurice Pagnucco,et al.  Horn Contraction via Epistemic Entrenchment , 2010, JELIA.

[24]  André Fuhrmann,et al.  A survey of multiple contractions , 1994, J. Log. Lang. Inf..

[25]  Richard Booth,et al.  On the Link between Partial Meet, Kernel, and Infra Contraction and its Application to Horn Logic , 2011, J. Artif. Intell. Res..

[26]  Richard Booth,et al.  Next Steps in Propositional Horn Contraction , 2009, IJCAI.

[27]  A. G. Oettinger,et al.  Language and information , 1968 .

[28]  Sven Ove Hansson,et al.  A textbook of belief dynamics - theory change and database updating , 1999, Applied logic series.

[29]  Moshe Y. Vardi.  Conference on Theoretical Aspects of Reasoning about Knowledge , 1990 .