在微机上扩展的并行知识库机

本文提出的并行知识库机ＰＫＢＭ９５的硬件结构是一台微机和四台ＴＲＡＮＳＰＵＴＥＲ组成的多机系统。这里重点讨论了ＰＫＢＭ的系统结构、操作规范和操作语言，并提出一订散式的并行推理模型有诟端机、前端机两次冲突归结策略。     

一台并行知识库机的推理模型和通讯同步机制

并行知识库机是一种用于提高知识库系统推理效率的多机系统。本文利用ＰＯＳＴ模型来形式化它的并行推理模型和操作规范，为保证系统正确性和可靠性、还重点讨论它的通讯－同步机制。     

并行归纳法推理系统

为提高归纳法推理过程的速度和效率，我们在Ｂｏｙｅｒ－Ｍｏｏｒｅ程序证明方法和自行设计的串行归纳法推理系统的基础上，进行了并行归纳法推理的研究，其中包括推理知识的分布处理，系统初始工作的并行化，并行推理子任务的识别与调度，子任务间的信息通信，以及推理问题的可并行性等方面的探讨。最后文章还介绍了对此并行归纳法推理系统的语言支持。     

一个基于分布推理的知识库

随着知识处理量的增大，分布式知识库成了一个很重要的发展方向。本文提出了一个基于分布推理的知识库模型，这个模型允许用户充分利用分布在各处的知识求解问题作查询，并提出了一个优化的问题求解的推理机制。     

提高推理效率的知识库重组研究

本论文主要提出了一种提高推理效率的方法——知识库重组,这种方法通过缩小推理范围来提高推理效率。文中对知识库结构和基于这种结构的知识库重组思想及其过程进行了详细讨论。     

知识库／元级知识库中的自省推理

本文认为:不同类型的非单调推理,均可通过对有关对象的确信或不确信的推理过程来表示,因此自省的过程可作为一切形式推理的基础。本文讨论了推理者用于表达和椎导其自身信念时的各种方式,结论有:a.自省的本质是表达信念和世界的关系b.如果从完全性和正确性角度来看待自省推理的话,其计算是相当困难的。     

提高推理效率的知识库重组研究

本论文主要提出了一种提高推理效率的方法--知识库重组,这种方法通过缩小推理范围来提高推理效率.文中对知识库结构和基于这种结构的知识库重组思想及其过程进行了详细讨论.     

基于本体的知识库推理研究

本体的应用是第二代语义Web的重要内容。利用本体构建知识库,进行逻辑判定,实现语义Web的自动推理,描述逻辑的作用十分重要。就知识库的本体描述以及在此基础上利用描述逻辑从不同角度的推理进行了研究,并分析了其内在联系。     

并行推理任务的分配方法及其实验分析

如何将并行推理任务分配到并行推理部件上去是解决并行推理系统的执行功效的一个重要问题。本文对已提出的三种分配策略进行实验分析并对我们提出的一个新的策略进行理论和实验分析。     

基于混合推理的知识库的构建及其应用研究

该文提出了基于OWL本体与Prolog规则的平面几何知识库的构建方法,从而可形式化地表示平面几何中丰富的语义信息.一方面,用类型、定义域、值域、分类、属性、实例等本体描述来表达结构化的知识,为领域内概念与概念之间关系的描述提供形式化的语义;另一方面,用Prolog规则来解决本体不能有效表达的诸如属性之间的关系和操作等问题,从而支持复杂关系间的推理.在此基础上,用Protégé和Prolog构建了一个基于本体和规则的平面几何知识库.实验证明:此知识库可实现知识和语义层次上的信息查询,还可进行复杂问题求解,其丰富的语义描述和混合推理能力弥补了传统知识库的不足.     

面向对象机器翻译知识库IMT—KB的设计与实现

机器翻译知识库是机译系统的重要组成部分,针对传统机译知识库的不足之处,本文提出一种面向对象的机译知识体系结构,同时给出这种具有层次性和模块性机译知识库的存储组织和管理机制。     

逻辑程序并行推理机EC─PIM的系统设计与实现

本文介绍面向逻辑程序的并行推理机系统ＥＣ－ＰＩＭ。它以逻辑程序设计语言ＰＲＯＬＯＧ为核心，以硬件、软件两方面结合的方式直接实现以ＰＲＯＬＯＧ所描述的推理任务。系统设计基于Ｅａｒｌｅｙ算法、ＶＬＳＩ技术以及适当的系统结构及部件的设计方案。在提出并行推理机及其概念模型的前提下，作出ＥＣ－ＰＩＭ体系结构的设计，包括互连结构。公共存储器系统的设计方案。并成功地实现了双八路二级并行逻辑推理模拟机的研制。     

产生式知识库一致性和冗余性检查

本文介绍了目前应用较为广泛的产生式专家系统知识库的不一致和冗余的几种可能的规则或规则链形式,并给出了一致性和冗余性检查的技术和实现方法.这些技术和方法可以帮助知识工程师有效地建立和维护知识库,并为系统的自动知识获取提供了基础.     

一类命题知识库的并行更新算法

本文介绍了知识库更新的基本概念及命题知识库更新的复杂性研究现状。近年来，提出了许多方法进行命题知识库的更新，一类是基公式的方法，一类是基于模型的方法，但所有这些方法在通常情况下都是难解的。本文结合实际应用，提出了一种特殊情况下的多项式时间更新方法，并在ＣＲＥＷ ＰＲＡＭ上给出了相应的并行算法。     

关于产生式系统并行执行与收敛性问题的探讨

产生式系统引入并行技术后，出现了两个新的困难问题：相容性问题和收敛性问题。基于并行知识库机ＰＫＢＭ９５，为了解决收敛性问题，本文给出了一种称为规则顺序锁定的方法。另外，为了发现隐循环以及为了提高性能，我们给出一系列动态分析了测试的方法，如路径跟踪等等。     

SUPREMAL INFERENCE MACHINE AND MEASURES OF CERTAINTY

Let us assume there exist several expert systems using different inference machines, working in parallel on the decision making problem from the same area and supplying for a given object (patient) probabilities of different diagnoses. The global results'(i.e. number of errors) on some sample data set of patients determine which of die machines is the best one. Is it possible, using the results (i.e. probabilities of diagnoses for the given patient) of the other machines, to improve decision power of the best machine? A method, the supremal inference machine or algorithm, is introduced attempting to combine different inference machines with the help of the random variable “error content in decision” whose density is constructed for different measures of certainty. Experimental results on a case study from the area of rheumatology are given.     

为测试系统诊断设计并构造规则库和推理机

目前ＶＬＳＩ测试系统日趋复杂，要快速，精确地对它们进行诊断，不得不求助于专家系统，专家知识和解释专家知识并控制诊断进程的机制是专家系统的两大要素，它们又分别被称为规则库和推理机，针对这两大要素，本文阐述以下两方面的问题：（１）设计规则库的结构，（２）设计并构造用于ＶＬＳＩ测试系统诊断的推理机。