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 条
12345