From Default and Autoepistemic Logics to Disjunctive Answer Set Programs via the Logic of GK

被引：0
|
作者：
Ji, Jianmin [1 ]
Strass, Hannes [2 ]
机构：
[1] Univ Sci & Technol China, Sch Comp Sci & Technol, Hefei 230026, Peoples R China
[2] Univ Leipzig, Inst Comp Sci, Leipzig, Germany
来源：
21ST EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE (ECAI 2014) | 2014年 / 263卷
关键词：
CIRCUMSCRIPTION;
D O I：
10.3233/978-1-61499-419-0-1039
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
We show how the pure logic of GK can be embedded into disjunctive logic programming. The translation we present is polynomial, but not modular, and introduces new variables. The result can then be used to compute the extension/expansion semantics of default and autoepistemic logics using disjunctive ASP solvers.
引用
收藏
页码：1039 / +
页数：2
相关论文
共 50 条
  • [1] From Answer Set Logic Programming to Circumscription via Logic of GK
    Lin, Fangzhen
    Zhou, Yi
    20TH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE, 2007, : 441 - 446
  • [2] From answer set logic programming to circumscription via logic of GK
    Lin, Fangzhen
    Zhou, Yi
    ARTIFICIAL INTELLIGENCE, 2011, 175 (01) : 264 - 277
  • [3] Disjunctive Fuzzy Logic Programs with Fuzzy Answer Set Semantics
    Saad, Emad
    SCALABLE UNCERTAINTY MANAGEMENT, SUM 2010, 2010, 6379 : 306 - 318
  • [4] AUTOEPISTEMIC LOGICS AS A UNIFYING FRAMEWORK FOR THE SEMANTICS OF LOGIC PROGRAMS
    BONATTI, PA
    JOURNAL OF LOGIC PROGRAMMING, 1995, 22 (02): : 91 - 149
  • [5] SEMANTICS FOR DISJUNCTIVE LOGIC PROGRAMS WITH EXPLICIT AND DEFAULT NEGATION
    Minker, Jack
    Ruiz, Carolina
    Fundamenta Informaticae, 1994, 20 (1-3) : 145 - 192
  • [6] Disjunctive logic programs, answer sets, and the cut rule
    Éric Martin
    Archive for Mathematical Logic, 2022, 61 : 903 - 937
  • [7] Disjunctive logic programs, answer sets, and the cut rule
    Martin, Eric
    ARCHIVE FOR MATHEMATICAL LOGIC, 2022, 61 (7-8) : 903 - 937
  • [8] Fuzzy autoepistemic logic and its relation to fuzzy answer set programming
    Blondeel, Marjon
    Schockaert, Steven
    De Cock, Martine
    Vermeir, Dirk
    FUZZY SETS AND SYSTEMS, 2014, 239 : 51 - 80
  • [9] Disjunctive answer set solvers via templates
    Brochenin, Remi
    Maratea, Marco
    Lierler, Yuliya
    THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2016, 16 : 465 - 497
  • [10] THE RELATIONSHIP BETWEEN STABLE, SUPPORTED, DEFAULT AND AUTOEPISTEMIC SEMANTICS FOR GENERAL LOGIC PROGRAMS
    MAREK, W
    SUBRAHMANIAN, VS
    THEORETICAL COMPUTER SCIENCE, 1992, 103 (02) : 365 - 386
12345