论文部分内容阅读
本文介绍了《天马》环境的主要功能,并从多知识表示和多推理机结构、配套的知识获取工具、现代接口工程技术、实用化的集成机制等四个方面阐述了它的主要特色。
《天马》专家系统开发环境的设计思想
【摘 要】
：
本文介绍了《天马》环境的主要功能,并从多知识表示和多推理机结构、配套的知识获取工具、现代接口工程技术、实用化的集成机制等四个方面阐述了它的主要特色。
【机 构】
：
中国科学院数学研究所北京,100080
【出 处】
：
计算机研究与发展
【发表日期】
：
1991年10期
其他文献
ＳＤＨ电信网络管理系统解放军信息工程学院梁军杰一、引言电信网的规模不断扩大，电信业务的种类不断增加，整个电信网络变得越来越复杂，对电信网进行维护管理的要求也越来越高。为了提
从目前职业教育的专业课教材来看，有相当一部分教材对新知识、新技术、新标准、新规范反映不够，加上教材编写所固有的周期性，使得职业岗位广泛采用的新知识、新技术未能及时进入
一、高校对小学美术师资培养的现状以重庆现有初等教育专业的高等院校来看，基本上是以前的中等师范学校转制而来，在培养中师阶段方面有着丰富的经验。但是在专科和本科阶段的教
对于一般的n,本文给出了n维超立方体拓扑结构O_n(Q_n中的每个顶点代表一台计算机)中通信传输路由长度互不相等的最大顶点子集中的顶点个数,并且,对某些n求出了Q_n 中通信传输
概念化个体的分类层次结构是智能信息处理系统中模型化问题域的一种有效方法。文中探讨如何把概念化个体的分类层次结构与面向对象的程序设计风格和多种知识表示方法相结合，给
ＡＢＳＴＲＡＣＴ，Ｃ－Ｔ－ＡＢＳ是把λ表达式转换成ＳＫＩ表达式的抽象算法，是函数式语言实现的理论基础。本文从λ演算，ＳＫＩ演算的基本理论出发，对这两个算法进行了理论推导及功能的等价证明。展示了对一输入，Ｃ－Ｔ－ＡＢＳ能生成较优