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

• 作者: 方毅立 赵岭忠 钱俊彦
• 来源期刊: 计算机科学
• 学科: 工学
• 关键词: 回答集逻辑程序 回答集 划分集 否定圈
• 年，卷（期）: 2011,（12）
• 所属期刊栏目: 人工智能
• 页码范围: 213-220
• 分类号: TP311.1
• 字数: 13128字
• 语种: 中文
• DOI: 10.3969/j.issn.1002-137X.2011.12.048

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	钱俊彦	桂林电子科技大学广西可信软件重点实验室	86	238	9.0	10.0
2	赵岭忠	桂林电子科技大学广西可信软件重点实验室	64	229	8.0	11.0
4	方毅立	桂林电子科技大学广西可信软件重点实验室	1	0	0.0	0.0