A common feature of non-monotonic logics is that the classical notion of equivalence does not preserve the intended meaning in light of additional information. Consequently, the term strong equivalence was coined in the literature and thoroughly investigated. In the present paper, the knowledge representation formalism under consideration are claim-augmented argumentation frameworks (CAFs) which provide a formal basis to analyze conclusion-oriented problems in argumentation by adapting a claim-focused perspective. CAFs extend Dung AFs by associating a claim to each argument representing its conclusion. In this paper, we investigate both ordinary and strong equivalence in CAFs. Thereby, we take the fact into account that one might either be interested in the actual arguments or their claims only. The former point of view naturally yields an extension of strong equivalence for AFs to the claim-based setting while the latter gives rise to a novel equivalence notion which is genuine for CAFs. We tailor, examine and compare these notions and obtain a comprehensive study of this matter for CAFs. We conclude by investigating the computational complexity of naturally arising decision problems.
Association for the Advancement of Artificial Intelligence (AAAI)
volume
36
Tags
Cite this publication
More citation styles
- please select -
%0 Journal Article
%1 Baumann2022-nn
%A Baumann, Ringo
%A Rapberger, Anna
%A Ulbricht, Markus
%D 2022
%I Association for the Advancement of Artificial Intelligence (AAAI)
%J Proc. Conf. AAAI Artif. Intell.
%K
%N 5
%P 5479--5486
%T Equivalence in argumentation frameworks with a claim-centric view -- classical results with novel ingredients
%V 36
%X A common feature of non-monotonic logics is that the classical notion of equivalence does not preserve the intended meaning in light of additional information. Consequently, the term strong equivalence was coined in the literature and thoroughly investigated. In the present paper, the knowledge representation formalism under consideration are claim-augmented argumentation frameworks (CAFs) which provide a formal basis to analyze conclusion-oriented problems in argumentation by adapting a claim-focused perspective. CAFs extend Dung AFs by associating a claim to each argument representing its conclusion. In this paper, we investigate both ordinary and strong equivalence in CAFs. Thereby, we take the fact into account that one might either be interested in the actual arguments or their claims only. The former point of view naturally yields an extension of strong equivalence for AFs to the claim-based setting while the latter gives rise to a novel equivalence notion which is genuine for CAFs. We tailor, examine and compare these notions and obtain a comprehensive study of this matter for CAFs. We conclude by investigating the computational complexity of naturally arising decision problems.
@article{Baumann2022-nn,
abstract = {A common feature of non-monotonic logics is that the classical notion of equivalence does not preserve the intended meaning in light of additional information. Consequently, the term strong equivalence was coined in the literature and thoroughly investigated. In the present paper, the knowledge representation formalism under consideration are claim-augmented argumentation frameworks (CAFs) which provide a formal basis to analyze conclusion-oriented problems in argumentation by adapting a claim-focused perspective. CAFs extend Dung AFs by associating a claim to each argument representing its conclusion. In this paper, we investigate both ordinary and strong equivalence in CAFs. Thereby, we take the fact into account that one might either be interested in the actual arguments or their claims only. The former point of view naturally yields an extension of strong equivalence for AFs to the claim-based setting while the latter gives rise to a novel equivalence notion which is genuine for CAFs. We tailor, examine and compare these notions and obtain a comprehensive study of this matter for CAFs. We conclude by investigating the computational complexity of naturally arising decision problems.},
added-at = {2024-09-10T11:56:37.000+0200},
author = {Baumann, Ringo and Rapberger, Anna and Ulbricht, Markus},
biburl = {https://puma.scadsai.uni-leipzig.de/bibtex/228a5ff013b772b7732dafa3f991ec883/scadsfct},
interhash = {36f442876a025496962838efcde57338},
intrahash = {28a5ff013b772b7732dafa3f991ec883},
journal = {Proc. Conf. AAAI Artif. Intell.},
keywords = {},
month = jun,
number = 5,
pages = {5479--5486},
publisher = {Association for the Advancement of Artificial Intelligence (AAAI)},
timestamp = {2024-09-10T15:15:57.000+0200},
title = {Equivalence in argumentation frameworks with a claim-centric view -- classical results with novel ingredients},
volume = 36,
year = 2022
}