摘要
稳定类语义和辩论语义是逻辑程序语义学研究方面突出的两种语义统一框架理论,它们统一了一些很重要的语义.因为它们有着不同的直觉和概念,它们的相互关系并不清楚.我们在它们最基础的概念层次上证明了,常规逻辑程序句法下二者是等价的,它们有着同样的语义统一能力.基于这个结果,我们为有前途的辩论语义指明一种迭代构造的方法.
Stable class and argumentation semantics are two outstanding unifying frameworks in the research of declarative semantics for logic programs, and they unify some very important semantics. Because they have different intuition and concepts, their relation is not clear yet. It is shown that their fundamental concepts are equivalent under normal logic programs, so they have the same unifying capability. Based on such a result, a constructive procedure is presented for computing the promising argumentation semantics.
出处
《计算机研究与发展》
EI
CSCD
北大核心
1999年第8期936-942,共7页
Journal of Computer Research and Development
基金
国家自然科学基金
关键词
逻辑程序语义学
稳定类语义
辨论语义
logic programming, stable class, argumentation system, abductive reasoning, declarative semantics, proof procedure