Abstract
This paper proposes a canonical ordering of arguments within abstract argumentation labellings and two new types of efficient representations of these labellings for use in applications involving the computation of argumentation semantics. The space requirements of the representations are analysed, benchmarked on a class of hard enumeration problems taken from the International Competition on Computational Models of Argumentation (ICCMA), and compared for efficiency. We found that they both offer significant reductions of the memory representation requirements of large labellings, sometimes of up to 75%. We argue that the new way of looking at labellings provided by one of the representations, i.e., by considering repetitions of segment assignments within labellings, paves the way for investigations of new applications in argumentation theory.
Original language | English |
---|---|
Title of host publication | The 38th ACM/SIGAPP Symposium on Applied Computing (SAC’23) |
Place of Publication | New York |
Number of pages | 8 |
DOIs | |
Publication status | Accepted/In press - 22 Dec 2022 |
Keywords
- argumentation theory
- computation models of argumentation
- representation of labellings