论文部分内容阅读
本文对著名的专家系统开发工具EMYCIN 中提出的可信度迭加算法进行了讨论,指出该算法具有一些重要性质,并加以详细证明。同时,文中还阐述了这些性质在专家系统不精确推理过程中所具有的实际意义,从而为该算法应用于建造专家系统提供了理论依据。
关于EMYCIN可信度迭加算法几个性质的讨论
【摘 要】
：
本文对著名的专家系统开发工具EMYCIN 中提出的可信度迭加算法进行了讨论,指出该算法具有一些重要性质,并加以详细证明。同时,文中还阐述了这些性质在专家系统不精确推理过程中所具有的实际意义,从而为该算法应用于建造专家系统提供了理论依据。
【机 构】
：
南京航空学院,南京航空学院
【出 处】
：
计算机应用与软件
【发表日期】
：
1990年04期
其他文献
本文基于PROLOG 系统中A,B 栈计算模型,讨论了一致化问题,给出了关于替换和环境等数据结构的动态描述,并且给出了求一个目标的基例(ground instance)和一致化两个算法。一致化算法根据PROLOG 系统求解的要求得到基本的mgu(ground mostgeneral unifier)。在算法中应用了环境与结构共享技术,提高了效率。本文还给出了应用上述方法的计算实例。
VAX FORTH 程序设计系统是在RSX-11M 操作系统支持下工作。其核心部分的源程序被划分为主程序和若干个子程序。它采用致密的字头格式和线团状结构形式的字典结构,有二个字典,每个均包括十六个线团。本程序设计系统既可适应行结构式的FORTH 文本又可适应块结构式的FORTH 文本,它提供了和RSX-11M I/O 系统之间的接口。在FORTH 环境中又有执行MCR 命令的能力,VAX FORT
本文简单介绍了AP85松散耦合多微机系统,分析了为AP85开发并行算法的技术要点,并以矩阵相乘,G-J法解线性方程组以及SOR法解偏微分方程为例,深入讨论了如何在AP85多机系统上实现并行算法程序,并进行了实现效率分析。这些为在一个MIMD多机系统上开发并行算法提供了一定的经验。
本文介绍了Molecular Structure Graphics(MSG)的设计思想,所用技术及其主要功能。该系统有化学分子结构图形的屏幕绘制、编辑功能;建立图形数据库、检索修改及删除等功能。
一个哲学硕士的困窘和无奈王晓华在这个实用技术统治社会的时代里，最受冷落的专业非哲学莫属了：不但几乎所有的招聘都排斥哲学系的毕业生，就连从事哲学者在与他人的日常交往中，也
在Quick-sort 和Heap-sort 的基础上,本文提出改进的实用分类算法,充分利用了分类数据的局部有序性。本算法的平均时间花费优于Quick-sort 和Heap-sort。文中还给出了用BASIC 实现的程序清单,以及一些在IBM-PC 机上的分类数据实验结果。
分析无线电频段下的标准使用规定,按照靶场遥测频段的使用情况,根据靶场遥测的具体情况进行分析,判断无线电传播的基本特性,频率关系,信道容量,目标规范,跟踪标准性能,无线角
排料即是在一块给定的大钢板上按最优方式排布并切割出一系列的二维零件,使得废料尽可能地少。这是工业生产中广泛遇到的问题。ICANS 是一套低价的交互式计算机辅助排料系统,它可以自动产生一个初排方案,然后由人交互地调整和改善以便得到满意的材科利用率和符合工艺要求。
本文首先归纳了若干关于IDFF_0和IDEF_1方法的共同特点和原理,然后介绍了作者应用这两种方法构模的一个例子,以此来阐述如何联用这两种方法构造信息系统模型的过程。