|
|||||
|
|
| 约束逻辑程序的良基模型研究 | |
| 引用本文： | 常万军,郭祖华,魏昆鹏. 约束逻辑程序的良基模型研究[J]. 计算机工程, 2013, 0(9) |
| 作者姓名： | 常万军 郭祖华 魏昆鹏 |
| 作者单位： | 1. 贵州大学计算机科学与信息学院，贵阳 550025; 河南机电高等专科学校计算机科学与技术系，河南 新乡 453000 2. 河南机电高等专科学校计算机科学与技术系,河南 新乡,453000 3. 贵州大学计算机科学与信息学院,贵阳,550025 |
| 基金项目： | 河南省高等学校青年骨干教师基金资助项目 |
| 摘 要： | 在介绍约束逻辑程序的定义、可满足性及其稳定模型等概念的基础上，研究约束逻辑程序的正文字展开方法和约束原子的正文字前缀幂集方法，对展开前后逻辑程序的等价特性进行逻辑证明。分析正规逻辑程序良基模型的构建方法，以求得经展开得到的等价正规逻辑程序的最小不动点为切入，给出简单约束逻辑程序交替不动点的良基语义模型。经推理证明，该良基模型是合理的，用该模型的构建方法将约束逻辑程序转化为正规逻辑程序也是可行的。 |
| 关 键 词： | 正规逻辑程序 约束逻辑程序 回答集 最小不动点 良基模型 前缀幂集 |
Study on Well-founded Model of Constraint Logic Program |
|
| CHANG Wan-jun , GUO Zu-hua , WEI Kun-peng. Study on Well-founded Model of Constraint Logic Program[J]. Computer Engineering, 2013, 0(9) | |
| Authors: | CHANG Wan-jun GUO Zu-hua WEI Kun-peng |
| Abstract: | |
| Keywords: | normal logic program constraint logic program answer set minimal fixed point well-founded model prefix power set |
| 本文献已被 万方数据 等数据库收录！ | |