A Formalisation of Abstract Argumentation in Higher-Order Logic
Artificial Intelligence
2021-10-19 v1 Logic in Computer Science
Abstract
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.
Keywords
Cite
@article{arxiv.2110.09174,
title = {A Formalisation of Abstract Argumentation in Higher-Order Logic},
author = {Alexander Steen and David Fuenmayor},
journal= {arXiv preprint arXiv:2110.09174},
year = {2021}
}
Comments
33 pages, 8 figures; submitted article