A Formalisation of Abstract Argumentation in Higher-Order Logic

10/18/2021
by   Alexander Steen, et al.
0

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.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
05/29/2017

Abstract Argumentation / Persuasion / Dynamics

The act of persuasion, a key component in rhetoric argumentation, may be...
research
11/11/2014

Exploiting Parallelism for Hard Problems in Abstract Argumentation: Technical Report

Abstract argumentation framework () is a unifying framework able to enco...
research
08/04/2013

Stratified Labelings for Abstract Argumentation

We introduce stratified labelings as a novel semantical approach to abst...
research
04/27/2015

Theory of Semi-Instantiation in Abstract Argumentation

We study instantiated abstract argumentation frames of the form (S,R,I),...
research
05/05/2014

On the Relative Expressiveness of Argumentation Frameworks, Normal Logic Programs and Abstract Dialectical Frameworks

We analyse the expressiveness of the two-valued semantics of abstract ar...
research
03/27/2022

Abstract argumentation and answer set programming: two faces of Nelson's logic

In this work, we show that both logic programming and abstract argumenta...
research
03/28/2017

Universal Reasoning, Rational Argumentation and Human-Machine Interaction

Classical higher-order logic, when utilized as a meta-logic in which var...

Please sign up or login with your details

Forgot password? Click here to reset