The Relationship Between Stable, Supported, Default and Autoepistemic Semantics for General Logic Programs
The Relationship Between Stable, Supported, Default and Autoepistemic Semantics for General Logic Programs
复制标题
通用逻辑程序的稳定、支持、默认和自认知语义之间的关系
DOI：
10.1016/0304-3975(92)90019-c
复制
发表时间：
1992
期刊：
影响因子：
--
通讯作者：
V. S. Subrahmanian
中科院分区：
文献类型：
--
作者：
V. Marek;V. S. Subrahmanian
我们研究了逻辑规划的各种替代语义之间的关系，即Gelfond和Lifschitz（1988）的稳定模型语义，Apt， Blair和Walker（1988）开发的支持模型语义，一般逻辑程序的自认知翻译（参见Moore(1985)）和一般逻辑程序的默认翻译，Reiter（1980）。
We investigate the relationship between various alternative semantics for logic programming, viz. the stable model semantics of Gelfond and Lifschitz (1988), the supported model semantics as developed by Apt, Blair and Walker (1988), autoepistemic translations (cf. Moore (1985)) of general logic programs and default translations of general logic programs, Reiter (1980).