<div class="csl-bib-body">
<div class="csl-entry">Arieli, O., van Berkel, K., & Straßer, C. (2022). Annotated Sequent Calculi for Paraconsistent Reasoning and Their Relations to Logical Argumentation. In L. D. Raedt (Ed.), <i>Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence (IJCAI-22)</i> (pp. 2532–2538). International Joint Conferences on Artificial Intelligence. https://doi.org/10.24963/ijcai.2022/351</div>
</div>
-
dc.identifier.uri
http://hdl.handle.net/20.500.12708/136170
-
dc.description.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.
en
dc.language.iso
en
-
dc.rights.uri
http://rightsstatements.org/vocab/InC/1.0/
-
dc.subject
Argumentation
en
dc.subject
Non-monotonic Reasoning
en
dc.subject
Common-Sense Reasoning
en
dc.title
Annotated Sequent Calculi for Paraconsistent Reasoning and Their Relations to Logical Argumentation