Log In Sign Up

On the existence and multiplicity of extensions in dialectical argumentation

by   Bart Verheij, et al.

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.


Embedding Default Logic in Propositional Argumentation Systems

In this paper we present a transformation of finite propositional defaul...

Properties of Stable Model Semantics Extensions

The stable model (SM) semantics lacks the properties of existence, relev...

Credulous Acceptability, Poison Games and Modal Logic

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

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...

Range-based argumentation semantics as 2-valued models

Characterizations of semi-stable and stage extensions in terms of 2-valu...

Rediscovering Argumentation Principles Utilizing Collective Attacks

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