论文部分内容阅读
本文在利用地质、物探、测井等多学科资料进行地质综合推理中,提出一种基于知识间联接机制实现自动推理的程序设计方法.将以客观对象为中心的程序设计思想转变为以知识互连为中心的程序设计思想,使软件的运行过程本身与思维过程更接近,为人们认识主观世界、抽象思维提供了一种新的途径,并用于实际程序的设计.
基于知识联接的自动推理方法及应用
【摘 要】
：
本文在利用地质、物探、测井等多学科资料进行地质综合推理中,提出一种基于知识间联接机制实现自动推理的程序设计方法.将以客观对象为中心的程序设计思想转变为以知识互连为
【机 构】
：
中国科学院软件研究所(北京)
【出 处】
：
第六届中国人工智能职合学术会议
【发表日期】
：
2001年期
其他文献
通过对比CFM56-3和CFM56-7高压涡轮段的差异,详细介绍了CFM56-7高压涡轮转子叶片前缘和后缘孔探检查中内窥镜的选择、缺陷判断方法以及放行标准。
By comparing the differe
行动推理是人工智能研究的重要课题,结果问题是目前行动推理研究的核心问题之一.结果问题的解决方法可分为极小化方法和基于因果关系方法两大类.本文首先说明了结果问题的困
改革开放 30年来，中国从“农村社会”向“城市社会”转变，当前的规划管理体制起到了积极的推动作用。中国的城市规划建设基本走上了循序渐进的发展轨道，城市规划和建设也取得了
This review intends to introduce the application of lignin-derived catalyst for green organic synthesis over latest two decades and aims to present a renewable
自1995年被空客A330飞机选装以来,遄达700凭借其Total Care全面维护服务已成为罗罗公司最赚钱的发动机之一。尽管作为A330的选装发动机已经使用了20年,但未来遄达700的售后服
行动推理是人工智能的重要研究课题,本文概要地介绍了行动推理的主要研究内容.首先,介绍了行动推理的产生背景,主要任务,然后简要描述了行动推理中四大类形式方法,即基于经典
随着现代科学技术水平的不断提升，为我国工业现代化生产的发展提供了强有力的技术支持。机器人利用现代自动化控制技术，模仿人类的行为完成一些工业生产行为。工业机器人的诞生
通过与具有相同机型的B航空公司进行数据交流和对比分析,找出与A公司机队故障率以及故障延误关联度高的维修手册上对应的重点章节进行可靠性分析,借鉴B公司成熟的维护经验,提
空间推理在AI中占有很重要的地位,在地理信息系统(GIS)、全球卫星定位系统(GPS)、机器人学、自然语言理解等方面有着广泛的应用,同时又是上述许多研究的基础和关键,是一个很