Annotated Sequent Calculi for Paraconsistent Reasoning and Their Relations to Logical Argumentation
Abstract
We introduce annotated sequent calculi, which are extensions of standard sequent calculi, where sequents are combined with annotations that represent their derivation statuses. Unlike in ordinary calculi, sequents that are derived in annotated calculi may still be retracted in the presence of conflicting sequents, thus inferences are made under stricter conditions. Conflicts in the resulting systems are handled like in adaptive logics and argumentation theory. The outcome is a robust family of proof systems for non-monotonic reasoning with inconsistent information, where revision considerations are fully integrated into the object level of the proofs. These systems are shown to be strongly connected to logical argumentation.
Cite
Text
Arieli et al. "Annotated Sequent Calculi for Paraconsistent Reasoning and Their Relations to Logical Argumentation." International Joint Conference on Artificial Intelligence, 2022. doi:10.24963/IJCAI.2022/351Markdown
[Arieli et al. "Annotated Sequent Calculi for Paraconsistent Reasoning and Their Relations to Logical Argumentation." International Joint Conference on Artificial Intelligence, 2022.](https://mlanthology.org/ijcai/2022/arieli2022ijcai-annotated/) doi:10.24963/IJCAI.2022/351BibTeX
@inproceedings{arieli2022ijcai-annotated,
title = {{Annotated Sequent Calculi for Paraconsistent Reasoning and Their Relations to Logical Argumentation}},
author = {Arieli, Ofer and van Berkel, Kees and Straßer, Christian},
booktitle = {International Joint Conference on Artificial Intelligence},
year = {2022},
pages = {2532-2538},
doi = {10.24963/IJCAI.2022/351},
url = {https://mlanthology.org/ijcai/2022/arieli2022ijcai-annotated/}
}