On the equivalence between logic programming semantics and argumentation semantics

被引：69
|
作者：
Caminada, Martin [1 ]
Sa, Samy [2 ]
Alcantara, Joao [2 ]
Dvorak, Wolfgang [3 ]
机构：
[1] Univ Aberdeen, Aberdeen AB9 1FX, Scotland
[2] Univ Fed Ceara, Fortaleza, Ceara, Brazil
[3] Univ Vienna, Fac Comp Sci, A-1010 Vienna, Austria
来源：
INTERNATIONAL JOURNAL OF APPROXIMATE REASONING | 2015年 / 58卷
基金：
英国工程与自然科学研究理事会;
关键词：
Abstract argumentation semantics; Logic programming semantics; FRAMEWORK;
D O I：
10.1016/j.ijar.2014.12.004
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
In the current paper, we re-examine the connection between formal argumentation and logic programming from the perspective of semantics. We observe that one particular translation from logic programs to instantiated argumentation (the one described by Wu, Caminada and Gabbay) is able to serve as a basis for describing various equivalences between logic programming semantics and argumentation semantics. In particular, we are able to show equivalence between regular semantics for logic programming and preferred semantics for formal argumentation. We also show that there exist logic programming semantics (L-stable semantics) that cannot be captured by any abstract argumentation semantics. (C) 2014 Elsevier Inc. All rights reserved.
引用
收藏
页码：87 / 111
页数：25
相关论文
共 50 条
  • [1] On the Semantics of Abstract Argumentation Frameworks: A Logic Programming Approach
    Alfano, Gianvincenzo
    Greco, Sergio
    Parisi, Francesco
    Trubitsyna, Irina
    THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2020, 20 (05) : 703 - 718
  • [2] Argumentation semantics for defeasible logic
    Governatori, G
    Maher, MJ
    Antoniou, G
    Billington, D
    JOURNAL OF LOGIC AND COMPUTATION, 2004, 14 (05) : 675 - 702
  • [3] A parameterised hierarchy of argumentation semantics for extended logic programming and its application to the well-founded semantics
    Schweimeier, R
    Schroeder, M
    THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2005, 5 : 207 - 242
  • [4] Extending the Grounded Semantics by Logic Programming Semantics
    Carlos Nieves, Juan
    Osorio, Mauricio
    Cortes, Ulises
    ARTIFICIAL INTELLIGENCE RESEARCH AND DEVELOPMENT, 2011, 232 : 169 - 178
  • [5] Comparing logic programming and formal argumentation; the case of ideal and eager semantics
    Caminada, Martin
    Harikrishnan, Sri
    Sa, Samy
    ARGUMENT & COMPUTATION, 2022, 13 (01) : 93 - 120
  • [6] Argumentation Semantics for Temporal Defeasible Logic
    Riveret, Regis
    Governatori, Guido
    Rotolo, Antonino
    STAIRS 2006, 2006, 142 : 267 - +
  • [7] A Schema for Generating Relevant Logic Programming Semantics and its Applications in Argumentation Theory
    Carlos Nieves, Juan
    Osorio, Mauricio
    Zepeda, Claudia
    FUNDAMENTA INFORMATICAE, 2011, 106 (2-4) : 295 - 319
  • [8] Logic Programming in Assumption-Based Argumentation Revisited - Semantics and Graphical Representation
    Schulz, Claudia
    Toni, Francesca
    PROCEEDINGS OF THE TWENTY-NINTH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE, 2015, : 1569 - 1575
  • [9] BIALGEBRAIC SEMANTICS FOR LOGIC PROGRAMMING
    Bonchi, Filippo
    Zanasi, Fabio
    LOGICAL METHODS IN COMPUTER SCIENCE, 2015, 11 (01)
  • [10] An interactive semantics of logic programming
    Bruni, R
    Montanari, U
    Rossi, F
    THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2001, 1 : 647 - 690
12345