真稳定类与辩论语义

PROPER STABLE CLASS AND ARGUMENTATION SEMANTICS

稳定类语义和辩论语义是逻辑程序语义学研究方面突出的两种语义统一框架理论，它们统一了一些很重要的语义．因为它们有着不同的直觉和概念，它们的相互关系并不清楚．我们在它们最基础的概念层次上证明了，常规逻辑程序句法下二者是等价的，它们有着同样的语义统一能力．基于这个结果，我们为有前途的辩论语义指明一种迭代构造的方法．

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.