Featured Argumentation Framework: Semantics and Complexity

Alfano, Gianvincenzo; Greco, Sergio; Parisi, Francesco; Trubitsyna, Irina

doi:10.24963/ijcai.2025/480

Featured Argumentation Framework: Semantics and Complexity

Gianvincenzo Alfano, Sergio Greco, Francesco Parisi, Irina Trubitsyna

Download BibTeX Cite

Proceedings of the Thirty-Fourth International Joint Conference on Artificial Intelligence. Main Track. Pages 4311-4320.

https://doi.org/10.24963/ijcai.2025/480

Keywords

Knowledge Representation and Reasoning: KRR: Argumentation

Abstract

Dung's Argumentation Framework (AF) has been extended in several directions to make knowledge representation and reasoning tasks more intuitive and/or expressive. We present a novel extension of AF called Featured AF (FAF), where each argument has associated a set of features expressed by means of unary and binary facts.

In such a context, a query is expressed by means of a conjunctive relational calculus formula which is evaluated over the extensions of the FAF.

Then, this framework is further expanded into the so-called Extended FAF (EFAF), where a first-order logic formula (FOL) is used for reasoning over `feasible' subframeworks that satisfy the FOL formula and minimally differ from the original framework. We investigate the computational complexity of verification and acceptance problems under several semantics and show that incomplete AF (iAF) frameworks, including correlated iAF and constrained iAF, are special cases of EFAF.

Gianvincenzo Alfano, Sergio Greco, Francesco Parisi, and Irina Trubitsyna. 2025. Featured Argumentation Framework: Semantics and Complexity. In Proceedings of the Thirty-Fourth International Joint Conference on Artificial Intelligence, IJCAI-25. IJCAI, 4311–4320. https://doi.org/10.24963/ijcai.2025/480

@inproceedings{ijcai2025p480,
  title     = {Featured Argumentation Framework: Semantics and Complexity},
  author    = {Alfano, Gianvincenzo and Greco, Sergio and Parisi, Francesco and Trubitsyna, Irina},
  booktitle = {Proceedings of the Thirty-Fourth International Joint Conference on
               Artificial Intelligence, {IJCAI-25}},
  publisher = {International Joint Conferences on Artificial Intelligence Organization},
  editor    = {James Kwok},
  pages     = {4311--4320},
  year      = {2025},
  month     = {8},
  note      = {Main Track},
  doi       = {10.24963/ijcai.2025/480},
  url       = {https://doi.org/10.24963/ijcai.2025/480},
}

TY  - CPAPER
TI  - Featured Argumentation Framework: Semantics and Complexity
AU  - Alfano, Gianvincenzo
AU  - Greco, Sergio
AU  - Parisi, Francesco
AU  - Trubitsyna, Irina
T2  - Proceedings of the Thirty-Fourth International Joint Conference on Artificial Intelligence, IJCAI-25
PB  - International Joint Conferences on Artificial Intelligence Organization
PY  - 2025
SP  - 4311
EP  - 4320
DO  - 10.24963/ijcai.2025/480
UR  - https://doi.org/10.24963/ijcai.2025/480
ER  -