A Correct Logic Programming Computation of Default Logic Extensions

被引：0
|
作者：
Grigoris Antoniou
Elmar Langetepe
机构：
[1] Griffith University,School of Computing and Information Technology
[2] Fern Universität Hagen,Praktische Informatik VI
来源：
Journal of Automated Reasoning | 1997年 / 18卷
关键词：
default logic; logic programming; SLDNF-resolution;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
We present a method of representing some classes of default theories as normal logic programs. The main point is that the standart semantics (i.e., SLDNF-resolution) computes answer substitutions that correspond exactly to the extensions of the represented default theory. This means that we give a correct implementation of default logic. We explain the steps of constructing a logic program LogProg(P, D) from a given default theory (P, D), give some examples, and derive soundness and completeness results.
引用
收藏
页码：25 / 46
页数：21
相关论文
共 50 条
  • [31] Uncontroversial default logic
    Liberatore, P
    [J]. ECAI 2002: 15TH EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE, PROCEEDINGS, 2002, 77 : 526 - 530
  • [32] General default logic
    Zhou, Yi
    Lin, Fangzhen
    Zhang, Yan
    [J]. LOGIC PROGRAMMING AND NONMONOTONIC REASONING, PROCEEDINGS, 2007, 4483 : 241 - +
  • [33] Rights in Default Logic
    Mullins, Robert
    [J]. DEONTIC LOGIC AND NORMATIVE SYSTEMS, 2016, : 187 - 202
  • [34] General default logic
    Yi Zhou
    Fangzhen Lin
    Yan Zhang
    [J]. Annals of Mathematics and Artificial Intelligence, 2009, 57 : 125 - 160
  • [35] A LOGIC FOR DEFAULT REASONING
    REITER, R
    [J]. ARTIFICIAL INTELLIGENCE, 1980, 13 (1-2) : 81 - 132
  • [36] CONDITIONAL LOGIC AND LOGIC PROGRAMMING
    NUTE, D
    [J]. JOURNAL OF SYMBOLIC LOGIC, 1987, 52 (01) : 333 - 333
  • [37] An Epistemic Programming Approach for Automated Nonmonotonic Reasoning based on Default Logic
    Goto, Yuichi
    Ito, Takuya
    [J]. 2018 IEEE SMARTWORLD, UBIQUITOUS INTELLIGENCE & COMPUTING, ADVANCED & TRUSTED COMPUTING, SCALABLE COMPUTING & COMMUNICATIONS, CLOUD & BIG DATA COMPUTING, INTERNET OF PEOPLE AND SMART CITY INNOVATION (SMARTWORLD/SCALCOM/UIC/ATC/CBDCOM/IOP/SCI), 2018, : 222 - 227
  • [38] On embedding default logic into Moore's autoepistemic logic
    Schwarz, G
    [J]. ARTIFICIAL INTELLIGENCE, 1996, 80 (02) : 349 - 359
  • [39] On embedding default logic into Moore's autoepistemic logic
    2747 Del Medio Ct., #108, Mountain View, CA 94040, United States
    [J]. Artif Intell, 2 (349-359):
  • [40] COMPLEXITY RESULTS FOR THE DEFAULT-LOGIC AND THE AUTOEPISTEMIC LOGIC
    STEFFEN, E
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1992, 626 : 339 - 352
12345