刘蕻
- 作品数：4 被引量：1H指数：1
- 供职机构：贵州大学计算机科学与技术学院更多>>
- 发文基金：国家自然科学基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 带函数析取逻辑程序的无基集及其应用
- 2015年
- 基于回答集(也称稳定模型)语义的带函数析取逻辑程序是一种重要的知识表示和推理方法。由于判定一个析取逻辑程序是否有回答集是困难的(Σ2完全的),目前还没有有效的方法来计算带函数析取逻辑程序的回答集,主要原因之一是检查一个集合是否是回答集是co NP完全的。提出了带函数析取逻辑程序无基集(unfounded sets)的概念,发现了空无基集(unfounded-free sets)与稳定模型之间的一一对应关系,在此基础上,证明了一个逻辑程序的模型是该程序的稳定模型当且仅当它们对应的一个命题公式是不可满足的,从而在理论上为计算带函数析取逻辑程序的回答集提供了一种有效的途径。
- 梅俊杰刘蕻原国伟王以松
- 关键词：函数
- 2-CNF理论的逻辑差
- 2015年
- 如何刻画知识库不同版本之间的区别是研究知识库动态更新中的一个重要问题。提出了命题逻辑知识库的逻辑结论差概念(称为逻辑差)。然而,一般知识库之间逻辑差的计算是不易处理的,而且不满足范畴性,即不能保证其结果仍然可以用同类型的知识库来表达;由于2-CNF理论的可满足问题的易处理性,证明了2-CNF理论的逻辑差具有范畴性,并设计了一个多项式时间算法计算它们的逻辑差。
- 刘蕻原国伟梅俊杰王以松
- 关键词：知识工程
- 随机图的哈密尔顿回路实验研究被引量：1
- 2013年
- 哈密尔顿回路问题是图论的经典NP-难解问题之一,在计算机科学中被广泛用作测试用例以测试算法/系统的有效性,包括可满足性(SAT)、回答集程序设计(ASP)以及约束可满足问题(CSP)等。在本文中,我们通过ASP实验研究了40到100个节点(步长为10)随机图的哈密尔顿回路存在性、不存在性、以及难于计算等的分布情况,结果表明它们都具有一定的规律。这不仅对随机图的哈密尔顿回路本身是有益的探索,也为生成随机图哈密尔顿测试用例提供了有益的指导。
- 梅俊杰刘蕻许欢王以松
- 关键词：随机图
- 动态速度和代价约束的最短路径算法
- 2015年
- Dijkstra算法是计算有向图中一个节点到其余各个节点最短路径的著名多项式时间算法,在交通规划、地理信息系统等方面有重要的应用。本文改进Dijkstra算法用于计算带有动态速度和代价约束的有向图中节点之间的最短路径,即有向图的节点之间除了静态的距离外,还有动态的速度和代价,例如城市交通中的高峰与非高峰时段影响速度/时间,收费与非收费路段影响代价;时间和代价在最短路径中由一个比例因子控制,通过调节该比例因子可计算节点间的最短时间/距离和最少代价的路径。该改进的算法被证明是可靠的,实验结果也表明了该算法的有效性。
- 原国伟梅俊杰刘蕻王以松
- 关键词：最短路DIJKSTRA算法
