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 条
  • [31] Learning Disjunctive Logic Programs from Nondeterministic Interpretation Transitions
    Yi Huang
    Yisong Wang
    Jia-Huai You
    Mingyi Zhang
    Ying Zhang
    New Generation Computing, 2021, 39 : 273 - 301
  • [32] On Coherence and Consistence in Fuzzy Answer Set Semantics for Residuated Logic Programs
    Madrid, Nicolas
    Ojeda-Aciego, Manuel
    FUZZY LOGIC AND APPLICATIONS, 2009, 5571 : 60 - 67
  • [33] Learning Disjunctive Logic Programs from Nondeterministic Interpretation Transitions
    Huang, Yi
    Wang, Yisong
    You, Jia-Huai
    Zhang, Mingyi
    Zhang, Ying
    NEW GENERATION COMPUTING, 2021, 39 (01) : 273 - 301
  • [34] Computationally Hard Problems for Logic Programs under Answer Set Semantics
    Shen, Yuping
    Zhao, Xishun
    ACM TRANSACTIONS ON COMPUTATIONAL LOGIC, 2024, 25 (04)
  • [35] Removing Redundancy from Answer Set Programs
    Janhunen, Tomi
    LOGIC PROGRAMMING, PROCEEDINGS, 2008, 5366 : 729 - 733
  • [36] Predicate answer set programming via coinductive logic programming
    Min, Richard
    Bansal, Ajay
    Gupta, Gopal
    ENGINEERING INTELLIGENT SYSTEMS FOR ELECTRICAL ENGINEERING AND COMMUNICATIONS, 2009, 17 (2-3): : 105 - 114
  • [37] Relating Multi-Adjoint Normal Logic Programs to Core Fuzzy Answer Set Programs from a Semantical Approach
    Cornejo, M. Eugenia
    Lobo, David
    Medina, Jesus
    MATHEMATICS, 2020, 8 (06)
  • [38] A Rational Entailment for Expressive Description Logics via Description Logic Programs
    Casini, Giovanni
    Straccia, Umberto
    ARTIFICIAL INTELLIGENCE RESEARCH, SACAIR 2021, 2022, 1551 : 177 - 191
  • [39] FLP answer set semantics without circular justifications for general logic programs
    Shen, Yi-Dong
    Wang, Kewen
    Eiter, Thomas
    Fink, Michael
    Redl, Christoph
    Krennwallner, Thomas
    Deng, Jun
    ARTIFICIAL INTELLIGENCE, 2014, 213 : 1 - 41
  • [40] Tree Decomposition Rewritings for Optimizing Logic Programs under Answer Set Semantics
    Zangari, Jessica
    Calimeri, Francesco
    Perri, Simona
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2019, (306): : 330 - 333
12345