期刊文献+
共找到1篇文章
< 1 >
每页显示 20 50 100
简单单调约束逻辑程序的良基语义研究
1
作者 常万军 郭祖华 魏昆鹏 《计算机工程与设计》 CSCD 北大核心 2013年第6期2180-2184,共5页
在介绍约束逻辑程序的相关概念的基础上,研究了简单单调约束逻辑程序约束原子的正文字前缀幂集展开方法,并证明展开后的正规逻辑约束与约束逻辑程序的等价特性。分析了正规逻辑程序的交替不动点良基模型建立的原理,将简单单调约束逻辑... 在介绍约束逻辑程序的相关概念的基础上,研究了简单单调约束逻辑程序约束原子的正文字前缀幂集展开方法,并证明展开后的正规逻辑约束与约束逻辑程序的等价特性。分析了正规逻辑程序的交替不动点良基模型建立的原理,将简单单调约束逻辑程序等价展开为与其等价的正规逻辑程序,以求展开后的逻辑程序中的给定算子的最小不动点为切入,给出了简单单调约束逻辑程序的交替不动点的良基模型。论证了文中提出的简单单调约束逻辑程序良基模型定义的合理性,说明把约束逻辑程序转化为正规逻辑程序是可行的。 展开更多
关键词 逻辑程序 简单单调约束逻辑 回答集 稳定模型 良基语义
在线阅读 下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部