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 条
  • [41] Fuzzy description logic programs under the answer set semantics for the semantic web
    Lukasiewicz, Thomas
    FUNDAMENTA INFORMATICAE, 2008, 82 (03) : 289 - 310
  • [42] Fuzzy description logic programs under the answer set semantics for the semantic web
    Lukasiewicz, Thomas
    RULEML 2006: SECOND INTERNATIONAL CONFERENCE ON RULES AND RULE MARKUP LANGUAGES FOR THE SEMANTIC WEB, PROCEEDINGS, 2006, : 89 - 96
  • [43] Imperative Program Synthesis from Answer Set Programs
    Varanasi, Sarat Chandra
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2019, (306): : 413 - 417
  • [44] Towards Predicate Answer Set Programming via Coinductive Logic Programming
    Min, Richard
    Bansal, Ajay
    Gupta, Gopal
    ARTIFICIAL INTELLIGENCE APPLICATIONS AND INNOVATIONS III, 2009, : 499 - 508
  • [45] Towards predicate answer set programming via coinductive logic programming
    Min, Richard
    Bansal, Ajay
    Gupta, Gopal
    IFIP Advances in Information and Communication Technology, 2009, 296 : 499 - 508
  • [46] Fast Inference for Probabilistic Answer Set Programs Via the Residual Program
    Azzolini, Damiano
    Riguzzi, Fabrizio
    THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2024, 24 (04) : 682 - 697
  • [47] Inference in Probabilistic Answer Set Programs with Imprecise Probabilities via Optimization
    Azzolini, Damiano
    Riguzzi, Fabrizio
    UNCERTAINTY IN ARTIFICIAL INTELLIGENCE, 2024, 244 : 225 - 234
  • [48] System Predictor: Grounding Size Estimator for Logic Programs under Answer Set Semantics
    Bresnahan, Daniel
    Hippen, Nicholas
    Lierler, Yuliya
    THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2024, 24 (01) : 132 - 156
  • [49] spock: A Debugging Support Tool for Logic Programs under the Answer-Set Semantics
    Gebser, Martin
    Puehrer, Joerg
    Schaub, Torsten
    Tompits, Hans
    Woltran, Stefan
    APPLICATIONS OF DECLARATIVE PROGRAMMING AND KNOWLEDGE MANAGEMENT: 17TH INTERNATIONAL CONFERENCE, INAP 2007/21ST WORKSHOP ON LOGIC PROGRAMMING, WLP 2007, 2009, 5437 : 247 - +
  • [50] AGM-Style Belief Revision of Logic Programs under Answer Set Semantics
    Delgrande, James
    Peppas, Pavlos
    Woltran, Stefan
    LOGIC PROGRAMMING AND NONMONOTONIC REASONING (LPNMR 2013), 2013, 8148 : 264 - 276
12345