English
Related papers

Related papers: Extension-based Semantics of Abstract Dialectical …

200 papers

Labelling-based formal argumentation relies on labelling functions that typically assign one of 3 labels to indicate either acceptance, rejection, or else undecided-to-be-either, to each argument. While a classical labelling-based approach…

Logic in Computer Science · Computer Science 2020-07-27 Ryuta Arisaka , Takayuki Ito

The recent Control Argumentation Framework (CAF) is a generalization of Dung's Argumentation Framework which handles argumentation dynamics under uncertainty; especially it can be used to model the behavior of an agent which can anticipate…

Artificial Intelligence · Computer Science 2020-09-11 Jean-Guy Mailly

Abstract argumentation frameworks (AFs) provide a formal setting to analyze many forms of reasoning with conflicting information. While the expressiveness of general infinite AFs make them a tempting tool for modeling many kinds of…

Artificial Intelligence · Computer Science 2025-08-26 Uri Andrews , Luca San Mauro

The matrices and their sub-blocks are introduced into the study of determining various extensions in the sense of Dung's theory of argumentation frameworks. It is showed that each argumentation framework has its matrix representations, and…

Artificial Intelligence · Computer Science 2012-09-11 Xu Yuming

In this paper, we present a general framework for ranking sets of arguments in abstract argumentation based on their plausibility of acceptance. We present a generalisation of Dung's extension semantics as extension-ranking semantics, which…

Artificial Intelligence · Computer Science 2025-05-01 Kenneth Skiba , Tjitze Rienstra , Matthias Thimm , Jesse Heyninck , Gabriele Kern-Isberner

The connection between inconsistent databases and Dung's abstract argumentation framework has recently drawn growing interest. Specifically, an inconsistent database, involving certain types of integrity constraints such as functional and…

Logic in Computer Science · Computer Science 2024-12-17 Yasir Mahmood , Markus Hecher , Axel-Cyrille Ngonga Ngomo

Powerful formalisms for abstract argumentation have been proposed, among them abstract dialectical frameworks (ADFs) that allow for a succinct and flexible specification of the relationship between arguments, and the GRAPPA framework which…

Artificial Intelligence · Computer Science 2020-04-22 Gerhard Brewka , Martin Diller , Georg Heissenberger , Thomas Linsbichler , Stefan Woltran

Recently, Strength-based Argumentation Frameworks (StrAFs) have been proposed to model situations where some quantitative strength is associated with arguments. In this setting, the notion of accrual corresponds to sets of arguments that…

Artificial Intelligence · Computer Science 2022-07-07 Yohann Bacquey , Jean-Guy Mailly , Pavlos Moraitis , Julien Rossit

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…

Artificial Intelligence · Computer Science 2018-08-01 Stefano Bistarelli , Francesco Santini , Carlo Taticchi

In Dung-style abstract argumentation, various semantics capture notions of acceptability of arguments. The admissibility semantics capture the notion that an argument can be consistently defended from any potential counterargument. Weak…

Artificial Intelligence · Computer Science 2026-05-05 Uri Andrews , Luca San Mauro , John Spoerl

Argumentation Frameworks (AFs) are a key formalism in AI research. Their semantics have been investigated in terms of principles, which define characteristic properties in order to deliver guidance for analysing established and developing…

Artificial Intelligence · Computer Science 2022-05-09 Wolfgang Dvořák , Matthias König , Markus Ulbricht , Stefan Woltran

The theory of abstract argumentation frameworks (afs) has, in the main, focused on finite structures, though there are many significant contexts where argumentation can be regarded as a process involving infinite objects. To address this…

Artificial Intelligence · Computer Science 2018-10-12 Pietro Baroni , Federico Cerutti , Paul E. Dunne , Massimiliano Giacomin

Dung's famous abstract argumentation frameworks represent the core formalism for many problems and applications in the field of argumentation which significantly evolved within the last decade. Recent work in the field has thus focused on…

Artificial Intelligence · Computer Science 2016-04-20 Wolfgang Dvořák , Sarah Alice Gaggl , Johannes Wallner , Stefan Woltran

Abstract argumentation framework (\AFname) is a unifying framework able to encompass a variety of nonmonotonic reasoning approaches, logic programming and computational argumentation. Yet, efficient approaches for most of the decision and…

Artificial Intelligence · Computer Science 2014-11-19 Federico Cerutti , Ilias Tachmazidis , Mauro Vallati , Sotirios Batsakis , Massimiliano Giacomin , Grigoris Antoniou

In computational argumentation, gradual semantics are fine-grained alternatives to extension-based and labelling-based semantics . They ascribe a dialectical strength to (components of) arguments sanctioning their degree of acceptability.…

Artificial Intelligence · Computer Science 2025-08-04 Anna Rapberger , Fabrizio Russo , Antonio Rago , Francesca Toni

An \textit{abstract argumentation framework} ({\sc af} for short) is a directed graph $(A,R)$ where $A$ is a set of \textit{abstract arguments} and $R\subseteq A \times A$ is the \textit{attack} relation. Let $H=(A,R)$ be an {\sc af}, $S…

Data Structures and Algorithms · Computer Science 2021-09-15 Samer Nofal , Amani Abu Jabal , Abdullah Alfarrarjeh , Ismail Hababeh

Dynamics and uncertainty are essential features of real-life argumentation, and many recent studies have focused on integrating both aspects into Dung's well-known abstract Argumentation Frameworks (AFs). This paper proposes a combination…

Logic in Computer Science · Computer Science 2023-02-08 Antonio Yuste-Ginel , Andreas Herzig

In the last years, abstract argumentation has met with great success in AI, since it has served to capture several non-monotonic logics for AI. Relations between argumentation framework (AF) semantics and logic programming ones are…

Artificial Intelligence · Computer Science 2020-02-19 Giovanni Amendola , Francesco Ricca

Weighted gradual semantics provide an acceptability degree to each argument representing the strength of the argument, computed based on factors including background evidence for the argument, and taking into account interactions between…

Artificial Intelligence · Computer Science 2024-08-21 Assaf Libman , Nir Oren , Bruno Yun

Argumentation is a central subarea of Artificial Intelligence (AI) for modeling and reasoning about arguments. The semantics of abstract argumentation frameworks (AFs) is given by sets of arguments (extensions) and conditions on the…

Artificial Intelligence · Computer Science 2025-05-19 Johannes Fichte , Nicolas Fröhlich , Markus Hecher , Victor Lagerkvist , Yasir Mahmood , Arne Meier , Jonathan Persson