Record link: 
http://hdl.handle.net/20.500.12708/201809
-
Title: 
Streamlining Input/Output Logics with Sequent Calculi (Extended Abstract)
en
Citation: 
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
-
Publisher DOI: 
10.24963/ijcai.2024/928
-
Publication Type: 
Inproceedings - Full-Paper Contribution
en
Language: 
English
-
Authors: 
Ciabattoni, Agata 
Rozplokhas, Dmitry 
-
Organisational Unit: 
E192-05 - Forschungsbereich Theory and Logic 
-
Published in: 
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) 
-
Research Areas: 
Computer Science Foundations: 100%
-
Science Branch: 
1020 - Informatik: 80%
1010 - Mathematik: 20%
-
Appears in Collections:
Conference Paper

Show full item record

Google ScholarTM

Check