Streamlining Input/Output Logics with Sequent Calculi (Extended Abstract)

Agata Ciabattoni; Dmitry Rozplokhas

IJCAI 2024poster0 citations

Streamlining Input/Output Logics with Sequent Calculi (Extended Abstract)

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.

Knowledge Representation and Reasoning: KRR: CausalityKnowledge Representation and Reasoning: KRR: Computational complexity of reasoning

BibTeX

@inproceedings{ijcai2024p928,
  title     = {Streamlining Input/Output Logics with Sequent Calculi (Extended Abstract)},
  author    = {Ciabattoni, Agata and Rozplokhas, Dmitry},
  booktitle = {Proceedings of the Thirty-Third International Joint Conference on
               Artificial Intelligence, {IJCAI-24}},
  publisher = {International Joint Conferences on Artificial Intelligence Organization},
  editor    = {Kate Larson},
  pages     = {8389--8393},
  year      = {2024},
  month     = {8},
  note      = {Sister Conferences Best Papers},
  doi       = {10.24963/ijcai.2024/928},
  url       = {https://doi.org/10.24963/ijcai.2024/928},
}