Probabilistic Argumentation Frameworks with MetaProbLog and ConArg

被引:7
作者
Bistarelli, Stefano [1 ]
Mantadelis, Theofrastos [1 ]
Santini, Francesco [1 ]
Taticchi, Carlo [2 ]
机构
[1] Univ Perugia, Dept Math & Comp Sci, Perugia, Italy
[2] Gran Sasso Sci Inst, Laquila, Italy
来源
2018 IEEE 30TH INTERNATIONAL CONFERENCE ON TOOLS WITH ARTIFICIAL INTELLIGENCE (ICTAI) | 2018年
关键词
SEMANTICS;
D O I
10.1109/ICTAI.2018.00107
中图分类号
TP18 [人工智能理论];
学科分类号
081104 ; 0812 ; 0835 ; 1405 ;
摘要
In Probabilistic Abstract Argumentation, arguments and attacks (nodes and edges) in a graph instance are associated with a probability value. These probabilities can be interpreted in different ways: for instance, in the constellation approaches, the probabilities introduce uncertainty in the topology of the graph. In this paper we use MetaProbLog, a ProbLog framework where facts in a logic program are annotated by probabilities; the purpose is to compute the probability of possible worlds of arguments. The tool is integrated in the web interface of ConArg, a constraint-programming based tool aimed to solve different problems in Abstract Argumentation.
引用
收藏
页码:675 / 679
页数:5
相关论文
共 29 条
[1]  
[Anonymous], 1993, LOGIC PROGRAMMING NO
[2]  
[Anonymous], INT WORKSH STAT REL
[3]  
[Anonymous], INT C IMPL CONSTR LO
[4]   An introduction to argumentation semantics [J].
Baroni, Pietro ;
Caminada, Martin ;
Giacomin, Massimiliano .
KNOWLEDGE ENGINEERING REVIEW, 2011, 26 (04) :365-410
[5]   Persuasion in practical argument using value-based argumentation frameworks [J].
Bench-Capon, TJM .
JOURNAL OF LOGIC AND COMPUTATION, 2003, 13 (03) :429-448
[6]  
Bistarelli S., 2011, INT WORKSH THEOR APP, P99
[7]  
Bistarelli S., 2010, IT C COMP LOG
[8]  
Bistarelli S., 2016, P 29 INT FLOR ART IN, P638
[9]   A novel weighted defence and its relaxation in abstract argumentation [J].
Bistarelli, Stefano ;
Rossi, Fabio ;
Santini, Francesco .
INTERNATIONAL JOURNAL OF APPROXIMATE REASONING, 2018, 92 :66-86
[10]   Semi-stable semantics [J].
Caminada, Martin W. A. ;
Carnielli, Walter A. ;
Dunne, Paul E. .
JOURNAL OF LOGIC AND COMPUTATION, 2012, 22 (05) :1207-1254