Quantitative Reasoning and Structural Complexity for Claim-Centric Argumentation

J.K. Fichte, M. Hecher, Y. Mahmood, A. Meier, in: Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, International Joint Conferences on Artificial Intelligence Organization, 2023.

Download
No fulltext has been uploaded.
Conference Paper | Published | English
Author
Fichte, Johannes K.; Hecher, Markus; Mahmood, YasirLibreCat; Meier, Arne
Department
Abstract
<jats:p>Argumentation is a well-established formalism for nonmonotonic reasoning and a vibrant area of research in AI. Claim-augmented argumentation frameworks (CAFs) have been introduced to deploy a conclusion-oriented perspective. CAFs expand argumentation frameworks by an additional step which involves retaining claims for an accepted set of arguments. We introduce a novel concept of a justification status for claims, a quantitative measure of extensions supporting a particular claim. The well-studied problems of credulous and skeptical reasoning can then be seen as simply the two endpoints of the spectrum when considered as a justification level of a claim. Furthermore, we explore the parameterized complexity of various reasoning problems for CAFs, including the quantitative reasoning for claim assertions. We begin by presenting a suitable graph representation that includes arguments and their associated claims. Our analysis includes the parameter treewidth, and we present decomposition-guided reductions between reasoning problems in CAF and the validity problem for QBF.</jats:p>
Publishing Year
Proceedings Title
Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence
LibreCat-ID

Cite this

Fichte JK, Hecher M, Mahmood Y, Meier A. Quantitative Reasoning and Structural Complexity for Claim-Centric Argumentation. In: Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence. International Joint Conferences on Artificial Intelligence Organization; 2023. doi:10.24963/ijcai.2023/358
Fichte, J. K., Hecher, M., Mahmood, Y., & Meier, A. (2023). Quantitative Reasoning and Structural Complexity for Claim-Centric Argumentation. Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence. https://doi.org/10.24963/ijcai.2023/358
@inproceedings{Fichte_Hecher_Mahmood_Meier_2023, title={Quantitative Reasoning and Structural Complexity for Claim-Centric Argumentation}, DOI={10.24963/ijcai.2023/358}, booktitle={Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence}, publisher={International Joint Conferences on Artificial Intelligence Organization}, author={Fichte, Johannes K. and Hecher, Markus and Mahmood, Yasir and Meier, Arne}, year={2023} }
Fichte, Johannes K., Markus Hecher, Yasir Mahmood, and Arne Meier. “Quantitative Reasoning and Structural Complexity for Claim-Centric Argumentation.” In Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence. International Joint Conferences on Artificial Intelligence Organization, 2023. https://doi.org/10.24963/ijcai.2023/358.
J. K. Fichte, M. Hecher, Y. Mahmood, and A. Meier, “Quantitative Reasoning and Structural Complexity for Claim-Centric Argumentation,” 2023, doi: 10.24963/ijcai.2023/358.
Fichte, Johannes K., et al. “Quantitative Reasoning and Structural Complexity for Claim-Centric Argumentation.” Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, International Joint Conferences on Artificial Intelligence Organization, 2023, doi:10.24963/ijcai.2023/358.

Export

Marked Publications

Open Data LibreCat

Search this title in

Google Scholar