魏昆鹏
- 作品数：4 被引量：5H指数：2
- 供职机构：贵州大学计算机科学与信息学院更多>>
- 发文基金：贵州省教育厅自然科学研究项目贵州省自然科学基金河南省高等学校青年骨干教师资助计划项目更多>>
- 相关领域：自动化与计算机技术自然科学总论更多>>
- 带函数的正规逻辑程序设计系统(英文)被引量：3
- 2009年
- 带函数的回答集程序设计(FASP)允许在正规逻辑程序中嵌入函数符号,描述了这个系统fasp的设计与实现。其基本思想是把简单函数和原子当成变量,程序的Clark完备化和环公式约束处理(CSP)中的约束,然后通过已有的CSP求解器来计算其CSP例的解。ASP的测试用例也可通过fasp应用于CSP中。我们用汉密尔顿回路问题和N-皇后问题测试了该系统,并与其它系统进行了比较,实验结果表明,fasp对N-皇后问题有较好的效率。
- 王以松魏昆鹏
- 关键词：人工智能逻辑程序函数
- 简单单调约束逻辑程序的良基语义研究
- 2013年
- 在介绍约束逻辑程序的相关概念的基础上,研究了简单单调约束逻辑程序约束原子的正文字前缀幂集展开方法,并证明展开后的正规逻辑约束与约束逻辑程序的等价特性。分析了正规逻辑程序的交替不动点良基模型建立的原理,将简单单调约束逻辑程序等价展开为与其等价的正规逻辑程序,以求展开后的逻辑程序中的给定算子的最小不动点为切入,给出了简单单调约束逻辑程序的交替不动点的良基模型。论证了文中提出的简单单调约束逻辑程序良基模型定义的合理性,说明把约束逻辑程序转化为正规逻辑程序是可行的。
- 常万军郭祖华魏昆鹏
- 关键词：逻辑程序
- 约束逻辑程序的良基模型研究被引量：1
- 2013年
- 在介绍约束逻辑程序的定义、可满足性及其稳定模型等概念的基础上,研究约束逻辑程序的正文字展开方法和约束原子的正文字前缀幂集方法,对展开前后逻辑程序的等价特性进行逻辑证明。分析正规逻辑程序良基模型的构建方法,以求得经展开得到的等价正规逻辑程序的最小不动点为切入,给出简单约束逻辑程序交替不动点的良基语义模型。经推理证明,该良基模型是合理的,用该模型的构建方法将约束逻辑程序转化为正规逻辑程序也是可行的。
- 常万军郭祖华魏昆鹏
- 计算最大无基集的多项式时间算法被引量：3
- 2011年
- 以无基集为基础,结合最大无基集的定义,提出一个多项式时间算法。算法给定一个逻辑程序P和它的一个解释I,求得一个作用在P和I上单调算子的最小不动点,并将该最小不动点中的元素从逻辑程序P的Herbrand基中删去得到一个集合A,集合A即为关于I的最大无基集。实验结果证明了该算法的正确性及复杂性。
- 魏昆鹏王以松
- 关键词：逻辑程序多项式
