| 简单单调约束逻辑程序的良基语义研究 |
| |
| 引用本文： | 常万军,郭祖华,魏昆鹏.简单单调约束逻辑程序的良基语义研究[J].计算机工程与设计,2013,34(6). |
| |
| 作者姓名： | 常万军 郭祖华 魏昆鹏 |
| |
| 作者单位： | 1. 河南机电高等专科学校 计算机科学与技术系,河南新乡,453000
2. 贵州大学,计算机科学与信息学院,贵州贵阳550025 |
| |
| 基金项目： | 河南省高等学校青年骨干教师资助计划基金项目 |
| |
| 摘 要： | 在介绍约束逻辑程序的相关概念的基础上,研究了简单单调约束逻辑程序约束原子的正文字前缀幂集展开方法,并证明展开后的正规逻辑约束与约束逻辑程序的等价特性.分析了正规逻辑程序的交替不动点良基模型建立的原理,将简单单调约束逻辑程序等价展开为与其等价的正规逻辑程序,以求展开后的逻辑程序中的给定算子的最小不动点为切入,给出了简单单调约束逻辑程序的交替不动点的良基模型.论证了文中提出的简单单调约束逻辑程序良基模型定义的合理性,说明把约束逻辑程序转化为正规逻辑程序是可行的.
|
| 关 键 词： | 逻辑程序 简单单调约束逻辑 回答集 稳定模型 良基语义 |
Study on well-founded semantic of basic monotonic constraint logic programs |
| |
| CHANG Wan-jun
,
GUO Zu-hua
,
WEI Kun-peng.Study on well-founded semantic of basic monotonic constraint logic programs[J].Computer Engineering and Design,2013,34(6). |
| |
| Authors: | CHANG Wan-jun GUO Zu-hua WEI Kun-peng |
| |
| Abstract: | |
| |
| Keywords: | logic program basic monotonic constraint logic program answer setprogram stable model well-founded semantic |
| 本文献已被 万方数据 等数据库收录！ |
|
