IJCAI 2024poster0 citations
Semantics for Non-Flat Assumption-Based Argumentation, Revisited
Abstract
Assumption-based argumentation (ABA) is an argumentative formalism that allows for reasoning on the basis of defeasible assumptions and strict rules. Standard semantics for this formalism sometimes give rise to problematic behaviour in the presence of rules with assumptions in their heads. In this paper, we introduce a six-valued labelling semantics that overcomes these shortcomings while preserving all the usual properties of the standard Dung-style three-valued semantics for ABA frameworks, including existence of the complete semantics, uniqueness of the grounded semantics and preservation of the computational complexity of all main reasoning processes.
Knowledge Representation and Reasoning: KRR: ArgumentationKnowledge Representation and Reasoning: KRR: Non-monotonic reasoning
BibTeX
@inproceedings{ijcai2024p378,
title = {Semantics for Non-Flat Assumption-Based Argumentation, Revisited},
author = {Heyninck, Jesse and Arieli, Ofer},
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 = {3413--3420},
year = {2024},
month = {8},
note = {Main Track},
doi = {10.24963/ijcai.2024/378},
url = {https://doi.org/10.24963/ijcai.2024/378},
}