A Study of Unrestricted Abstract Argumentation Frameworks

A Study of Unrestricted Abstract Argumentation Frameworks

Ringo Baumann, Christof Spanring

Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence
Main track. Pages 807-813. https://doi.org/10.24963/ijcai.2017/112

Research in abstract argumentation typically per-tains to finite argumentation frameworks (AFs). Ac-tual or potential infinite AFs frequently occur if theyare used for the purpose of nonmonotonic entail-ment, so-called instantiation-based argumentation,or if they are involved as modeling tool for dia-logues, n-person-games or action sequences. Apartfrom these practical cases a profound analysis yieldsa better understanding of how the nonmonotonic the-ory of abstract argumentation works in general. Inthis paper we study a bunch of abstract propertieslike SCC-recursiveness, expressiveness or intertrans-latability for unrestricted AFs.
Keywords:
Knowledge Representation, Reasoning, and Logic: Non-monotonic Reasoning
Knowledge Representation, Reasoning, and Logic: Computational models of Argument