Facets in Argumentation: A Formal Approach to Argument Significance

Fichte, Johannes K.; Fröhlich, Nicolas; Hecher, Markus; Lagerkvist, Victor; Mahmood, Yasir; Meier, Arne; Persson, Jonathan

doi:10.24963/ijcai.2025/500

Facets in Argumentation: A Formal Approach to Argument Significance

Johannes K. Fichte, Nicolas Fröhlich, Markus Hecher, Victor Lagerkvist, Yasir Mahmood, Arne Meier, Jonathan Persson

Download BibTeX Cite

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

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

Keywords

Knowledge Representation and Reasoning: KRR: Argumentation
Knowledge Representation and Reasoning: KRR: Computational complexity of reasoning

Abstract

Argumentation is a central subarea of Artificial Intelligence (AI) for modeling and reasoning about arguments.

The semantics of abstract argumentation frameworks (AFs) is given by sets of arguments (extensions) and conditions on the relationship between arguments, such as stable or admissible.

Today's solvers implement tasks such as finding extensions, deciding credulously or skeptically acceptance, counting, or enumerating extensions.

While these tasks are well charted, the area between decision and counting/enumeration and fine-grained reasoning requires expensive reasoning so far.

We introduce a novel concept (facets) for reasoning between decision and enumeration.

Facets are arguments that belong to some extensions (credulous) but not to all extensions (skeptical).

They are most natural when a user aims to navigate, filter, or comprehend specific arguments, according to their needs.

We study the complexity and show that tasks involving facets are much easier than counting extensions.

Finally, we provide an implementation, and conduct experiments to demonstrate feasibility.

Johannes K. Fichte, Nicolas Fröhlich, Markus Hecher, Victor Lagerkvist, Yasir Mahmood, Arne Meier, and Jonathan Persson. 2025. Facets in Argumentation: A Formal Approach to Argument Significance. In Proceedings of the Thirty-Fourth International Joint Conference on Artificial Intelligence, IJCAI-25. IJCAI, 4491–4499. https://doi.org/10.24963/ijcai.2025/500

@inproceedings{ijcai2025p500,
  title     = {Facets in Argumentation: A Formal Approach to Argument Significance},
  author    = {Fichte, Johannes K. and Fröhlich, Nicolas and Hecher, Markus and Lagerkvist, Victor and Mahmood, Yasir and Meier, Arne and Persson, Jonathan},
  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     = {4491--4499},
  year      = {2025},
  month     = {8},
  note      = {Main Track},
  doi       = {10.24963/ijcai.2025/500},
  url       = {https://doi.org/10.24963/ijcai.2025/500},
}

TY  - CPAPER
TI  - Facets in Argumentation: A Formal Approach to Argument Significance
AU  - Fichte, Johannes K.
AU  - Fröhlich, Nicolas
AU  - Hecher, Markus
AU  - Lagerkvist, Victor
AU  - Mahmood, Yasir
AU  - Meier, Arne
AU  - Persson, Jonathan
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  - 4491
EP  - 4499
DO  - 10.24963/ijcai.2025/500
UR  - https://doi.org/10.24963/ijcai.2025/500
ER  -