We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:

Download:

Current browse context:

cs.AI

Change to browse by:

References & Citations

DBLP - CS Bibliography

Bookmark

(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Computer Science > Artificial Intelligence

Title: Harnessing Incremental Answer Set Solving for Reasoning in Assumption-Based Argumentation

Abstract: Assumption-based argumentation (ABA) is a central structured argumentation formalism. As shown recently, answer set programming (ASP) enables efficiently solving NP-hard reasoning tasks of ABA in practice, in particular in the commonly studied logic programming fragment of ABA. In this work, we harness recent advances in incremental ASP solving for developing effective algorithms for reasoning tasks in the logic programming fragment of ABA that are presumably hard for the second level of the polynomial hierarchy, including skeptical reasoning under preferred semantics as well as preferential reasoning. In particular, we develop non-trivial counterexample-guided abstraction refinement procedures based on incremental ASP solving for these tasks. We also show empirically that the procedures are significantly more effective than previously proposed algorithms for the tasks.
This paper is under consideration for acceptance in TPLP.
Comments: Paper presented at the 37th International Conference on Logic Programming (ICLP 2021), 16 pages
Subjects: Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO)
ACM classes: F.4.1
Cite as: arXiv:2108.04192 [cs.AI]
  (or arXiv:2108.04192v1 [cs.AI] for this version)

Submission history

From: Tuomo Lehtonen [view email]
[v1] Mon, 9 Aug 2021 17:34:05 GMT (89kb,D)

Link back to: arXiv, form interface, contact.