LOGIC PROGRAM SEMANTICS AND CIRCUMSCRIPTION OF AUTOEPISTEMIC THEORIES

被引：1
|
作者：
YUAN, LY
机构：
[1] Department of Computing Science, The University of Alberta, Edmonton
来源：
INFORMATION PROCESSING LETTERS | 1994年 / 50卷 / 03期
基金：
加拿大自然科学与工程研究理事会;
关键词：
LOGIC PROGRAMMING; AUTOEPISTEMIC LOGIC; CIRCUMSCRIPTION; NONMONOTONIC REASONING;
D O I：
10.1016/0020-0190(94)00018-2
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
In this paper we first demonstrate that all three prominent semantics for logic programs can be redefined in terms of alternating fixpoints of the Gelfond-Lifschitz transformation, and then show that the three semantics can be characterized by circumscription of autoepistemic theories.
引用
收藏
页码：159 / 164
页数：6
相关论文
共 50 条
  • [1] AUTOEPISTEMIC CIRCUMSCRIPTION AND LOGIC PROGRAMMING
    YUAN, LY
    YOU, JH
    JOURNAL OF AUTOMATED REASONING, 1993, 10 (02) : 143 - 160
  • [2] BETWEEN CIRCUMSCRIPTION AND AUTOEPISTEMIC LOGIC
    LIFSCHITZ, V
    PROCEEDINGS OF THE FIRST CONFERENCE ON PRINCIPLES OF KNOWLEDGE REPRESENTATION AND REASONING, 1989, : 235 - 244
  • [3] Default, autoepistemic theories and paraconsistent logic program
    Nakamatsu, K
    Suzuki, A
    ADVANCES IN INTELLIGENT SYSTEMS AND ROBOTICS, 2003, 101 : 18 - 25
  • [4] On the relation between autoepistemic logic and circumscription
    1600, Morgan Kaufmann Publ Inc, San Mateo, CA, USA (02):
  • [5] Computation of the semantics of autoepistemic belief theories
    Brass, Stefan
    Jürgen, Dix
    Przymusinski, Teodor C.
    Artificial Intelligence, 1999, 112 (01): : 233 - 250
  • [6] Computation of the semantics of autoepistemic belief theories
    Brass, S
    Dix, J
    Przymusinski, TC
    ARTIFICIAL INTELLIGENCE, 1999, 112 (1-2) : 233 - 250
  • [7] AUTOEPISTEMIC LOGICS AS A UNIFYING FRAMEWORK FOR THE SEMANTICS OF LOGIC PROGRAMS
    BONATTI, PA
    JOURNAL OF LOGIC PROGRAMMING, 1995, 22 (02): : 91 - 149
  • [8] Fixpoint 3-valued semantics for autoepistemic logic
    Denecker, M
    Marek, V
    Truszczynski, M
    FIFTEENTH NATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE (AAAI-98) AND TENTH CONFERENCE ON INNOVATIVE APPLICATIONS OF ARTIFICAL INTELLIGENCE (IAAI-98) - PROCEEDINGS, 1998, : 840 - 845
  • [9] Translating multi-agent autoepistemic logic into logic program
    Kojima, Takahiro
    Toyama, Katsuhiko
    Inagaki, Yasuyoshi
    Transactions of the Japanese Society for Artificial Intelligence, 2002, 17 (02) : 114 - 126
  • [10] AUTOEPISTEMIC LOGIC
    MAREK, W
    TRUSZCZYNSKI, M
    JOURNAL OF THE ACM, 1991, 38 (03) : 588 - 619
12345