归结策略的推理能力和复杂度
The inference-Ability of Some Incomplete Inference Strategies出 版 物：《辽宁大学学报（自然科学版）》 (Journal of Liaoning University：Natural Sciences Edition)
年 卷 期：1991年第18卷第1期
页 面：47-51页
学科分类：12[管理学] 1201[管理学-管理科学与工程(可授管理学、工学学位)] 081104[工学-模式识别与智能系统] 08[工学] 0835[工学-软件工程] 0811[工学-控制科学与工程] 0812[工学-计算机科学与技术（可授工学、理学学位）]
摘 要：为了对基于归结原理的各种归结策略进行性能分析,本文提出了推理能力和复杂度两个概念,并证明了:有序语义归结的推理能力强于单元归结;(2)有序线性归结的复杂度是指数级的。
维普期刊数据库
同方期刊数据库