正规逻辑程序回答集存在性研究

摘要：

判断逻辑程序的回答集是否存在是回答集程序设计的一个重要问题,也是NP完全问题.当前利用否定圈边数的奇偶性来判断回答集存在性的方法还具有一定的局限性,即:对于非分层逻辑程序,现有方法并不能准确判断其回答集存在性.针对该问题,提出了一种新的基于否定圈的判断方法,给出了该判断方法的算法框架,证明了算法的正确性,并以实例分析说明了方法的有效性.

关键词：回答集逻辑程序、回答集、划分集、否定圈

所属期刊栏目：38

分类号：TP18;TP301.2(自动化基础理论)

资助基金：国家自然基金60803033,61063002;广西自然基金2011GXNSFA018166,2011GXNSFA018164;武汉大学软件工程国家重点实验室开放基金项目SKLSE2010-08-06;广西研究生教育创新计划资助项目2010105950812M28

在线出版日期：2012-03-16（万方平台首次上网日期，不代表论文的发表时间）

页数：共8页

页码：213-220