A Versatile Framework for Formula-Based Enforcement and Synthesis in Abstract Argumentation

Niskanen, Andreas; Mailly, Jean-Guy; Dimopoulos, Yannis; Moraitis, Pavlos

doi:10.24963/ijcai.2026/442

A Versatile Framework for Formula-Based Enforcement and Synthesis in Abstract Argumentation

Andreas Niskanen, Jean-Guy Mailly, Yannis Dimopoulos, Pavlos Moraitis

Download BibTeX Cite

Proceedings of the Thirty-Fifth International Joint Conference on Artificial Intelligence. Main Track. Pages 3970-3978.

https://doi.org/10.24963/ijcai.2026/442

Keywords

Knowledge Representation and Reasoning: Argumentation

Abstract

Argumentation dynamics provides techniques for revising argumentation theories in real-world domains (e.g., an autonomous medical diagnostic agent). Within this context, enforcement in abstract argumentation has become a prominent topic. Enforcement aims to modify an argumentation framework to satisfy given acceptability conditions while minimizing change from the original framework. Motivated by the need to address both syntactic and semantic notions of change, we propose formula-based enforcement, a generic framework that strictly generalizes existing approaches, by additionally covering cases they cannot handle, including semantic change. We analyze its complexity under central argumentation semantics, obtaining results from NP-completeness to completeness for the third level of the polynomial hierarchy. For second-level complete variants, we present an exact procedure based on MaxSAT solving and counterexample-guided abstraction refinement (CEGAR), and evaluate it empirically.

Andreas Niskanen, Jean-Guy Mailly, Yannis Dimopoulos, and Pavlos Moraitis. 2026. A Versatile Framework for Formula-Based Enforcement and Synthesis in Abstract Argumentation. In Proceedings of the Thirty-Fifth International Joint Conference on Artificial Intelligence, IJCAI-26. IJCAI, 3970–3978. https://doi.org/10.24963/ijcai.2026/442

@inproceedings{ijcai2026p442,
  title     = {A Versatile Framework for Formula-Based Enforcement and Synthesis in Abstract Argumentation},
  author    = {Niskanen, Andreas and Mailly, Jean-Guy and Dimopoulos, Yannis and Moraitis, Pavlos},
  booktitle = {Proceedings of the Thirty-Fifth International Joint Conference on
               Artificial Intelligence, {IJCAI-26}},
  publisher = {International Joint Conferences on Artificial Intelligence Organization},
  editor    = {Diego Calvanese},
  pages     = {3970--3978},
  year      = {2026},
  month     = {8},
  note      = {Main Track},
  doi       = {10.24963/ijcai.2026/442},
  url       = {https://doi.org/10.24963/ijcai.2026/442},
}

TY  - CPAPER
TI  - A Versatile Framework for Formula-Based Enforcement and Synthesis in Abstract Argumentation
AU  - Niskanen, Andreas
AU  - Mailly, Jean-Guy
AU  - Dimopoulos, Yannis
AU  - Moraitis, Pavlos
T2  - Proceedings of the Thirty-Fifth International Joint Conference on Artificial Intelligence, IJCAI-26
PB  - International Joint Conferences on Artificial Intelligence Organization
PY  - 2026
SP  - 3970
EP  - 3978
DO  - 10.24963/ijcai.2026/442
UR  - https://doi.org/10.24963/ijcai.2026/442
ER  -