计算最大无基集的多项式时间算法

• 作者: 王以松 魏昆鹏
• 来源期刊: 计算机工程
• 学科: 地球科学
• 关键词: 逻辑程序 良基模型 最大无基集 多项式
• 年，卷（期）: 2011,（11）
• 所属期刊栏目: 人工智能及识别技术
• 页码范围: 181-183
• 分类号: N311.52
• 字数: 4381字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-3428.2011.11.062

摘要

以无基集为基础,结合最大无基集的定义,提出一个多项式时间算法.算法给定一个逻辑程序P和它的一个解释I,求得一个作用在P和I上单调算子的最小不动点,并将该最小不动点中的元素从逻辑程序P的Herbrand基中删去得到一个集合A,集合A即为关于I的最大无基集.实验结果证明了该算法的正确性及复杂性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	王以松	贵州大学计算机科学与信息学院	23	51	4.0	5.0
2	魏昆鹏	贵州大学计算机科学与信息学院	4	13	2.0	3.0