Ciabattoni, A., & Rozplokhas, D. (2024). Streamlining Input/Output Logics with Sequent Calculi (Extended Abstract). In K. Larson (Ed.), Proceedings of the Thirty-ThirdInternational Joint Conference on Artificial Intelligence (pp. 8389–8393). https://doi.org/10.24963/ijcai.2024/928
Proceedings of the Thirty-ThirdInternational Joint Conference on Artificial Intelligence
-
ISBN:
978-1-956792-04-1
-
Date (published):
2024
-
Event name:
33rd International Joint Conference on Artificial Intelligence (IJCAI 2024)
en
Event date:
3-Aug-2024 - 9-Aug-2024
-
Event place:
Jeju Island, Korea (the Republic of)
-
Number of Pages:
5
-
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 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.
en
Project title:
Training and Guiding AI Agents with Ethical Rules: ICT22-023 (WWTF Wiener Wissenschafts-, Forschu und Technologiefonds)
