A Formalisation of Abstract Argumentation in Higher-Order Logic
This work provides a formal tool for researchers in computational argumentation, but it is incremental as it builds on existing logic-based methods.
The authors tackled the problem of representing abstract argumentation frameworks by encoding them into classical higher-order logic, enabling computer-assisted assessment and analysis of meta-theoretical properties and extensions.
We present an approach for representing abstract argumentation frameworks based on an encoding into classical higher-order logic. This provides a uniform framework for computer-assisted assessment of abstract argumentation frameworks using interactive and automated reasoning tools. This enables the formal analysis and verification of meta-theoretical properties as well as the flexible generation of extensions and labellings with respect to well-known argumentation semantics.