{"type":"ScholarlyArticle","title":"Streamlining Input/Output Logics with Sequent Calculi (Extended Abstract)","authors":[{"name":"Agata Ciabattoni","slug":"agata-ciabattoni","given":"Agata","family":"Ciabattoni","affiliation":"Institute of Logic and Computation , TU Wien , Vienna , Austria"},{"name":"Dmitry Rozplokhas","slug":"dmitry-rozplokhas","given":"Dmitry","family":"Rozplokhas","affiliation":"Institute of Logic and Computation , TU Wien , Vienna , Austria"}],"abstract":"Input/Output (I/O) logic is a general framework for reasoning about conditional norms and/or causal relations. We streamline Bochman’s causal I/O logics and their original version via proof-search-oriented sequent calculi. As a byproduct, we obtain new, simple semantics for all these logics, complexity bounds, embeddings into normal modal logics, and efficient deduction methods. Our work encompasses many scattered results and provides uniform solutions to various unresolved problems.","doi":"10.24963/ijcai.2024/928","url":"https://ijcai.org/proceedings/2024/928","pdf":"https://ijcai.org/proceedings/2024/0928.pdf","markdown":"https://ijcai.org/proceedings/2024/928.md","bibtex":"https://ijcai.org/proceedings/2024/bibtex/928","volume":{"slug":"2024","title":"Proceedings of the Thirty-Third International Joint Conference on Artificial Intelligence","short_title":"IJCAI 2024","url":"https://ijcai.org/proceedings/2024/","year":2024,"location":"Jeju, Korea","dates":"3-9 August 2024","editors":"Kate Larson","isbn":"978-1-956792-04-1","publisher":"International Joint Conferences on Artificial Intelligence Organization","doi_prefix":"10.24963/ijcai.2024"},"section":"Sister Conferences Best Papers","track":"Sister Conferences Best Papers","number":928,"pages":{"first":8389,"last":8393},"keywords":["Knowledge Representation and Reasoning: KRR: Computational complexity of reasoning","Knowledge Representation and Reasoning: KRR: Causality"],"videos":[],"references":[{"position":1,"raw":"[Benzmüller et al., 2019] Christoph Benzmüller, Ali Far- jami, Paul Meder, and Xavier Parent. I/O logic in HOL. FLAP, 6(5):715-732, 2019.","title":"Christoph Benzmüller, Ali Farjami, Paul Meder, and Xavier Parent. I/O logic in HOL","authors":"Benzmüller","year":"2019","venue":"FLAP","doi":null,"url":null,"internal_url":null},{"position":2,"raw":"[Bochman and Lifschitz, 2015] Alexander Bochman and Vladimir Lifschitz. Pearl's causality in a logical setting. In Blai Bonet and Sven Koenig, editors, Proceedings of AAAI 2015, pages 1446-1452. AAAI Press, 2015.","title":"Pearl's causality in a logical setting","authors":"Lifschitz Bochman, Alexander Bochman, Vladimir Lifschitz","year":"2015","venue":"Proceedings of AAAI 2015","doi":null,"url":null,"internal_url":null},{"position":3,"raw":"[Bochman, 2003] Alexander Bochman. A logic for causal reasoning. In Georg Gottlob and Toby Walsh, editors, Pro- ceedings of IJCAI 2003, pages 141-146.","title":"A logic for causal reasoning","authors":"Alexander Bochman","year":null,"venue":"Proceedings of IJCAI 2003","doi":null,"url":null,"internal_url":"/proceedings/2003/20"},{"position":4,"raw":"Morgan Kauf- mann, 2003.","title":null,"authors":"Morgan Kaufmann","year":"2003","venue":null,"doi":null,"url":null,"internal_url":null},{"position":5,"raw":"[Bochman, 2004] Alexander Bochman. A causal approach to nonmonotonic reasoning. Artif. Intell., 160(1-2):105- 143, 2004.","title":"A causal approach to nonmonotonic reasoning","authors":"Alexander Bochman","year":"2004","venue":"Artif. Intell","doi":null,"url":null,"internal_url":null},{"position":6,"raw":"[Bochman, 2018] Alexander Bochman. Actual causality in a logical setting. In Jérôme Lang, editor, Proceedings of IJCAI 2018, pages 1730-1736, 2018.","title":"Actual causality in a logical setting","authors":"Alexander Bochman","year":"2018","venue":"Proceedings of IJCAI 2018","doi":null,"url":null,"internal_url":"/proceedings/2018/239"},{"position":7,"raw":"[Bochman, 2021] Alexander Bochman. A Logical Theory of Causality. MIT Press, 2021.","title":"A Logical Theory of Causality","authors":"Alexander Bochman","year":"2021","venue":null,"doi":null,"url":null,"internal_url":null},{"position":8,"raw":"[Ciabattoni and Rozplokhas, 2023] Agata Ciabattoni and Dmitry Rozplokhas. Streamlining input/output logics with sequent calculi. In Pierre Marquis, Tran Cao Son, and Gabriele Kern-Isberner, editors, Proceedings of KR 2023, pages 146-155, 2023.","title":"Streamlining input/output logics with sequent calculi","authors":"Agata Ciabattoni, Dmitry Rozplokhas","year":"2023","venue":"Proceedings of KR 2023","doi":null,"url":null,"internal_url":null},{"position":9,"raw":"[Ciabattoni et al., 2021] Agata Ciabattoni, Xavier Parent, and Giovanni Sartor. A kelsenian deontic logic. In Schweighofer Erich, editor, Proceedings of JURIX 2021, volume 346 of Frontiers in Artificial Intelligence and Ap- plications, pages 141-150. IOS Press, 2021.","title":"A kelsenian deontic logic","authors":"Agata Ciabattoni, Xavier Parent, Giovanni Sartor","year":"2021","venue":"Frontiers in Artificial Intelligence and Applications","doi":null,"url":null,"internal_url":null},{"position":10,"raw":"[Gentzen, 1935] Gerhard Gentzen. Untersuchungen über das logische Schließen I. Mathematische Zeitschrift, 39:176- 210, 1935. English translation in: The Collected Papers of Gerhard Gentzen, (ed. M.E. Szabo), Amsterdam, North Holland (1969), 68-131.","title":"Untersuchungen über das logische Schließen I","authors":"Gerhard Gentzen, Gentzen","year":"1935","venue":"The Collected Papers","doi":null,"url":null,"internal_url":null},{"position":11,"raw":"[Kelsen, 1991] Hans Kelsen. General Theory of Norms. Clarendon, 1991.","title":"General Theory of Norms","authors":"Hans Kelsen, Kelsen","year":"1991","venue":null,"doi":null,"url":null,"internal_url":null},{"position":12,"raw":"[Lahav and Zohar, 2014] Ori Lahav and Yoni Zohar. Sat- based decision procedure for analytic pure sequent calculi. In Stéphane Demri, Deepak Kapur, and Christoph Weiden- bach, editors, Proceedings of IJCAR 2014, pages 76-90. Springer, 2014.","title":"Satbased decision procedure for analytic pure sequent calculi","authors":"Zohar Lahav, Ori Lahav, Yoni Zohar","year":"2014","venue":"Proceedings of IJCAR 2014","doi":null,"url":null,"internal_url":null},{"position":13,"raw":"[Lellmann, 2021] Björn Lellmann. From input/output log- ics to conditional logics via sequents -with provers. In Anupam Das and Sara Negri, editors, Proceedings of TABLEAUX 2021, pages 147-164. Springer, 2021.","title":"From input/output logics to conditional logics via sequents -with provers","authors":"Björn Lellmann, Lellmann","year":"2021","venue":"Proceedings of TABLEAUX 2021","doi":null,"url":null,"internal_url":null},{"position":14,"raw":"[Makinson and van der Torre, 2000] David Makinson and Leendert van der Torre. Input/output logics. J. Philos. Log., 29(4):383-408, 2000.","title":"Input/output logics","authors":"Van Makinson, Torre ; Der, David Makinson, Leendert Van Der Torre","year":"2000","venue":"J. Philos. Log","doi":null,"url":null,"internal_url":null},{"position":15,"raw":"[Makinson and van der Torre, 2001] David Makinson and Leendert van der Torre. Constraints for input/output log- ics. J. Philos. Log., 30(2):155-185, 2001.","title":"Constraints for input/output logics","authors":"Van Makinson, Torre ; Der, David Makinson, Leendert Van Der Torre","year":"2001","venue":"J. Philos. Log","doi":null,"url":null,"internal_url":null},{"position":16,"raw":"[McCain and Turner, 1997] Norman McCain and Hudson Turner. Causal theories of action and change. In Ben- jamin Kuipers and Bonnie L. Webber, editors, Proceed- ings of AAAI 1997, pages 460-465. AAAI Press / The MIT Press, 1997.","title":"Causal theories of action and change","authors":"Turner ; Mccain, Norman Mccain, Hudson Turner","year":"1997","venue":"Proceedings of AAAI 1997","doi":null,"url":null,"internal_url":null},{"position":17,"raw":"[Parent and van der Torre, 2014] Xavier Parent and Leon van der Torre. Aggregative deontic detachment for nor- mative reasoning. In Chitta Baral, Giuseppe De Giacomo, and Thomas Eiter, editors, Proceedings of KR 2014. AAAI Press, 2014.","title":"Xavier Parent and Leon van der Torre. Aggregative deontic detachment for normative reasoning","authors":"Van Parent, Torre Der","year":"2014","venue":"Proceedings of KR 2014","doi":null,"url":null,"internal_url":null},{"position":18,"raw":"[Robaldo et al., 2020] Livio Robaldo, Cesare Bartolini, Monica Palmirani, Arianna Rossi, Michele Martoni, and Gabriele Lenzini. Formalizing GDPR provisions in reified I/O logic: The DAPRECO knowledge base. J. Log. Lang. Inf., 29(4):401-449, 2020.","title":"Formalizing GDPR provisions in reified I/O logic: The DAPRECO knowledge base","authors":"Livio Robaldo, Cesare Bartolini, Monica Palmirani, Arianna Rossi, Michele Martoni, Gabriele Lenzini","year":"2020","venue":"J. Log. Lang. Inf","doi":null,"url":null,"internal_url":null},{"position":19,"raw":"[Steen, 2021] Alexander Steen. Goal-directed decision pro- cedures for input/output logics. In Fenrong Liu, Alessan- dra Marra, Paul Portner, and Frederik Van De Putte, edi- tors, Proceedings of DEON 2020/21, pages 414-426. Col- lege publications, 2021.","title":"Goal-directed decision procedures for input/output logics","authors":"Alexander Steen","year":"2021","venue":"Proceedings of DEON 2020/21","doi":null,"url":null,"internal_url":null},{"position":20,"raw":"[Stolpe, 2015] Audun Stolpe. A concept approach to in- put/output logic. J. Appl. Log., 13(3):239-258, 2015.","title":"A concept approach to input/output logic","authors":"Audun Stolpe","year":"2015","venue":"J. Appl. Log","doi":null,"url":null,"internal_url":null},{"position":21,"raw":"[Straßer et al., 2016] Christian Straßer, Mathieu Beirlaen, and Frederik Van De Putte. Adaptive logic characteriza- tions of input/output logic. Studia Logica, 104(5):869- 916, 2016.","title":"Christian Straßer, Mathieu Beirlaen, and Frederik Van De Putte. Adaptive logic characterizations of input/output logic","authors":"Straßer","year":"2016","venue":"Studia Logica","doi":null,"url":null,"internal_url":null},{"position":22,"raw":"[Sun and Robaldo, 2017] Xin Sun and Livio Robaldo. On the complexity of input/output logic. J. Appl. Log., 25:69- 88, 2017.","title":"On the complexity of input/output logic","authors":"Xin Sun, Livio Robaldo","year":"2017","venue":"J. Appl. Log","doi":null,"url":null,"internal_url":null},{"position":23,"raw":"[van Berkel and Straßer, 2022] Kees van Berkel and Chris- tian Straßer. Reasoning with and about norms in logi- cal argumentation. In Francesca Toni, Sylwia Polberg, Richard Booth, Martin Caminada, and Hiroyuki Kido, ed- itors, Proceedings of COMMA 2022, pages 332-343. IOS Press, 2022.","title":"Reasoning with and about norms in logical argumentation","authors":"Kees Van Berkel, Christian Straßer","year":"2022","venue":"Proceedings of COMMA 2022","doi":null,"url":null,"internal_url":null},{"position":24,"raw":"[van der Torre and Parent, 2013] Leendert van der Torre and Xavier Parent. Input/output logics. In Dov M. Gabbay, John F. Horty, Xavier Parent, Ron van der Meyden, and Leendert van der Torre, editors, Handbook of deontic logic and normative systems, pages 499-544, 2013.","title":"Leendert van der Torre and Xavier Parent. Input/output logics","authors":"Torre Van Der, Parent","year":"2013","venue":"Handbook of deontic logic and normative systems","doi":null,"url":null,"internal_url":null},{"position":25,"raw":"[von Wright, 1951] Georg Henrik von Wright. Deontic logic. Mind, 60(237):1-15, 1951.","title":"Georg Henrik von Wright","authors":"Wright Von","year":"1951","venue":"Mind","doi":null,"url":null,"internal_url":null}],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}