Improved answer-set programming encodings for abstract argumentation

被引：22
作者：
Gaggl, Sarah A. [1 ]
Manthey, Norbert [1 ]
Ronca, Alessandro [2 ]
Wallner, Johannes P. [3 ]
Woltran, Stefan [4 ]
机构：
[1] Tech Univ Dresden, Dresden, Germany
[2] Univ Roma La Sapienza, Rome, Italy
[3] Univ Helsinki, Dept Comp Sci, HIIT, FIN-00014 Helsinki, Finland
[4] Vienna Univ Technol, Vienna, Austria
来源：
THEORY AND PRACTICE OF LOGIC PROGRAMMING | 2015年 / 15卷
基金：
奥地利科学基金会; 芬兰科学院;
关键词：
Answer-Set Programming; Abstract Argumentation; Implementation; ASPARTIX; COMPLEXITY; SEMANTICS;
D O I：
10.1017/S1471068415000149
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
The design of efficient solutions for abstract argumentation problems is a crucial step towards advanced argumentation systems. One of the most prominent approaches in the literature is to use Answer-Set Programming (ASP) for this endeavor. In this paper, we present new encodings for three prominent argumentation semantics using the concept of conditional literals in disjunctions as provided by the ASP-system clingo. Our new encodings are not only more succinct than previous versions, but also outperform them on standard benchmarks.
引用
收藏
页码：434 / 448
页数：15
相关论文
共 30 条
[1]   An introduction to argumentation semantics [J].
Baroni, Pietro ;
Caminada, Martin ;
Giacomin, Massimiliano .
KNOWLEDGE ENGINEERING REVIEW, 2011, 26 (04) :365-410
[2]  
Besnard, 2008, ELEMENTS ARGUMENTATI
[3]   ConArg: A Constraint-based Computational Framework for Argumentation Systems [J].
Bistarelli, Stefano ;
Santini, Francesco .
2011 23RD IEEE INTERNATIONAL CONFERENCE ON TOOLS WITH ARTIFICIAL INTELLIGENCE (ICTAI 2011), 2011, :605-612
[4]   Answer Set Programming at a Glance [J].
Brewka, Gerhard ;
Eiter, Thomas ;
Truszczynski, Miroslaw .
COMMUNICATIONS OF THE ACM, 2011, 54 (12) :92-103
[5]   On the evaluation of argumentation formalisms [J].
Caminada, Martin ;
Amgoud, Leila .
ARTIFICIAL INTELLIGENCE, 2007, 171 (5-6) :286-310
[6]  
Caminada Martin., 2007, BNAIC, P81
[7]   Semi-stable semantics [J].
Caminada, Martin W. A. ;
Carnielli, Walter A. ;
Dunne, Paul E. .
JOURNAL OF LOGIC AND COMPUTATION, 2012, 22 (05) :1207-1254
[8]   A Benchmark Framework for a Computational Argumentation Competition [J].
Cerutti, Federico ;
Oren, Nir ;
Strass, Hannes ;
Thimm, Matthias ;
Vallati, Mauro .
COMPUTATIONAL MODELS OF ARGUMENT, 2014, 266 :459-460
[9]   ArgSemSAT: Solving Argumentation Problems Using SAT [J].
Cerutti, Federico ;
Giacomin, Massimiliano ;
Vallati, Mauro .
COMPUTATIONAL MODELS OF ARGUMENT, 2014, 266 :455-456
[10]   Methods for solving reasoning problems in abstract argumentation - A survey [J].
Charwat, Guenther ;
Dvorak, Wolfgang ;
Gaggl, Sarah A. ;
Wallner, Johannes P. ;
Woltran, Stefan .
ARTIFICIAL INTELLIGENCE, 2015, 220 :28-63
123