Range-based argumentation semantics as two-valued models

被引：7
作者：
Osorio, Mauricio [1 ]
Nieves, Juan Carlos [2 ]
机构：
[1] Univ Americas Puebla, Dept Actuaria Fis & Matemat, Cholula 72820, Mexico
[2] Umea Univ, Dept Comp Sci, SE-90187 Umea, Sweden
来源：
THEORY AND PRACTICE OF LOGIC PROGRAMMING | 2017年 / 17卷 / 01期
关键词：
Logic programming semantics; argumentation semantics; non-monotonic reasoning;
D O I：
10.1017/S1471068416000090
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
Characterizations of semi-stable and stage extensions in terms of two-valued logical models are presented. To this end, the so-called GL-supported and GL-stage models are defined. These two classes of logical models are logic programming counterparts of the notion of range which is an established concept in argumentation semantics.
引用
收藏
页码：75 / 90
页数：16
相关论文
共 26 条
  • [1] Baral C., 2003, KNOWLEDGE REPRESENTA
  • [2] An introduction to argumentation semantics
    Baroni, Pietro
    Caminada, Martin
    Giacomin, Massimiliano
    [J]. KNOWLEDGE ENGINEERING REVIEW, 2011, 26 (04) : 365 - 410
  • [3] Caminada M., 2013, ABDNCS1301 U AB
  • [4] Caminada M, 2006, FR ART INT, V144, P121
  • [5] Semi-stable semantics
    Caminada, Martin W. A.
    Carnielli, Walter A.
    Dunne, Paul E.
    [J]. JOURNAL OF LOGIC AND COMPUTATION, 2012, 22 (05) : 1207 - 1254
  • [6] Carballido J.L., 2009, REV IBEROMERICANA IN, V13, P38, DOI DOI 10.4114/IA.V13I41.1029)
  • [7] A Schema for Generating Relevant Logic Programming Semantics and its Applications in Argumentation Theory
    Carlos Nieves, Juan
    Osorio, Mauricio
    Zepeda, Claudia
    [J]. FUNDAMENTA INFORMATICAE, 2011, 106 (2-4) : 295 - 319
  • [8] Methods for solving reasoning problems in abstract argumentation - A survey
    Charwat, Guenther
    Dvorak, Wolfgang
    Gaggl, Sarah A.
    Wallner, Johannes P.
    Woltran, Stefan
    [J]. ARTIFICIAL INTELLIGENCE, 2015, 220 : 28 - 63
  • [9] ON THE ACCEPTABILITY OF ARGUMENTS AND ITS FUNDAMENTAL ROLE IN NONMONOTONIC REASONING, LOGIC PROGRAMMING AND N-PERSON GAMES
    DUNG, PM
    [J]. ARTIFICIAL INTELLIGENCE, 1995, 77 (02) : 321 - 357
  • [10] Complexity of semi-stable and stage semantics in argumentation frameworks
    Dvorak, Wolfgang
    Woltran, Stefan
    [J]. INFORMATION PROCESSING LETTERS, 2010, 110 (11) : 425 - 430
123