Algorithms for reasoning in a default logic instantiation of assumption-based argumentation

Tuomo Lehtonen; Johannes Peter Wallner; Matti Järvisalo

doi:10.3233/FAIA220156

Algorithms for reasoning in a default logic instantiation of assumption-based argumentation

Tuomo Lehtonen, Johannes Peter Wallner, Matti Järvisalo

Institute of Software Technology (7160)

Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

Abstract

Assumption-based argumentation (ABA) is one of the most-studied formalisms for structured argumentation. While ABA is a general formalism that can be instantiated with various different logics, most attention from the computational perspective has been focused on the logic programming (LP) instantiation of ABA. Going beyond the LP-instantiation, we develop an algorithmic approach to reasoning in the propositional default logic (DL) instantiation of ABA. Our approach is based on iterative applications of Boolean satisfiability (SAT) solvers as a natural choice for implementing derivations as entailment checks in DL. We instantiate the approach for deciding acceptance and for assumption-set enumeration in the DL-instantiation of ABA under several central argumentation semantics, and empirically evaluate an implementation of the approach.

Original language	English
Title of host publication	Computational Models of Argument - Proceedings of COMMA 2022
Editors	Francesca Toni, Sylwia Polberg, Richard Booth, Martin Caminada, Hiroyuki Kido
Pages	236-247
Number of pages	12
ISBN (Electronic)	9781643683065
DOIs	https://doi.org/10.3233/FAIA220156
Publication status	Published - 2022
Event	9th International Conference on Computational Models of Argument: COMMA 2022 - Cardiff, United Kingdom Duration: 14 Sept 2022 → 16 Sept 2022 https://comma22.cs.cf.ac.uk/

Publication series

Name	Frontiers in Artificial Intelligence and Applications
Publisher	IOS Press
Volume	353

Conference

Conference	9th International Conference on Computational Models of Argument
Abbreviated title	COMMA 2022
Country/Territory	United Kingdom
City	Cardiff
Period	14/09/22 → 16/09/22
Internet address	https://comma22.cs.cf.ac.uk/

Keywords

assumption-based argumentation
counterexample-guided abstraction refinement
decision procedures
default logic
SAT
structured argumentation

ASJC Scopus subject areas

Artificial Intelligence

Access to Document

10.3233/FAIA220156Licence: CC BY-NC 4.0

Cite this

Lehtonen, T., Wallner, J. P., & Järvisalo, M. (2022). Algorithms for reasoning in a default logic instantiation of assumption-based argumentation. In F. Toni, S. Polberg, R. Booth, M. Caminada, & H. Kido (Eds.), Computational Models of Argument - Proceedings of COMMA 2022 (pp. 236-247). (Frontiers in Artificial Intelligence and Applications; Vol. 353). https://doi.org/10.3233/FAIA220156

Algorithms for reasoning in a default logic instantiation of assumption-based argumentation. / Lehtonen, Tuomo; Wallner, Johannes Peter; Järvisalo, Matti.
Computational Models of Argument - Proceedings of COMMA 2022. ed. / Francesca Toni; Sylwia Polberg; Richard Booth; Martin Caminada; Hiroyuki Kido. 2022. p. 236-247 (Frontiers in Artificial Intelligence and Applications; Vol. 353).

Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

Lehtonen, T, Wallner, JP & Järvisalo, M 2022, Algorithms for reasoning in a default logic instantiation of assumption-based argumentation. in F Toni, S Polberg, R Booth, M Caminada & H Kido (eds), Computational Models of Argument - Proceedings of COMMA 2022. Frontiers in Artificial Intelligence and Applications, vol. 353, pp. 236-247, 9th International Conference on Computational Models of Argument, Cardiff, United Kingdom, 14/09/22. https://doi.org/10.3233/FAIA220156

Lehtonen, Tuomo ; Wallner, Johannes Peter ; Järvisalo, Matti. / Algorithms for reasoning in a default logic instantiation of assumption-based argumentation. Computational Models of Argument - Proceedings of COMMA 2022. editor / Francesca Toni ; Sylwia Polberg ; Richard Booth ; Martin Caminada ; Hiroyuki Kido. 2022. pp. 236-247 (Frontiers in Artificial Intelligence and Applications).

@inproceedings{a9c6c95676e14b92acbff5942c4657b8,

title = "Algorithms for reasoning in a default logic instantiation of assumption-based argumentation",

abstract = "Assumption-based argumentation (ABA) is one of the most-studied formalisms for structured argumentation. While ABA is a general formalism that can be instantiated with various different logics, most attention from the computational perspective has been focused on the logic programming (LP) instantiation of ABA. Going beyond the LP-instantiation, we develop an algorithmic approach to reasoning in the propositional default logic (DL) instantiation of ABA. Our approach is based on iterative applications of Boolean satisfiability (SAT) solvers as a natural choice for implementing derivations as entailment checks in DL. We instantiate the approach for deciding acceptance and for assumption-set enumeration in the DL-instantiation of ABA under several central argumentation semantics, and empirically evaluate an implementation of the approach.",

keywords = "assumption-based argumentation, counterexample-guided abstraction refinement, decision procedures, default logic, SAT, structured argumentation",

author = "Tuomo Lehtonen and Wallner, {Johannes Peter} and Matti J{\"a}rvisalo",

year = "2022",

doi = "10.3233/FAIA220156",

language = "English",

series = "Frontiers in Artificial Intelligence and Applications",

publisher = "IOS Press",

pages = "236--247",

editor = "Francesca Toni and Sylwia Polberg and Richard Booth and Martin Caminada and Hiroyuki Kido",

booktitle = "Computational Models of Argument - Proceedings of COMMA 2022",

note = "9th International Conference on Computational Models of Argument : COMMA 2022, COMMA 2022 ; Conference date: 14-09-2022 Through 16-09-2022",

url = "https://comma22.cs.cf.ac.uk/",

}

TY - GEN

T1 - Algorithms for reasoning in a default logic instantiation of assumption-based argumentation

AU - Lehtonen, Tuomo

AU - Wallner, Johannes Peter

AU - Järvisalo, Matti

PY - 2022

Y1 - 2022

N2 - Assumption-based argumentation (ABA) is one of the most-studied formalisms for structured argumentation. While ABA is a general formalism that can be instantiated with various different logics, most attention from the computational perspective has been focused on the logic programming (LP) instantiation of ABA. Going beyond the LP-instantiation, we develop an algorithmic approach to reasoning in the propositional default logic (DL) instantiation of ABA. Our approach is based on iterative applications of Boolean satisfiability (SAT) solvers as a natural choice for implementing derivations as entailment checks in DL. We instantiate the approach for deciding acceptance and for assumption-set enumeration in the DL-instantiation of ABA under several central argumentation semantics, and empirically evaluate an implementation of the approach.

AB - Assumption-based argumentation (ABA) is one of the most-studied formalisms for structured argumentation. While ABA is a general formalism that can be instantiated with various different logics, most attention from the computational perspective has been focused on the logic programming (LP) instantiation of ABA. Going beyond the LP-instantiation, we develop an algorithmic approach to reasoning in the propositional default logic (DL) instantiation of ABA. Our approach is based on iterative applications of Boolean satisfiability (SAT) solvers as a natural choice for implementing derivations as entailment checks in DL. We instantiate the approach for deciding acceptance and for assumption-set enumeration in the DL-instantiation of ABA under several central argumentation semantics, and empirically evaluate an implementation of the approach.

KW - assumption-based argumentation

KW - counterexample-guided abstraction refinement

KW - decision procedures

KW - default logic

KW - SAT

KW - structured argumentation

UR - http://www.scopus.com/inward/record.url?scp=85139473116&partnerID=8YFLogxK

U2 - 10.3233/FAIA220156

DO - 10.3233/FAIA220156

M3 - Conference paper

T3 - Frontiers in Artificial Intelligence and Applications

SP - 236

EP - 247

BT - Computational Models of Argument - Proceedings of COMMA 2022

A2 - Toni, Francesca

A2 - Polberg, Sylwia

A2 - Booth, Richard

A2 - Caminada, Martin

A2 - Kido, Hiroyuki

T2 - 9th International Conference on Computational Models of Argument

Y2 - 14 September 2022 through 16 September 2022

ER -

Algorithms for reasoning in a default logic instantiation of assumption-based argumentation

Abstract

Publication series

Conference

Keywords

ASJC Scopus subject areas

Access to Document

Other files and links

FWF - Neue KI - A Novel Computational Workflow for Argumentation in AI

Cite this

Algorithms for reasoning in a default logic instantiation of assumption-based argumentation

Abstract

Publication series

Conference

Keywords

ASJC Scopus subject areas

Access to Document

Other files and links

Projects

FWF - Neue KI - A Novel Computational Workflow for Argumentation in AI

Cite this