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 条
  • [21] Justifications for logic programs under answer set semantics
    Pontelli, Enrico
    Son, Tran Cao
    Elkhatib, Omar
    THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2009, 9 : 1 - 56
  • [22] Quantified Equilibrium Logic and Foundations for Answer Set Programs
    Pearce, David
    Valverde, Agustin
    LOGIC PROGRAMMING, PROCEEDINGS, 2008, 5366 : 546 - +
  • [23] Merging Logic Programs under Answer Set Semantics
    Delgrande, James
    Schaub, Torsten
    Tompits, Hans
    Woltran, Stefan
    LOGIC PROGRAMMING, 2009, 5649 : 160 - +
  • [24] A Unifying Approach for Nonmonotonic S4F, (Reflexive) Autoepistemic Logic, and Answer Set Programming
    Su, Ezgi Iraz
    FUNDAMENTA INFORMATICAE, 2020, 176 (3-4) : 205 - 234
  • [25] Synthesizing Strongly Equivalent Logic Programs: Beth Definability for Answer Set Programs via Craig Interpolation in First-Order Logic
    Heuer, Jan
    Wernhard, Christoph
    AUTOMATED REASONING, IJCAR 2024, PT I, 2024, 14739 : 172 - 193
  • [26] moviola: Interpreting Dynamic Logic Programs via Multi-shot Answer Set Programming
    Sabuncu, Orkunt
    Leite, Joao
    LOGIC PROGRAMMING AND NONMONOTONIC REASONING, LPNMR 2017, 2017, 10377 : 336 - 342
  • [27] Extended Fuzzy Logic Programs with Fuzzy Answer Set Semantics
    Saad, Emad
    SCALABLE UNCERTAINTY MANAGEMENT, PROCEEDINGS, 2009, 5785 : 223 - 239
  • [28] Tableau Calculi for Logic Programs under Answer Set Semantics
    Gebser, Martin
    Schaub, Torsten
    ACM TRANSACTIONS ON COMPUTATIONAL LOGIC, 2013, 14 (02)
  • [29] Completeness of hyper-resolution via the semantics of disjunctive logic programs
    Nguyen, LA
    Goré, R
    INFORMATION PROCESSING LETTERS, 2005, 95 (02) : 363 - 369
  • [30] Defeasibility in Answer Set Programs via Argumentation Theories
    Wan, Hui
    Kifer, Michael
    Grosof, Benjamin
    WEB REASONING AND RULE SYSTEMS, 2010, 6333 : 149 - +
12345