Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • 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
Parameterized Complexity of Logic-based Argumentation in Schaefer's Framework
Leibniz Universität Hannover, Institut für Theoretische Informatik, Appelstrasse 9A, Hannover, 30167, Germany.
Leibniz Universität Hannover, Institut für Theoretische Informatik, Appelstrasse 9A, Hannover, 30167, Germany.
Jönköping University, School of Engineering, JTH, Department of Computer Science and Informatics.
2023 (English)In: ACM Transactions on Computational Logic, ISSN 1529-3785, E-ISSN 1557-945X, Vol. 24, no 3, article id 26Article in journal (Refereed) Published
Abstract [en]

Argumentation is a well-established formalism dealing with conflicting information by generating and comparing arguments. It has been playing a major role in AI for decades. In logic-based argumentation, we explore the internal structure of an argument. Informally, a set of formulas is the support for a given claim if it is consistent, subset-minimal, and implies the claim. In such a case, the pair of the support and the claim together is called an argument. In this article, we study the propositional variants of the following three computational tasks studied in argumentation: ARG (exists a support for a given claim with respect to a given set of formulas), ARG-Check (is a given set a support for a given claim), and ARG-Rel (similarly as ARG plus requiring an additionally given formula to be contained in the support). ARG-Check is complete for the complexity class DP, and the other two problems are known to be complete for the second level of the polynomial hierarchy (Creignou et al. 2014 and Parson et al., 2003) and, accordingly, are highly intractable. Analyzing the reason for this intractability, we perform a two-dimensional classification: First, we consider all possible propositional fragments of the problem within Schaefer's framework (STOC 1978) and then study different parameterizations for each of the fragments. We identify a list of reasonable structural parameters (size of the claim, support, knowledge base) that are connected to the aforementioned decision problems. Eventually, we thoroughly draw a fine border of parameterized intractability for each of the problems showing where the problems are fixed-parameter tractable and when this exactly stops. Surprisingly, several cases are of very high intractability (para-NP and beyond).

Place, publisher, year, edition, pages
Association for Computing Machinery (ACM), 2023. Vol. 24, no 3, article id 26
Keywords [en]
logic-based argumentation, Parameterized complexity, Schaefer's framework, Computer circuits, Knowledge based systems, Complexity class, Computational task, Consistent subset, Internal structure, Logic-based argumentations, Polynomial hierarchies, Schaefe framework, Second level, Two-dimensional, Parameterization
National Category
Computer Sciences
Identifiers
URN: urn:nbn:se:hj:diva-62183DOI: 10.1145/3582499ISI: 001020345500008Scopus ID: 2-s2.0-85164301929Local ID: GOA;intsam;897360OAI: oai:DiVA.org:hj-62183DiVA, id: diva2:1788967
Funder
German Research Foundation (DFG), ME4279/ 1-2Available from: 2023-08-17 Created: 2023-08-17 Last updated: 2023-08-25Bibliographically approved

Open Access in DiVA

No full text in DiVA

Other links

Publisher's full textScopus

Authority records

Schmidt, Johannes

Search in DiVA

By author/editor
Schmidt, Johannes
By organisation
JTH, Department of Computer Science and Informatics
In the same journal
ACM Transactions on Computational Logic
Computer Sciences

Search outside of DiVA

GoogleGoogle Scholar

doi
urn-nbn

Altmetric score

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

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • 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