有序逻辑程序的回答集语义

摘要：

为了统一并扩充回答集语义,在带有规则序的逻辑程序中,基于不动点原理,采用了处理优先序的新方法--直接在规则迭代过程中考虑规则序的作用.用此方法得到了9种不同的回答集语义,并讨论了各种语义之间的关系;证明了它们在包含意义下不是构成线序结构,而是一般的格结构;在层次逻辑程序中,该类回答集语义都退化为普通的回答集语义.

关键词：逻辑程序、回答集语义、优先序

所属期刊栏目：41

分类号：TP18;TP301(自动化基础理论)

在线出版日期：2006-04-27（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：163-167