liu.seSearch for publications in DiVA
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • oxford
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Quantitative Reasoning and Structural Complexity for Claim-Centric Argumentation
Linköping University, Department of Computer and Information Science, Software and Systems. Linköping University, Faculty of Science & Engineering.ORCID iD: 0000-0002-8681-7470
Massachusetts Institute of Technology, USA.ORCID iD: 0000-0003-0131-6771
DICE group, Paderborn University, Germany.ORCID iD: 0000-0002-5651-5391
Institut f¨ur Theoretische Informatik, Leibniz Universit¨at Hannover, Germany.ORCID iD: 0000-0002-8061-5376
2023 (English)In: Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence (IJCAI-23) / [ed] Edith Elkind, IJCAI-INT JOINT CONF ARTIF INTELL , 2023, p. 3212-3220Conference paper, Published paper (Refereed)
Abstract [en]

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 justifcation status for claims, a quantitative measure of extensions supporting a particular claim. The wellstudied problems of credulous and skeptical reasoning can then be seen as simply the two endpoints of the spectrum when considered as a justifcation 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 decompositionguided reductions between reasoning problems in CAF and the validity problem for QBF.

Place, publisher, year, edition, pages
IJCAI-INT JOINT CONF ARTIF INTELL , 2023. p. 3212-3220
Keywords [en]
Knowledge Representation and Reasoning: KRR: Argumentation, Knowledge Representation and Reasoning: KRR: Computational complexity of reasoning
National Category
Computer Sciences
Identifiers
URN: urn:nbn:se:liu:diva-198463DOI: 10.24963/ijcai.2023/358ISI: 001202344203034ISBN: 9781956792034 (print)OAI: oai:DiVA.org:liu-198463DiVA, id: diva2:1804753
Conference
IJCAI-23, Macao, S.A.R, 19-25 August, 2023
Funder
ELLIIT - The Linköping‐Lund Initiative on IT and Mobile Communications
Note

Funding Agencies|ELLIIT - Swedish government; Austrian Science Fund (FWF) [J4656, P32830, Y1329]; Society for Research Funding Lower Austria (GFF) [ExzF-0004]; Vienna Science and Technology Fund (WWTF) [ICT19-060, ICT19-065]; European Union's Horizon Europe research and innovation programme within project ENEXA [101070305]; German Research Organisation (DFG) [ME4279/3-1 (511769688)]

Available from: 2023-10-13 Created: 2023-10-13 Last updated: 2024-08-27Bibliographically approved

Open Access in DiVA

No full text in DiVA

Other links

Publisher's full text

Authority records

Fichte, Johannes Klaus

Search in DiVA

By author/editor
Fichte, Johannes KlausHecher, MarkusYasir, MahmoodMeier, Arne
By organisation
Software and SystemsFaculty of Science & Engineering
Computer Sciences

Search outside of DiVA

GoogleGoogle Scholar

doi
isbn
urn-nbn

Altmetric score

doi
isbn
urn-nbn
Total: 102 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • oxford
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf