Over the last decennia, many systems for formal argumentation have been defined. The problem, however, is that these systems do not always satisfy reasonable properties. In this paper, we focus on the particular property that a conflict between two arguments cannot keep other unrelated arguments from becoming justified. Although this property appears obvious, it is in fact violated by several e...

This paper presents strategies and conditions for non-failing persuasion using a dialogue model using argumentation. A novel concept of the predicted knowledge of the other agent participating in the dialogue is introduced. In the dialogue model, an agent’s knowledge is updated as the dialogue proceeds; an argumentation framework is constructed from the current knowledge; and only the content o...

Translations between different nonmonotonic formalisms always have been an important topic in the field, in particular to understand the knowledgerepresentation capabilities those formalisms offer. We provide such an investigation in terms of different semantics proposed for abstract argumentation frameworks, a nonmonotonic yet simple formalism which received increasing interest within the last...

We continue recent work on the problem of aggregating labellings of an argumentation framework by adapting the distance-based framework of Miller and Osherson from binary judgment aggregation to the argumentation setting. To instantiate the framework we employ some notions of labellingdistance recently introduced by Booth et al., in the process generalising and extending some of the latters’ re...

In this paper we investigate the impact of automated configuration techniques on the ArgSemSAT solver—runner-up of the ICCMA 2015—for solving the enumeration of preferred extensions. Moreover, we introduce a fully automated method for varying how argumentation frameworks are represented in the input file, and evaluate how the joint configuration of frameworks and ArgSemSAT parameters can have a...

Carneades is a recently proposed formalism for structured argumentation with varying proof standards. An open question is its relation with Dung’s seminal abstract approach to argumentation. In this paper the two formalisms are formally related by translating Carneades into ASPIC, another recently proposed formalism for structured argumentation. Since ASPIC is defined to generate Dungstyle abst...

In dialogical argumentation, it is often assumed that the involved parties will always correctly identify the intended statements posited by each other and realize all of the associated relations, conform to the three acceptability states (accepted, rejected, undecided), adjust their views whenever new and correct information comes in, and that a framework handling only attack relations is suff...

Methods of argument representation can be exploited in systems for edemocracy. In this paper we discuss a particular method of argument representation, known as an argumentation scheme, and some issues concerning the relations between arguments represented using such schemes. We show how this method of argument representation has been implemented in a practical system designed for the public to...

agents, in a multi agent system, communicate with each other through the process of exchanging messages which is called dialogue. multi agent organization is generally used to optimize agents’ communications. holonic organization demonstrates a self-similar recursive and hierarchical structure in which each holon may include some other holons. in a holonic system, lateral communication occurs b...