论文部分内容阅读
归结演绎推理是一种在计算机上得到较好实现的基于归结原理的推理技术,介绍归结原理的基本思想以及它在自动推理中的应用。
归结原理及其应用
【摘 要】
：
归结演绎推理是一种在计算机上得到较好实现的基于归结原理的推理技术,介绍归结原理的基本思想以及它在自动推理中的应用。
【机 构】
：
浙江万里学院,空军第一航空学院
【出 处】
：
计算机与数字工程
【发表日期】
：
2007年5期
其他文献
自2007年7月1日起,中介机构的房源须进行网上公示,且实施网上签约,同时,正式签署统一标准的二手房买卖合同。5月22日,北京市建委又下发了《关于实行存量房买卖合同
摩根士丹利亚太区首席经济学家谢国忠在其近期发表的《日元汇率变动,危机再现》的研究报告中指出,由于日币不断贬值,有可能使得市场对于人民币升值的预期减弱,触发大量热钱撤
湖南海诺电梯有限公司不仅吸收了精良的德国电梯技术,而且在售后服务上更胜一筹。为了让客户用到称心的产品,湖南海诺电梯有限公司建立了完善的售后服务体系。在德国、在欧洲
利用金膜光纤SPR传感器测定标准试剂折射率，实现了对金膜折射率的测试．给出金膜光纤SPR传感器总反射系数与金膜折射率等参量关系表达式．采用经典金膜折射率计算结果与试验结果相
同志们：按照省委统一部署，在省委第八指导组有力指导下，我厅学习实践活动分析检查阶段的任务已经基本完成，经省委学习实践活动工作领导小组办公室同意，将转入整改落实阶段。今天会
一、社会经济环境上半年广东经济运行保持快速增长态势,完成国内生产总值13544.46亿元,比上年同期增长14.3%,增幅同比基本持平。完成全社会固定资产投资3851.93亿元,同比增长
从实现电子商务安全性的基本框架出发,对电子商务中的各种安全技术进行了分析,以探讨一种有效、安全的实现电子商务的途径.
古今先哲对趣味的重要性曾有精辟的见解。春秋时期的大教育家孔夫子高唱：“知之者不如好之者，好之者不如乐之者。”近代中国史学的代表人物梁启超则说：“我是主张趣味主义的人，倘若用化学化分‘梁启超’这件东西，把里头所含的一种叫‘趣味’的元素抽出来，只怕所剩的仅有个零了。”这表明：热爱是最好的老师，兴趣是最强大的动力。学生有了兴趣，才会在课堂上有活力，主动地进行学习。教育心理学研究也表明，在中学生的头脑中，
1月12日,天津市2007年第一次经营性用地出让信息发布会,拟公开出让17宗土地,可建设土地面积118公顷,规划总建筑面积259万平方米。据介绍,这些地块全部位于规划环外环范围内。
分析了不同空气孔形状的光子晶体受位置和半径微扰对于透射的影响,包括圆形,方形与椭圆形.仿真结果发现及形状相同微扰程度下,通过比较透射平坦带宽部分的分析得到透射率对位