方毅立
- 作品数：2 被引量：0H指数：0
- 供职机构：桂林电子科技大学更多>>
- 发文基金：软件工程国家重点实验室开放基金国家自然科学基金广西研究生教育创新计划更多>>
- 相关领域：自动化与计算机技术金属学及工艺更多>>
- 逻辑程序的回答集存在性理论与应用问题研究
- 回答集编程(Answer Set Programming, ASP)的出现是非单调推理领域的突破性成果,其理论基础是Gelfond和Lifschitz提出的回答集语义。目前,ASP在规划、诊断、行动推理、智能机器人的规划...
- 方毅立
- 关键词：逻辑程序存在性装配序列规划
- 文献传递
- 正规逻辑程序回答集存在性研究
- 2011年
- 判断逻辑程序的回答集是否存在是回答集程序设计的一个重要问题,也是NP完全问题。当前利用否定圈边数的奇偶性来判断回答集存在性的方法还具有一定的局限性,即:对于非分层逻辑程序,现有方法并不能准确判断其回答集存在性。针对该问题,提出了一种新的基于否定圈的判断方法,给出了该判断方法的算法框架,证明了算法的正确性,并以实例分析说明了方法的有效性。
- 方毅立赵岭忠钱俊彦
