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 条
  • [1] A correct logic programming computation of default logic extensions
    Antoniou, G
    Langetepe, E
    [J]. JOURNAL OF AUTOMATED REASONING, 1997, 18 (01) : 25 - 46
  • [2] STATISTICAL EXTENSIONS OF STATISTICAL DEFAULT LOGIC
    Fu, Li
    [J]. QUANTITATIVE LOGIC AND SOFT COMPUTING, 2012, 5 : 649 - 656
  • [3] A system for computing constrained default logic extensions
    Antoniou, G
    Courtney, AP
    Ernst, J
    Williams, MA
    [J]. LOGICS IN ARTIFICIAL INTELLIGENCE, 1996, 1126 : 237 - 250
  • [4] A Default Logic Patch for Default Logic
    Besnard, Philippe
    Gregoire, Eric
    Ramon, Sebastien
    [J]. SYMBOLIC AND QUANTITATIVE APPROACHES TO REASONING WITH UNCERTAINTY, PROCEEDINGS, 2009, 5590 : 578 - +
  • [5] GADEL:: a Genetic Algorithm to compute default logic extensions
    Nicolas, P
    Saubion, F
    Stéphan, I
    [J]. ECAI 2000: 14TH EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE, PROCEEDINGS, 2000, 54 : 484 - 488
  • [6] COMPUTING EXTENSIONS OF DEFAULT LOGIC - PRELIMINARY-REPORT
    ANTONIOU, G
    LANGETEPE, E
    SPERSCHNEIDER, V
    [J]. LOGIC PROGRAMMING AND AUTOMATED REASONING, 1993, 698 : 19 - 27
  • [7] Logic programming with default, weak and strict negations
    Yamasaki, Susumu
    [J]. THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2006, 6 : 737 - 749
  • [8] Compiling default theory into extended logic programming
    Garcia, BB
    Lopes, GP
    Varejao, F
    [J]. ADVANCES IN ARTIFICIAL INTELLIGENCE, 2000, 1952 : 207 - 216
  • [9] Logic programming without default negation revisited
    Wang, XC
    You, JH
    Yuan, LY
    [J]. 1997 IEEE INTERNATIONAL CONFERENCE ON INTELLIGENT PROCESSING SYSTEMS, VOLS 1 & 2, 1997, : 1169 - 1173
  • [10] Expressing default logic variants in default logic
    Delgrande, JP
    Schaub, T
    [J]. JOURNAL OF LOGIC AND COMPUTATION, 2005, 15 (05) : 593 - 621
12345