论文部分内容阅读
为了对基于归结原理的各种归结策略进行性能分析,本文提出了推理能力和复杂度两个概念,并证明了:有序语义归结的推理能力强于单元归结;(2)有序线性归结的复杂度是指数级的。更多还原
归结策略的推理能力和复杂度
【摘 要】
：
为了对基于归结原理的各种归结策略进行性能分析,本文提出了推理能力和复杂度两个概念,并证明了:有序语义归结的推理能力强于单元归结;(2)有序线性归结的复杂度是指数级的。
【机 构】
：
东北工学院计算机系,辽宁大学计算机系
【出 处】
：
辽宁大学学报：自然科学版
【发表日期】
：
1991年1期
其他文献
针对目前城市污水处理厂产生大量污泥,二次污染日益严重的状况,介绍了城市污泥磁化低温热解技术的工作原理、技术特点、工艺流程、检测情况。指出污泥磁化低温热解技术是污泥
目的观察俯卧位通气联合小肠造瘘喂养治疗食管癌术后并发重度急性呼吸窘迫综合征(ARDS)患者的效果。方法将64例食管癌术后并发重度ARDS患者随机分为两组,每组32例。观察组患
安塞油田采油一厂始终坚持“以人为本、预防为主、持续改进”的HSE工作方针,积极培育、树立“一切事故都是可以避免”的安全管理新理念,建立并实施“监管分离、同体管理、异
会议
本文在25℃下测定了Pt,H2（1atm）HCl（m）,PrOH（X）,H2O（1-X） AgCl-Ag无液接电池电动势,其中m为HCl的质量摩尔浓度,X为PrOH在混合溶剂中摩尔分数,X=0.02,0.05,0.08和0.12,利用Roy等人提出
期刊
医学名词以1988年以来全国自然科学名词审定委员会公布,并由科学出版社出版的《医学名词》和相关学科方面的规范名词为准,暂未公布者仍以人民卫生出版社编写的《英汉医学词汇
本文作者对中性红染料摄入法的实验条件──肺泡灌洗细胞贴壁时间选择；摄入中性红时间对吞噬活性的影响，及细胞数量时吞噬活性的影响作了探讨．并对肺癌患者肺泡巨噬细胞吞噬活性
一、前言干燥处理工艺和干燥设备是直接影响变压器产品质量和变压器生产周期的重要环节。各变压器厂都很重视，并都根据本单位的具体情况在选择适合本单位生产规模和生产形势的
本文将模糊关系方程扩张成L—模糊关系方程,并将某些L—模糊关系方程的求解问题转化为模糊关系方程的求解问题,然后通过例子说明L—模糊关系方程在某些实际问题中的应用。更
<正>2018年5月31日,工业和信息化部信息化和软件服务业司组织召开工业大数据应用及管理研讨会。航天科工、海尔、中国一汽、三一重工、宝武钢铁、长江电力、联想、潍柴动力等
针对油田单位的监督管理问题,深入分析监督管理中存在的主要问题,并根据问题出现的原因,提出相应的解决措施,以期推动我国油田安全生产工作的发展。研究表明:油田单位对安全