DeepAI
Log In Sign Up

On the existence and multiplicity of extensions in dialectical argumentation

07/17/2002
by   Bart Verheij, et al.
0

In the present paper, the existence and multiplicity problems of extensions are addressed. The focus is on extension of the stable type. The main result of the paper is an elegant characterization of the existence and multiplicity of extensions in terms of the notion of dialectical justification, a close cousin of the notion of admissibility. The characterization is given in the context of the particular logic for dialectical argumentation DEFLOG. The results are of direct relevance for several well-established models of defeasible reasoning (like default logic, logic programming and argumentation frameworks), since elsewhere dialectical argumentation has been shown to have close formal connections with these models.

READ FULL TEXT
07/16/2002

Embedding Default Logic in Propositional Argumentation Systems

In this paper we present a transformation of finite propositional defaul...
05/15/2014

Properties of Stable Model Semantics Extensions

The stable model (SM) semantics lacks the properties of existence, relev...
01/26/2019

Credulous Acceptability, Poison Games and Modal Logic

The Poison Game is a two-player game played on a graph in which one play...
03/02/2020

On the Existence of Characterization Logics and Fundamental Properties of Argumentation Semantics

Given the large variety of existing logical formalisms it is of utmost i...
02/29/2016

Range-based argumentation semantics as 2-valued models

Characterizations of semi-stable and stage extensions in terms of 2-valu...
05/06/2022

Rediscovering Argumentation Principles Utilizing Collective Attacks

Argumentation Frameworks (AFs) are a key formalism in AI research. Their...