{"type":"ScholarlyArticle","title":"Simple Conditionals with Constrained Right Weakening","authors":[{"name":"Giovanni Casini","slug":"giovanni-casini","given":"Giovanni","family":"Casini","affiliation":"CSC , University of Luxembourg , Luxembourg"},{"name":"Thomas Meyer","slug":"thomas-meyer","given":"Thomas","family":"Meyer","affiliation":"CAIR , University of Cape Town , South Africa"},{"name":"Ivan Varzinczak","slug":"ivan-varzinczak","given":"Ivan","family":"Varzinczak","affiliation":"CRIL , Université d'Artois & CNRS , France"}],"abstract":"In this paper we introduce and investigate a very basic semantics for conditionals that can be used to define a broad class of conditional reasoning. We show that it encompasses the most popular kinds of conditional reasoning developed in logic-based KR. It turns out that the semantics we propose is appropriate for a structural analysis of those conditionals that do not satisfy the property of Right Weakening. We show that it can be used for the further development of an analysis of the notion of relevance in conditional reasoning.","doi":"10.24963/ijcai.2019/226","url":"https://ijcai.org/proceedings/2019/226","pdf":"https://ijcai.org/proceedings/2019/0226.pdf","markdown":"https://ijcai.org/proceedings/2019/226.md","bibtex":"https://ijcai.org/proceedings/2019/bibtex/226","volume":{"slug":"2019","title":"Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 2019","url":"https://ijcai.org/proceedings/2019/","year":2019,"location":"Macao","dates":"10-16 August 2019","editors":"Sarit Kraus","isbn":"978-0-9992411-4-1","publisher":"International Joint Conferences on Artificial Intelligence Organization","doi_prefix":"10.24963/ijcai.2019"},"section":"Knowledge Representation and Reasoning","track":"Main track","number":226,"pages":{"first":1632,"last":1638},"keywords":["Knowledge Representation and Reasoning: Non-monotonic Reasoning","Knowledge Representation and Reasoning: Qualitative Reasoning","Knowledge Representation and Reasoning: Logics for Knowledge Representation","Knowledge Representation and Reasoning: Non-classical Logics for Knowledge Representation"],"videos":[],"references":[{"position":1,"raw":"[Booth and Paris, 1998] Richard Booth and Jeffrey B. Paris. A note on the rational closure of knowledge bases with both positive and negative knowledge. Journal of Logic, Language 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, Jeffrey B Paris","year":"1998","venue":"Journal of Logic, Language and Information","doi":null,"url":null,"internal_url":null},{"position":2,"raw":"[Britz et al., 2011] Katarina Britz, Johannes Heidema, and Ivan Varzinczak. Constrained consequence. Logica Uni- versalis, 5(2):327-350, 2011.","title":"Constrained consequence","authors":"Katarina Britz, Johannes Heidema, Ivan Varzinczak","year":"2011","venue":"Logica Universalis","doi":null,"url":null,"internal_url":null},{"position":3,"raw":"[Delgrande and Pelletier, 1998] James P. Delgrande and Francis J. Pelletier. A formal analysis of relevance. Erken- ntnis, 49(2):137-173, Sep 1998.","title":"A formal analysis of relevance","authors":"James P Delgrande, Francis J Pelletier","year":"1998","venue":"Erkenntnis","doi":null,"url":null,"internal_url":null},{"position":4,"raw":"[Delgrande, 2011] James P. Delgrande. What's in a de- fault? thoughts on the nature and role of defaults in non- monotonic reasoning. In G. Brewka, V.W. Marek, and M. Truszczynski, editors, Nonmonotonic Reasoning. Es- says Celebrating Its 30th Anniversary. College Publica- tions, 2011.","title":"What's in a default? thoughts on the nature and role of defaults in nonmonotonic reasoning","authors":"James P Delgrande","year":"2011","venue":"Nonmonotonic Reasoning. Essays Celebrating Its 30th Anniversary","doi":null,"url":null,"internal_url":null},{"position":5,"raw":"[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":6,"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":7,"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":8,"raw":"[Makinson and van der Torre, 2000] David Makinson and Leendert van der Torre. Input/output logics. Journal of Philosophical Logic, 29(4):383-408, 2000.","title":"Input/output logics","authors":"Van Makinson, Torre ; Der, David Makinson, Leendert Van Der Torre","year":"2000","venue":"Journal of Philosophical Logic","doi":null,"url":null,"internal_url":null},{"position":9,"raw":"[Parent and van der Torre, 2014] Xavier Parent and Leendert van der Torre. \"Sing and Dance!\". In F. Cariani, D. Grossi, J. Meheus, and X. Parent, editors, Deontic Logic and Nor- mative Systems, pages 149-165, Cham, 2014. Springer In- ternational Publishing. [Pearl, 1990] Judea Pearl. System Z: a natural ordering of defaults with tractable applications to nonmonotonic rea- soning. In Proceedings of the 3rd Conference on Theoret- ical Aspects of Rationality and Knowledge (TARK), 1990.","title":"Judea Pearl. System Z: a natural ordering of defaults with tractable applications to nonmonotonic reasoning","authors":"Van Parent, Torre Der","year":"1990","venue":"Proceedings of the 3rd Conference on Theoretical Aspects of Rationality and Knowledge (TARK)","doi":null,"url":null,"internal_url":null},{"position":10,"raw":"[Restall, 2006] Greg Restall. Relevant and substructural log- ics. In D.M. Gabbay and J. Woods, editors, Handbook of the History of Logic, volume 7: Logic and the Modalities in the Twentieth Century, pages 289-398. Elsevier North- Holland, 2006.","title":"Relevant and substructural logics","authors":"Greg Restall","year":"2006","venue":"Handbook of the History of Logic, volume 7: Logic and the Modalities in the Twentieth Century","doi":null,"url":null,"internal_url":null},{"position":11,"raw":"[Rott, 2001] Hans Rott. Change, Choice and Inference: A Study of Belief Revision and Nonmonotonic Reasoning. Oxford University Press, 2001.","title":"Change, Choice and Inference: A Study of Belief Revision and Nonmonotonic Reasoning","authors":"Hans Rott, Rott","year":"2001","venue":null,"doi":null,"url":null,"internal_url":null}],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}