407 research outputs found
Abstract Argumentation / Persuasion / Dynamics
The act of persuasion, a key component in rhetoric argumentation, may be
viewed as a dynamics modifier. We extend Dung's frameworks with acts of
persuasion among agents, and consider interactions among attack, persuasion and
defence that have been largely unheeded so far. We characterise basic notions
of admissibilities in this framework, and show a way of enriching them through,
effectively, CTL (computation tree logic) encoding, which also permits
importation of the theoretical results known to the logic into our
argumentation frameworks. Our aim is to complement the growing interest in
coordination of static and dynamic argumentation.Comment: Arisaka R., Satoh K. (2018) Abstract Argumentation / Persuasion /
Dynamics. In: Miller T., Oren N., Sakurai Y., Noda I., Savarimuthu B., Cao
Son T. (eds) PRIMA 2018: Principles and Practice of Multi-Agent Systems.
PRIMA 2018. Lecture Notes in Computer Science, vol 11224. Springer, Cha
Extending Modular Semantics for Bipolar Weighted Argumentation (Technical Report)
Weighted bipolar argumentation frameworks offer a tool for decision support
and social media analysis. Arguments are evaluated by an iterative procedure
that takes initial weights and attack and support relations into account. Until
recently, convergence of these iterative procedures was not very well
understood in cyclic graphs. Mossakowski and Neuhaus recently introduced a
unification of different approaches and proved first convergence and divergence
results. We build up on this work, simplify and generalize convergence results
and complement them with runtime guarantees. As it turns out, there is a
tradeoff between semantics' convergence guarantees and their ability to move
strength values away from the initial weights. We demonstrate that divergence
problems can be avoided without this tradeoff by continuizing semantics.
Semantically, we extend the framework with a Duality property that assures a
symmetric impact of attack and support relations. We also present a Java
implementation of modular semantics and explain the practical usefulness of the
theoretical ideas
Labeled bipolar argumentation frameworks
An essential part of argumentation-based reasoning is to identify arguments in favor and against a statement or query, select the acceptable ones, and then determine whether or not the original statement should be accepted. We present here an abstract framework that considers two independent forms of argument interaction-support and conflict-and is able to represent distinctive information associated with these arguments. This information can enable additional actions such as: (i) a more in-depth analysis of the relations between the arguments; (ii) a representation of the user's posture to help in focusing the argumentative process, optimizing the values of attributes associated with certain arguments; and (iii) an enhancement of the semantics taking advantage of the availability of richer information about argument acceptability. Thus, the classical semantic definitions are enhanced by analyzing a set of postulates they satisfy. Finally, a polynomial-time algorithm to perform the labeling process is introduced, in which the argument interactions are considered.Fil: Escañuela Gonzalez, Melisa Gisselle. Universidad Nacional de Santiago del Estero; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Tucumán; ArgentinaFil: Budan, Maximiliano Celmo David. Universidad Nacional de Santiago del Estero; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Tucumán; ArgentinaFil: Simari, Gerardo. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Bahía Blanca. Instituto de Ciencias e Ingeniería de la Computación. Universidad Nacional del Sur. Departamento de Ciencias e Ingeniería de la Computación. Instituto de Ciencias e Ingeniería de la Computación; ArgentinaFil: Simari, Guillermo Ricardo. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Bahía Blanca. Instituto de Ciencias e Ingeniería de la Computación. Universidad Nacional del Sur. Departamento de Ciencias e Ingeniería de la Computación. Instituto de Ciencias e Ingeniería de la Computación; Argentin
Advanced Algorithms for Abstract Dialectical Frameworks based on Complexity Analysis of Subclasses and SAT Solving
dialectical frameworks (ADFs) constitute one of the most powerful formalisms in abstract argumentation. Their high computational complexity poses, however, certain challenges when designing efficient systems. In this paper, we tackle this issue by (i) analyzing the complexity of ADFs under structural restrictions, (ii) presenting novel algorithms which make use of these insights, and (iii) implementing these algorithms via (multiple) calls to SAT solvers. An empirical evaluation of the resulting implementation on ADF benchmarks generated from ICCMA competitions shows that our solver is able to outperform state-of-the-art ADF systems. (c) 2022 The Author(s). Published by Elsevier B.V.Peer reviewe
Empirical Evaluation of Abstract Argumentation: Supporting the Need for Bipolar and Probabilistic Approaches
In dialogical argumentation it is often assumed that the involved parties
always correctly identify the intended statements posited by each other,
realize all of the associated relations, conform to the three acceptability
states (accepted, rejected, undecided), adjust their views when new and correct
information comes in, and that a framework handling only attack relations is
sufficient to represent their opinions. Although it is natural to make these
assumptions as a starting point for further research, removing them or even
acknowledging that such removal should happen is more challenging for some of
these concepts than for others. Probabilistic argumentation is one of the
approaches that can be harnessed for more accurate user modelling. The
epistemic approach allows us to represent how much a given argument is believed
by a given person, offering us the possibility to express more than just three
agreement states. It is equipped with a wide range of postulates, including
those that do not make any restrictions concerning how initial arguments should
be viewed, thus potentially being more adequate for handling beliefs of the
people that have not fully disclosed their opinions in comparison to Dung's
semantics. The constellation approach can be used to represent the views of
different people concerning the structure of the framework we are dealing with,
including cases in which not all relations are acknowledged or when they are
seen differently than intended. Finally, bipolar argumentation frameworks can
be used to express both positive and negative relations between arguments. In
this paper we describe the results of an experiment in which participants
judged dialogues in terms of agreement and structure. We compare our findings
with the aforementioned assumptions as well as with the constellation and
epistemic approaches to probabilistic argumentation and bipolar argumentation
- …