{"type":"ScholarlyArticle","title":"Belief Change in a Preferential Non-monotonic Framework","authors":[{"name":"Giovanni Casini","slug":"giovanni-casini","given":"Giovanni","family":"Casini","affiliation":"Université du Luxembourg Luxembourg"},{"name":"Thomas Meyer","slug":"thomas-meyer","given":"Thomas","family":"Meyer","affiliation":"CAIR-CSIR University of Cape Town South Africa"}],"abstract":"Belief change and non-monotonic reasoning are usually viewed as two sides of the same coin, with results showing that one can formally be defined in terms of the other. In this paper we show that it also makes sense to analyse belief change within a (preferential) non-monotonic framework. We consider belief change operators in a non-monotonic propositional setting with a view towards preserving consistency. We show that the results obtained can also be applied to the preservation of coherence— an important notion within the field of logic-based ontologies. We adopt the AGM approach to belief change and show that standard AGM can be adapted to a preferential non-monotonic framework, with the definition of expansion, contraction, and revision operators, and corresponding representation results.","doi":"10.24963/ijcai.2017/129","url":"https://ijcai.org/proceedings/2017/129","pdf":"https://ijcai.org/proceedings/2017/0129.pdf","markdown":"https://ijcai.org/proceedings/2017/129.md","bibtex":"https://ijcai.org/proceedings/2017/bibtex/129","volume":{"slug":"2017","title":"Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 2017","url":"https://ijcai.org/proceedings/2017/","year":2017,"location":"Melbourne, Australia","dates":"19-25 August 2017","editors":"Carles Sierra","isbn":"978-0-9992411-0-3","publisher":"International Joint Conferences on Artificial Intelligence Organization","doi_prefix":"10.24963/ijcai.2017"},"section":"Knowledge Representation, Reasoning, and Logic","track":"Main track","number":129,"pages":{"first":929,"last":935},"keywords":["Knowledge Representation, Reasoning, and Logic: Logics for Knowledge Representation","Knowledge Representation, Reasoning, and Logic: Belief Change","Knowledge Representation, Reasoning, and Logic: Non-monotonic Reasoning"],"videos":[],"references":[{"position":1,"raw":"[Alchourrón et al., 1985] Carlos E. Alchourrón, Pe- ter Gärdenfors, and David Makinson. On the logic of theory change: Partial meet contraction and revision functions. Journal of Symbolic Logic, 50:510-530, 1985.","title":"On the logic of theory change: Partial meet contraction and revision functions","authors":"Carlos E Alchourrón, Peter Gärdenfors, David Makinson","year":"1985","venue":"Journal of Symbolic Logic","doi":null,"url":null,"internal_url":null},{"position":2,"raw":"[Booth and Paris, 1998] Richard Booth and Jeff B. Paris. A note on the rational closure of knowledge bases with both positive and negative knowledge. Journal of Logic, Lan- guage and Information, 7(2):165-190, 1998.","title":"A note on the rational closure of knowledge bases with both positive and negative knowledge","authors":"Richard Booth, Jeff B Paris","year":"1998","venue":"Journal of Logic, Language and Information","doi":null,"url":null,"internal_url":null},{"position":3,"raw":"[Britz et al., 2008] Katarina Britz, Johannes Heidema, and Thomas Meyer. Semantic preferential subsumption. In J. Lang and G. Brewka, editors, Proceedings of the 11th International Conference on Principles of Knowledge Representation and Reasoning, KR 2008, pages 476-484. AAAI Press/MIT Press, 2008.","title":"Semantic preferential subsumption","authors":"Katarina Britz, Johannes Heidema, Thomas Meyer","year":"2008","venue":"Proceedings of the 11th International Conference on Principles of Knowledge Representation and Reasoning","doi":null,"url":null,"internal_url":null},{"position":4,"raw":"[Britz et al., 2011] Katarina Britz, Thomas Meyer, and Ivan Varzinczak. Semantic foundation for preferential De- scription Logics. In D. Wang and M. Reynolds, editors, Proceedings of the 24th Australasian Joint Conference on Artificial Intelligence, number 7106 in LNAI, pages 491- 500. Springer, 2011.","title":"Semantic foundation for preferential Description Logics","authors":"Katarina Britz, Thomas Meyer, Ivan Varzinczak","year":"2011","venue":"Proceedings of the 24th Australasian Joint Conference on Artificial Intelligence, number 7106 in LNAI","doi":null,"url":null,"internal_url":null},{"position":5,"raw":"[Casini and Meyer, 2016] Giovanni Casini and Thomas Meyer. Using defeasible information to ob- tain coherence. In Proceedings of the 15th International Conference on Principles of Knowledge Representation and Reasoning, KR 2016, pages 537-540, 2016.","title":"Using defeasible information to obtain coherence","authors":"Meyer ; Casini, Giovanni Casini, Thomas Meyer","year":"2016","venue":"Proceedings of the 15th International Conference on Principles of Knowledge Representation and Reasoning","doi":null,"url":null,"internal_url":null},{"position":6,"raw":"[Casini and Straccia, 2010] Giovanni Casini and Um- berto Straccia. Rational closure for defeasible Description Logics. In T. Janhunen and I. Niemelä, editors, Pro- ceedings of the 12th European Conference on Logics in Artificial Intelligence (JELIA), number 6341 in LNCS, pages 77-90. Springer-Verlag, 2010.","title":"Rational closure for defeasible Description Logics","authors":"Giovanni Casini, Umberto Straccia","year":"2010","venue":"Proceedings of the 12th European Conference on Logics in Artificial Intelligence (JELIA)","doi":null,"url":null,"internal_url":null},{"position":7,"raw":"[Casini and Straccia, 2013] Giovanni Casini and Um- berto Straccia. Defeasible inheritance-based Description Logics. J. Artif. Intell. Res. (JAIR), 48:415-473, 2013.","title":"Defeasible inheritance-based Description Logics","authors":"Giovanni Casini, Umberto Straccia","year":"2013","venue":"J. Artif. Intell. Res. (JAIR)","doi":null,"url":null,"internal_url":null},{"position":8,"raw":"[Delgrande et al., 2013] James Delgrande, Torsten Schaub, Hans Tompits, and Stefan Woltran. A model-theoretic ap- proach to belief change in answer set programming. ACM Trans. Comput. Logic, 14(2):1-46, 2013.","title":"A model-theoretic approach to belief change in answer set programming","authors":"James Delgrande, Torsten Schaub, Hans Tompits, Stefan Woltran","year":"2013","venue":"ACM Trans. Comput. Logic","doi":null,"url":null,"internal_url":null},{"position":9,"raw":"[Giordano et al., 2013] Laura Giordano, Valentina Gliozzi, Nicola Olivetti, and Gian Luca Pozzato. A non-monotonic Description Logic for reasoning about typicality. Artif. In- tell., 195:165-202, 2013.","title":"A non-monotonic Description Logic for reasoning about typicality","authors":"Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato","year":"2013","venue":"Artif. Intell","doi":null,"url":null,"internal_url":null},{"position":10,"raw":"[Giordano et al., 2015] Laura Giordano, Valentina Gliozzi, Nicola Olivetti, and Gian Luca Pozzato. Semantic char- acterization of rational closure: From propositional logic to Description Logics. Artif. Intell. J., 226:1-33, 2015.","title":"Semantic characterization of rational closure: From propositional logic to Description Logics","authors":"Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato","year":"2015","venue":"Artif. Intell. J","doi":null,"url":null,"internal_url":null},{"position":11,"raw":"William L. Harper. Rational conceptual change. PSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association, 1976:462-494, 1976.","title":"Rational conceptual change","authors":"L William, Harper","year":"1976","venue":"PSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association","doi":null,"url":null,"internal_url":null},{"position":12,"raw":"[Hunter, 2016] Aaron Hunter. Nearly Counterfactual Revi- sion, pages 263-269. Springer International Publishing, Cham, 2016.","title":"Aaron Hunter. Nearly Counterfactual Revision","authors":"Hunter","year":"2016","venue":null,"doi":null,"url":null,"internal_url":null},{"position":13,"raw":"[Kern-Isberner, 1999] Gabriele Kern-Isberner. Postulates for conditional belief revision. In Proceedings of the 16th International Joint Conference on Artifical Intelligence - Volume 1, IJCAI'99, pages 186-191, San Francisco, CA, USA, 1999.","title":"Postulates for conditional belief revision","authors":"Gabriele Kern-Isberner, Kern-Isberner","year":"1999","venue":"Proceedings of the 16th International Joint Conference on Artifical Intelligence -Volume 1, IJCAI'99","doi":null,"url":null,"internal_url":"/proceedings/1999/28"},{"position":14,"raw":"[Morgan Kaufmann Publishers Inc. Kraus et al., 1990] Sarit Kraus, Daniel Lehmann, and Men- achem Magidor. Nonmonotonic reasoning, preferential models and cumulative logics. Artif. Intell., 44:167-207, 1990.","title":"Nonmonotonic reasoning, preferential models and cumulative logics","authors":"Sarit Kraus, Daniel Lehmann, Menachem Magidor","year":"1990","venue":"Artif. Intell","doi":null,"url":null,"internal_url":null},{"position":15,"raw":"[Lehmann and Magidor, 1992] Daniel Lehmann and Men- achem Magidor. What does a conditional knowledge base entail? Artif. Intell., 55:1-60, 1992.","title":"Daniel Lehmann and Menachem Magidor. What does a conditional knowledge base entail?","authors":"Magidor Lehmann","year":"1992","venue":"Artif. Intell","doi":null,"url":null,"internal_url":null},{"position":16,"raw":"[Lehmann, 1995] Daniel Lehmann. Another perspective on default reasoning. Annals of Mathematics and Artificial Intelligence, 15(1):61-82, 1995.","title":"Another perspective on default reasoning","authors":"Daniel Lehmann","year":"1995","venue":"Annals of Mathematics and Artificial Intelligence","doi":null,"url":null,"internal_url":null},{"position":17,"raw":"[Levi, 1977] Isaac Levi. Subjunctives, dispositions and chances. Synthese, 34:423-455, 1977.","title":"Isaac Levi. Subjunctives, dispositions and chances","authors":"Levi","year":"1977","venue":"Synthese","doi":null,"url":null,"internal_url":null},{"position":18,"raw":"[Lukasiewicz, 2008] Thomas Lukasiewicz. Expressive prob- abilistic Description Logics. Artif. Intell., 172(6-7):852- 883, 2008.","title":"Expressive probabilistic Description Logics","authors":"Thomas Lukasiewicz","year":"2008","venue":"Artif. Intell","doi":null,"url":null,"internal_url":null},{"position":19,"raw":"[Meyer, 2001] Thomas Meyer. Basic infobase change. Stu- dia Logica, 67(2):215-242, 2001.","title":"Basic infobase change","authors":"Thomas Meyer","year":"2001","venue":"Studia Logica","doi":null,"url":null,"internal_url":null},{"position":20,"raw":"[Nebel, 1989] Bernhard Nebel. A knowledge level analy- sis of belief revision. In Proceedings of the 1st Interna- tional Conference on Principles of Knowledge Represen- tation and Reasoning (KR'89). Toronto, Canada, May 15- 18 1989., pages 301-311, 1989.","title":"A knowledge level analysis of belief revision","authors":"Bernhard Nebel","year":"1989","venue":"Proceedings of the 1st International Conference on Principles of Knowledge Representation and Reasoning (KR'89)","doi":null,"url":null,"internal_url":null},{"position":21,"raw":"[Qi and Hunter, 2007] Guilin Qi and Anthony Hunter. Mea- suring incoherence in Description Logic-based ontologies. In The Semantic Web, volume 4825 of LNCS, pages 381- 394. Springer, 2007.","title":"Measuring incoherence in Description Logic-based ontologies","authors":"Hunter ; Qi, Guilin Qi, Anthony Hunter","year":"2007","venue":"The Semantic Web","doi":null,"url":null,"internal_url":null}],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}