On Looking for Local Expansion Invariants in Argumentation Semantics

02/22/2018
by   Stefano Bistarelli, et al.
0

We study invariant local expansion operators for conflict-free and admissible sets in Abstract Argumentation Frameworks (AFs). Such operators are directly applied on AFs, and are invariant with respect to a chosen "semantics" (that is w.r.t. each of the conflict free/admissible set of arguments). Accordingly, we derive a definition of robustness for AFs in terms of the number of times such operators can be applied without producing any change in the chosen semantics.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
03/31/2016

Verifiability of Argumentation Semantics

Dung's abstract argumentation theory is a widely used formalism to model...
research
11/08/2018

On the Graded Acceptability of Arguments in Abstract and Instantiated Argumentation

The paper develops a formal theory of the degree of justification of arg...
research
07/08/2002

"Minimal defence": a refinement of the preferred semantics for argumentation frameworks

Dung's abstract framework for argumentation enables a study of the inter...
research
09/10/2019

A Bayesian Approach to Direct and Inverse Abstract Argumentation Problems

This paper studies a fundamental mechanism of how to detect a conflict b...
research
04/30/2014

An argumentation system for reasoning with conflict-minimal paraconsistent ALC

The semantic web is an open and distributed environment in which it is h...
research
10/14/2021

A Functional Abstraction of Typed Invocation Contexts

In their paper "A Functional Abstraction of Typed Contexts", Danvy and F...

Please sign up or login with your details

Forgot password? Click here to reset