计算机工程
計算機工程
계산궤공정
COMPUTER ENGINEERING
2011年
11期
181-183
,共3页
逻辑程序%良基模型%最大无基集%多项式
邏輯程序%良基模型%最大無基集%多項式
라집정서%량기모형%최대무기집%다항식
以无基集为基础,结合最大无基集的定义,提出一个多项式时间算法.算法给定一个逻辑程序P和它的一个解释I,求得一个作用在P和I上单调算子的最小不动点,并将该最小不动点中的元素从逻辑程序P的Herbrand基中删去得到一个集合A,集合A即为关于I的最大无基集.实验结果证明了该算法的正确性及复杂性.
以無基集為基礎,結閤最大無基集的定義,提齣一箇多項式時間算法.算法給定一箇邏輯程序P和它的一箇解釋I,求得一箇作用在P和I上單調算子的最小不動點,併將該最小不動點中的元素從邏輯程序P的Herbrand基中刪去得到一箇集閤A,集閤A即為關于I的最大無基集.實驗結果證明瞭該算法的正確性及複雜性.
이무기집위기출,결합최대무기집적정의,제출일개다항식시간산법.산법급정일개라집정서P화타적일개해석I,구득일개작용재P화I상단조산자적최소불동점,병장해최소불동점중적원소종라집정서P적Herbrand기중산거득도일개집합A,집합A즉위관우I적최대무기집.실험결과증명료해산법적정학성급복잡성.