Modal and temporal argumentation networks
TLDR
This paper offers to use temporal and modal language formulas to represent arguments in the nodes of a network using Kripke semantics, and introduces a new key concept of usability of an argument.Abstract:
The traditional Dung networks depict arguments as atomic and study the relationships of attack between them. This can be generalised in two ways. One is to consider various forms of attack, support, feedback, etc. Another is to add content to nodes and put there not just atomic arguments but more structure, e.g. proofs in some logic or simply just formulas from a richer language. This paper offers to use temporal and modal language formulas to represent arguments in the nodes of a network. The suitable semantics for such networks is Kripke semantics. We also introduce a new key concept of usability of an argument. This is the beginning of a continuing research for adding contents to the nodes of an argumentation network. This research will allow us to address notions like ‘what does it exactly mean for a node to attack another’ or ‘what does it mean for a network to be consistent’ or ‘can we give proper proof rules to manipulate networks’, and more.read more
Citations
More filters
Journal ArticleDOI
Temporal, numerical and meta-level dynamics in argumentation networks
TL;DR: This paper studies general numerical networks with support and attack with special attention to the handling of loops and to the special features of numerical support, and finds surprising connections with the Dempster–Shafer rule and with the cross-ratio in projective geometry.
Journal ArticleDOI
Modeling time and valuation in structured argumentation frameworks
Maximiliano Celmo David Budán,Mauro Javier Gómez Lucero,Carlos Iván Chesñevar,Guillermo Ricardo Simari +3 more
TL;DR: Extended Temporal Argumentation Framework (E-TAF) is introduced, adding the capability of modeling the temporal availability of attacks among arguments, thus modeling special features of argumentation varying over time and the possibility that attacks are only available in a given time interval.
Journal ArticleDOI
Bipolarity in temporal argumentation frameworks
TL;DR: The main contribution of this work is to provide an enhanced framework for modeling a positive and negative interaction which varies over time, features that are highly relevant in many real-world situations.
Journal ArticleDOI
Global view on reactivity: switch graphs and their logics
Dov M. Gabbay,Sérgio Marcelino +1 more
TL;DR: A hybrid modal logic is introduced for this purpose and it is proved that it can be represented using points and arrows by introducing higher order arrows: the switches.
Book ChapterDOI
Bipolar Argumentation Frames and Contrary to Duty Obligations, Preliminary Report
Dov M. Gabbay,Dov M. Gabbay +1 more
TL;DR: This paper shows that it is possible to find a family of tree like graphs for which the Deontic and the argumentation manipulations are the same, and establishes a connection between the contrary to duty area and the bipolar argumentation area.
References
More filters
Journal ArticleDOI
A Logical Account of Formal Argumentation
TL;DR: This paper re-examine how abstract argumentation can be formulated in terms of labellings, and how the resulting theory can be applied in the field of modal logic.
Book ChapterDOI
On the issue of reinstatement in argumentation
TL;DR: In this article, the authors re-examine the issue of semantics from the perspective of postulates and ask themselves the question of which (minimal) requirements have to be fulfilled by any principle for handling reinstatement, and how this relates to Dung's standard semantics.
Journal ArticleDOI
Robust semantics for argumentation frameworks
Hadassa Jakobovits,Dirk Vermeir +1 more
TL;DR: A so-called `robust' semantics for a model of argumentation which represents arguments and their interactions, called `argumentation frameworks', is suggested.
Book ChapterDOI
Temporal Dynamics of Support and Attack Networks: From Argumentation to Zoology.
TL;DR: In this article, a series of papers on the temporal dynamics of Support and Attack networks is presented, with the starting point being a generalisation of abstract argumentation networks, in which nodes have some values attached to them and these values are transmitted by the arrows, and revise the value at b.
Proceedings ArticleDOI
A Dynamic Argumentation Framework
TL;DR: The proposed Dynamic Argumentation Framework (DAF) is a refinement of Dung's abstract framework (AF), enriched with additional features, to provide a well-structured knowledge representation tool that allows for the definition of dynamics-aware argumentation-based systems.