Article (Scientific journals)
A logic of argumentation for specification and verification of abstract argumentation frameworks
Villata, Serena; Boella, Guido; Gabbay, Dov M. et al.
2012In Annals of Mathematics & Artificial Intelligence, 66 (1-4), p. 199-230
Peer reviewed
 

Files


Full Text
art%3A10.1007%2Fs10472-012-9318-6.pdf
Publisher postprint (567.91 kB)
Download

All documents in ORBilu are protected by a user license.

Send to



Details



Keywords :
Abstract argumentation theory Higher-order argumentation Modelling
Abstract :
[en] In this paper, we propose a logic of argumentation for the specification and verification (LA4SV) of requirements on Dung’s abstract argumentation frameworks. We distinguish three kinds of decision problems for argumentation verification, called extension verification, framework verification, and specification verification respectively. For example, given a political requirement like “if the argument to increase taxes is accepted, then the argument to increase services must be accepted too,” we can either verify an extension of acceptable arguments, or all extensions of an argumentation framework, or all extensions of all argumentation frameworks satisfying a framework specification. We introduce the logic of argumentation verification to specify such requirements, and we represent the three verification problems of argumentation as model checking and theorem proving properties of the logic. Moreover, we recast the logic of argumentation verification in a modal framework, in order to express multiple extensions, and properties like transitivity and reflexivity of the attack relation. Finally, we introduce a logic of meta-argumentation where abstract argumentation is used to reason about abstract argumentation itself. We define the logic of meta-argumentation using the fibring methodology in such a way to represent attack relations not only among arguments but also among attacks.
Disciplines :
Computer science
Identifiers :
UNILU:UL-ARTICLE-2012-1270
Author, co-author :
Villata, Serena;  INRIA Sophia Antipolis
Boella, Guido;  University of Turin
Gabbay, Dov M. ;  University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)
van der Torre, Leon ;  University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)
External co-authors :
yes
Language :
English
Title :
A logic of argumentation for specification and verification of abstract argumentation frameworks
Publication date :
2012
Journal title :
Annals of Mathematics & Artificial Intelligence
ISSN :
1012-2443
Publisher :
Springer
Volume :
66
Issue :
1-4
Pages :
199-230
Peer reviewed :
Peer reviewed
Available on ORBilu :
since 09 January 2014

Statistics


Number of views
85 (5 by Unilu)
Number of downloads
189 (1 by Unilu)

Scopus citations®
 
4
Scopus citations®
without self-citations
4
OpenCitations
 
4
WoS citations
 
4

Bibliography


Similar publications



Contact ORBilu