论文部分内容阅读
以可计算性逻辑的完备子集CL4为基础进行知识表示,将知识分为简单知识与一般知识.通过分析知识库系统的特点和需求,给出了采用正反向混合推理方法的推理机设计,并举例说明以CL4为基础的知识库系统,具有能够表达和查询更细致的知识、便于用户和系统交互的优点.
基于可计算性逻辑的知识表示与推理
【摘 要】
：
以可计算性逻辑的完备子集CL4为基础进行知识表示,将知识分为简单知识与一般知识.通过分析知识库系统的特点和需求,给出了采用正反向混合推理方法的推理机设计,并举例说明以C
【机 构】
：
西安电子科技大学理学院应用数学系
【出 处】
：
吉林大学学报(理学版)
【发表日期】
：
2009年6期
其他文献
2005年7月23日，由中国石化集团公司石科院、九江分公司、镇海炼化公司、洛阳石化工程公司、催化剂齐鲁分公司共同承担的中国石化科技开发合同项目暨“十条龙”科技攻关项目“
采用RF磁控溅射技术,以掺杂氮化锂的氧化锌陶瓷为靶材,用不同物质的量比的高纯氩气和氧气混合气体为溅射气体,在石英衬底上生长锂氮共掺氧化锌薄膜,并在600℃真空热退火30min
粒子激发X射线谱仪（APXS）是我国嫦娥三号卫星月球巡视器的有效载荷之一,其主要目的是对月面土壤和岩石完成就位探测和离线分析,距离感知功能是保障APXS有效探测的一项重要功能
分析了加氯装置氯气装置氯气泄漏的主要原因，讨论了尾气吸收系统吸收氯的机理，阐述了对尾气吸收系统的处理能力，吸收设备的具体要求，以及装置运行中注意事项。
结合扬子石化公司热电厂化学水系统改造的实际情况，从床型、树脂的选型到投资和运行费用等方面进行技术经济分析，说明了选用双室沸腾浮动床替代固定床，具有投资少、占地少、运行
采用心理物理实验方法中的同时双眼观察技术,组织3名不同年龄段（21,32,58岁）的观察者在EIZO液晶显示器上,每人重复7次匹配九种打印色样,建立不同年龄观察者匹配跨媒体颜色的数
系统地阐述了稳高压消防给水系统的工作原理，深入探讨了设计要点．包括系统的形式及组成、系统供水范围划分、设备配置及技术参数确定、控制方式及联锁要求，并对管网材质和消防水
针对色谱进行变压器溶解气体在线监测需要载气、定期标定、安全性低等缺陷,试图建立一种傅里叶变换红外光谱法的油溶解气体在线分析系统。考虑特征气体量小、成分多、检测限