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

摘要：

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

关键词：逻辑程序、良基模型、最大无基集、多项式

所属期刊栏目：37

分类号：N311.52(调查方法、工作方法)

资助基金：贵州省自然科学基金资助项目黔科合J字[2008]2119号;贵州省教育厅自然科学基金资助项目2008011

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

页数：共3页

页码：181-183