【摘 要】
：
本文介绍一个基于框架知识表示的专家系统通用工具FBEST,它以框架为基本单元,将一阶谓词逻辑、过程、语义网络等与框架结合起来,用于描述一个独立概念,概念的属性描述不仅可
【机 构】
：
中国科学院成都计算机应用研究所,中国科学院计算技术研究所
论文部分内容阅读
本文介绍一个基于框架知识表示的专家系统通用工具FBEST,它以框架为基本单元,将一阶谓词逻辑、过程、语义网络等与框架结合起来,用于描述一个独立概念,概念的属性描述不仅可以是代表属性语义的符号,而且还可以是代表关系的函数或过程,并将一个概念的所有属性集约于同一结构。本文首先介绍FBEST用于描述事实、推理知识、元知识,然后介绍FBEST所提供的推理机制,包括继承性推理、正向推理及问题归约法,最后介绍了FBEST所提供的人机接口。
其他文献
本文提出了一个形式化的程序设计方法,即以循环不变式为指导,运用程序变换规则从程序说明逐步地形式化地推争程序。生成的程序对于输入说明和输出说明是正确的。我们使用正则
本文介绍一种“混合型”建筑套型的数据模型结构,它具有构造简单、灵活,结构易于扩充、修改,存贮量少的优点,它使用较少的存贮数据和模式一致的语法描述形式以及图形、参数的自动生成技术可以实现不同方案的重复性生成和评价。
2006年是国内玉米市场不平凡的一年。2006年国内玉米市场的不平凡体现在3个方面。其一．当年玉米产量预计可以达到14200万t的历史最高水平。这是国家粮油信息中心在其每月发布
<正> 多值逻辑的广泛应用,越来越引起人们的关注。本文提出在满足良序关系的多值逻辑系统中,用二值范布尔代数表示多值逻辑变量分量系数的方法,该方法使用二值逻辑运算来处理
选用含磷阻燃剂2-羧乙基苯基次膦酸(CEPPA)合成了不同磷含量的阻燃改性共聚酯。利用DSC、TGA对其热性能进行了分析,并对切片干燥后的特性粘度降进行了测试。结果表明,随着阻
本文将证明:一个给定的等值依赖与某个函数依赖集的等价性正好是这个等值依赖的最小表示形式的β-无回路性.
饲料霉变及由此引发的危害是困扰饲料工业和畜牧业生产不可忽视的问题。由于霉菌的生长消耗了饲料中的营养物质，饲料受霉菌污染后．营养价值严重降低。此外，动物摄人受霉菌污染的
本试验研究三黄鸡日粮中添加不同比例的壳聚糖对其生产性能及其营养物质消化代谢的影响。选1日龄健康、体重相近的三黄鸡96只，随机均分为4组，每组设2个重复．每个重复12只鸡。对
从2006年10月下旬到12月底。国内玉米期货、现货价格出现了大幅上涨，玉米投资者的热情很高涨。饲料企业则忧心忡忡。但这种高涨会持续多长时间。如何判断今后一段时间玉米价格
2007年，相信大多数业内人士与笔者一样有这种共识，那就是分析2007年的玉米市场比过去要更加困难。这也很正常，在玉米工业化革命到来以及国内玉米价格处于“十年等一回”的最高水