期刊文章详细信息
归结策略的推理能力和复杂度
The inference-Ability of Some Incomplete Inference Strategies
文献类型：期刊文章
机构地区：[1]东北工学院计算机系 [2]辽宁大学计算机系
年 份：1991
卷 号：18
期 号：1
起止页码：47-51
语 种：中文
收录情况：AJ、CAS、CSA、CSA-PROQEUST、MR、RCCSE、普通刊
摘 要：为了对基于归结原理的各种归结策略进行性能分析,本文提出了推理能力和复杂度两个概念,并证明了:有序语义归结的推理能力强于单元归结;(2)有序线性归结的复杂度是指数级的。
关 键 词：归结策略 推理能力 复杂度
分 类 号：TP18]
参考文献：
正在载入数据...
二级参考文献：
正在载入数据...
耦合文献：
正在载入数据...
引证文献：
正在载入数据...
二级引证文献：
正在载入数据...
同被引文献：
正在载入数据...
