{"type":"ScholarlyArticle","title":"Belief Update in the Horn Fragment","authors":[{"name":"Nadia Creignou","slug":"nadia-creignou","given":"Nadia","family":"Creignou","affiliation":"Aix Marseille Université , Université de Toulon , CNRS , LIS , Marseille , France"},{"name":"Adrian Haret","slug":"adrian-haret","given":"Adrian","family":"Haret","affiliation":"TU Wien , Institute of Logic and Computation 192-02 ,"},{"name":"Odile Papini","slug":"odile-papini","given":"Odile","family":"Papini","affiliation":"Aix Marseille Université , Université de Toulon , CNRS , LIS , Marseille , France"},{"name":"Stefan Woltran","slug":"stefan-woltran","given":"Stefan","family":"Woltran","affiliation":"TU Wien , Institute of Logic and Computation 192-02 ,; TU Wien , Vienna , Austria"}],"abstract":"In line with recent work on belief change in fragments of propositional logic, we study belief update in the Horn fragment. We start from the standard KM postulates used to axiomatize belief update operators; these postulates lend themselves to semantic characterizations in terms of partial (resp. total) preorders on possible worlds. Since the Horn fragment is not closed under disjunction, the standard postulates have to be adapted for the Horn fragment. Moreover, a restriction on the preorders (i.e., Horn compliance) and additional postulates are needed to obtain sensible characterizations for the Horn fragment, and this leads to our main contribution: a representation result which shows that the class of update operators captured by Horn compliant partial (resp. total) preorders over possible worlds is precisely that given by the adapted and augmented Horn update postulates. With these results at hand, we provide concrete Horn update operators and are able to shed light on Horn revision operators based on partial preorders.","doi":"10.24963/ijcai.2018/246","url":"https://ijcai.org/proceedings/2018/246","pdf":"https://ijcai.org/proceedings/2018/0246.pdf","markdown":"https://ijcai.org/proceedings/2018/246.md","bibtex":"https://ijcai.org/proceedings/2018/bibtex/246","volume":{"slug":"2018","title":"Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence","short_title":"IJCAI 2018","url":"https://ijcai.org/proceedings/2018/","year":2018,"location":"Stockholm","dates":"13-19 July 2018","editors":"Jérôme Lang","isbn":"978-0-9992411-2-7","publisher":"International Joint Conferences on Artificial Intelligence Organization","doi_prefix":"10.24963/ijcai.2018"},"section":"Knowledge Representation and Reasoning","track":"Main track","number":246,"pages":{"first":1781,"last":1787},"keywords":["Knowledge Representation and Reasoning: Belief Change","Knowledge Representation and Reasoning: Logics for Knowledge Representation"],"videos":[],"references":[{"position":1,"raw":"[Benferhat et al., 2005] Salem Benferhat, Sylvain Lagrue, and Odile Papini. Revision of partially ordered informa- tion: Axiomatization, semantics and iteration. In IJCAI- 05, Proceedings of the Nineteenth International Joint Con- ference on Artificial Intelligence, Edinburgh, Scotland, UK, July 30 -August 5, 2005, pages 376-381, 2005.","title":"Revision of partially ordered information: Axiomatization, semantics and iteration","authors":"Benferhat","year":"2005","venue":"IJCAI-05, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence","doi":null,"url":null,"internal_url":"/proceedings/2005/190"},{"position":2,"raw":"[Booth et al., 2011] Richard Booth, Thomas Andreas Meyer, Ivan José Varzinczak, and Renata Wassermann. On the link between partial meet, kernel, and infra contraction and its application to Horn logic. J. Artif. Intell. Res. (JAIR), 42:31-53, 2011.","title":"On the link between partial meet, kernel, and infra contraction and its application to Horn logic","authors":"Richard Booth, Andreas Thomas, Ivan José Meyer, Renata Varzinczak, Wassermann","year":"2011","venue":"J. Artif. Intell. Res. (JAIR)","doi":null,"url":null,"internal_url":null},{"position":3,"raw":"[Delgrande and Peppas, 2015] James P. Delgrande and Pav- los Peppas. Belief revision in Horn theories. Artif. Intell., 218:1-22, 2015.","title":"Belief revision in Horn theories","authors":"James P Delgrande, Pavlos Peppas","year":"2015","venue":"Artif. Intell","doi":null,"url":null,"internal_url":null},{"position":4,"raw":"[Delgrande and Wassermann, 2013] James P. Delgrande and Renata Wassermann. Horn clause contraction functions. J. Artif. Intell. Res. (JAIR), 48:457-511, 2013.","title":"Horn clause contraction functions","authors":"James P Delgrande, Renata Wassermann","year":"2013","venue":"J. Artif. Intell. Res. (JAIR)","doi":null,"url":null,"internal_url":null},{"position":5,"raw":"[Delgrande et al., 2013] James P. Delgrande, Torsten Schaub, Hans Tompits, and Stefan Woltran. A Model- Theoretic Approach to Belief Change in Answer Set Programming. ACM Trans. Comput. Log., 14(2):14:1- 14:46, 2013.","title":"A Model-Theoretic Approach to Belief Change in Answer Set Programming","authors":"James P Delgrande, Torsten Schaub, Hans Tompits, Stefan Woltran","year":"2013","venue":"ACM Trans. Comput. Log","doi":null,"url":null,"internal_url":null},{"position":6,"raw":"[Fagin et al., 1983] Ronald Fagin, Jeffrey D. Ullman, and Moshe Y. Vardi. On the semantics of updates in databases. In Proc. ACM SIGACT SIGMOD, pages 352-365, 1983.","title":"On the semantics of updates in databases","authors":"Ronald Fagin, Jeffrey D Ullman, Moshe Y Vardi","year":"1983","venue":"Proc. ACM SIGACT SIGMOD","doi":null,"url":null,"internal_url":null},{"position":7,"raw":"[Forbus, 1989] Kenneth D. Forbus. Introducing actions into qualitative simulation. In Proc. of IJCAI 1989, pages 1273-1278, 1989.","title":"Introducing actions into qualitative simulation","authors":"D Kenneth, Forbus","year":"1989","venue":"Proc. of IJCAI 1989","doi":null,"url":null,"internal_url":"/proceedings/1989/204"},{"position":8,"raw":"[Haret et al., 2017] Adrian Haret, Stefan Rümmele, and Ste- fan Woltran. Merging in the Horn fragment. ACM Trans. Comput. Log., 18(1):6:1-6:32, 2017.","title":"Merging in the Horn fragment","authors":"Adrian Haret, Stefan Rümmele, Stefan Woltran","year":"2017","venue":"ACM Trans. Comput. Log","doi":null,"url":null,"internal_url":null},{"position":9,"raw":"[Katsuno and Mendelzon, 1992a] Hirofumi Katsuno and Al- berto O. Mendelzon. On the difference between updating a knowledge base and revising it. In Peter Gärdenfors, edi- tor, Belief Revision, pages 183-203. Cambridge University Press, 1992.","title":"On the difference between updating a knowledge base and revising it","authors":"Mendelzon Katsuno, Hirofumi Katsuno, Alberto O Mendelzon","year":"1992","venue":"editor, Belief Revision","doi":null,"url":null,"internal_url":null},{"position":10,"raw":"[Katsuno and Mendelzon, 1992b] Hirofumi Katsuno and Al- berto O. Mendelzon. Propositional knowledge base revi- sion and minimal change. Artif. Intell., 52(3):263-294, 1992.","title":"Propositional knowledge base revision and minimal change","authors":"Mendelzon Katsuno, Hirofumi Katsuno, Alberto O Mendelzon","year":"1992","venue":"Artif. Intell","doi":null,"url":null,"internal_url":null},{"position":11,"raw":"[Keller and Winslett, 1985] Arthur M. Keller and Marianne Winslett. On the use of an extended relational model to handle changing incomplete information. IEEE Trans. Software Eng., 11(7):620-633, 1985.","title":"On the use of an extended relational model to handle changing incomplete information","authors":"Arthur M Keller, Marianne Winslett","year":"1985","venue":"IEEE Trans. Software Eng","doi":null,"url":null,"internal_url":null},{"position":12,"raw":"[Kharlamov et al., 2013] Evgeny Kharlamov, Dmitriy Zheleznyakov, and Diego Calvanese. Capturing model- based ontology evolution at the instance level: The case of DL-Lite. J. Comput. Syst. Sci., 79(6):835-872, 2013.","title":"Capturing modelbased ontology evolution at the instance level: The case of DL-Lite","authors":"Evgeny Kharlamov, Dmitriy Zheleznyakov, Diego Calvanese","year":"2013","venue":"J. Comput. Syst. Sci","doi":null,"url":null,"internal_url":null},{"position":13,"raw":"[Ma et al., 2012] Jianbing Ma, Salem Benferhat, and Weiru Liu. Revising partial pre-orders with partial pre-orders: A unit-based revision framework. In Principles of Knowl- edge Representation and Reasoning: Proceedings of the Thirteenth International Conference, KR 2012, Rome, Italy, June 10-14, 2012, pages 633-637, 2012.","title":"Revising partial pre-orders with partial pre-orders: A unit-based revision framework","authors":"Ma","year":"2012","venue":"Principles of Knowledge Representation and Reasoning: Proceedings of the Thirteenth International Conference, KR 2012","doi":null,"url":null,"internal_url":null},{"position":14,"raw":"[Touazi et al., 2015] Fayc ¸al Touazi, Claudette Cayrol, and Didier Dubois. Possibilistic reasoning with partially or- dered beliefs. J. Applied Logic, 13(4):770-798, 2015.","title":"Fayc ¸al Touazi, Claudette Cayrol, and Didier Dubois. Possibilistic reasoning with partially ordered beliefs","authors":"Touazi","year":"2015","venue":"J. Applied Logic","doi":null,"url":null,"internal_url":null},{"position":15,"raw":"[Turán and Yaggie, 2015] György Turán and Jon Yaggie. Characterizability in belief revision. In Proceedings of the Twenty-Fourth International Joint Conference on Ar- tificial Intelligence, IJCAI 2015, Buenos Aires, Argentina, July 25-31, 2015, pages 3236-3242, 2015.","title":"Characterizability in belief revision","authors":"Yaggie Turán, György Turán, Jon Yaggie","year":"2015","venue":"Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI 2015","doi":null,"url":null,"internal_url":"/proceedings/2015/456"},{"position":16,"raw":"[Winslett, 1990] Marianne Winslett. Updating Logical Databases. Cambridge University Press, 1990.","title":"Updating Logical Databases","authors":"Marianne Winslett","year":"1990","venue":null,"doi":null,"url":null,"internal_url":null},{"position":17,"raw":"[Yaggie and Turán, 2016] Jon Yaggie and György Turán. Characterizability in Horn belief revision. In Logics in Artificial Intelligence -15th European Conference, JELIA 2016, Larnaca, Cyprus, November 9-11, 2016, Proceed- ings, pages 497-511, 2016.","title":"Characterizability in Horn belief revision","authors":"Turán Yaggie, Jon Yaggie, György Turán","year":"2016","venue":"Logics in Artificial Intelligence -15th European Conference, JELIA 2016","doi":null,"url":null,"internal_url":null},{"position":18,"raw":"[Zhuang and Pagnucco, 2014] Zhiqiang Zhuang and Mau- rice Pagnucco. Entrenchment-based Horn contraction. J. Artif. Intell. Res. (JAIR), 51:227-254, 2014.","title":"Entrenchment-based Horn contraction","authors":"Zhiqiang Zhuang, Maurice Pagnucco","year":"2014","venue":"J. Artif. Intell. Res. (JAIR)","doi":null,"url":null,"internal_url":null},{"position":19,"raw":"[Zhuang et al., 2016] Zhiqiang Zhuang, Zhe Wang, Kewen Wang, and Guilin Qi. DL-Lite Contraction and Revision. J. Artif. Intell. Res., 56:329-378, 2016.","title":"DL-Lite Contraction and Revision","authors":"Zhiqiang Zhuang, Zhe Wang, Kewen Wang, Guilin Qi","year":"2016","venue":"J. Artif. Intell. Res","doi":null,"url":null,"internal_url":null},{"position":20,"raw":"[Zhuang et al., 2017] Zhiqiang Zhuang, Maurice Pagnucco, and Yan Zhang. Inter-definability of Horn contraction and Horn revision. J. Philosophical Logic, 46(3):299-332, 2017.","title":"Inter-definability of Horn contraction and Horn revision","authors":"Zhiqiang Zhuang, Maurice Pagnucco, Yan Zhang","year":"2017","venue":"J. Philosophical Logic","doi":null,"url":null,"internal_url":null}],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}