Ciabattoni, A., & Rozplokhas, D. (2023). Streamlining Input/Output Logics with Sequent Calculi. In P. Marquis, T. C. Son, & G. Kern-Isberner (Eds.), Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning (pp. 146–155). IJCAI Organization. https://doi.org/10.24963/kr.2023/15
Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning
-
ISBN:
978-1-956792-02-7
-
Date (published):
12-Nov-2023
-
Event name:
20th International Conference on Principles of Knowledge Representation and Reasoning, KR 2023
en
Event date:
2-Sep-2023 - 8-Sep-2023
-
Event place:
Rhodos, Greece
-
Number of Pages:
10
-
Publisher:
IJCAI Organization
-
Peer reviewed:
Yes
-
Keywords:
input/output logics; causal production relations; sequent calculi
en
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 via proof-search-oriented sequent calculi. Our calculi establish a natural syntactic link between the derivability in these logics and in the original I/O logics. As a consequence of our results, 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.
en
Project title:
Training and Guiding AI Agents with Ethical Rules: ICT22-023 (WWTF Wiener Wissenschafts-, Forschu und Technologiefonds)
