基于产生式的民事法律专家系统的研究

人工智能是将人类解决问题的思路用在计算机技术领域中,目前专家系统广泛应用在各个领域。专家系统是在产生式系统的基础上发展起来的,将产生式系统用于民事法律领域具有非常重要意义。将民法中的民事法律关系和行为映射为产生式系统中的知识和规则,进一步对知识的面向对象的表示进行了研究。     

产生式系统的关系数据库实现

产生式系统是一种广为使用的知识表示方法，但随着知识库规模的不断增大，其知识的组织与管理越来越困难，从而直接影响系统的推理效率，本文采用关系数据库技术，对产生式系统进行改进，从此提高大规模产生式系统的运行效率。     

模糊不确定性模型库在通用专家系统开发工具中的构造

本文论述一个支持模糊不确定性知识处理的通用专家系统开发工具FGEST-Ⅱ的构造,它是在作者原已设计实现的通用专家系统开发工具GEST-1的基础上,扩充一个适合模糊不确定性处理的模型库。其核心是一个模糊产生式系统。文章着重叙述了模糊产生式系统的组成,各种模糊度量的计算以及工作原理。     

产生式系统的划分和并行处理

产生式系统(亦称基于规则的系统)是人工智能领域中一种通用的计算模型。现在,这种模型已经广泛应用于开发大型专家系统。在这类系统中,人们的知识用一系列的产生式来表示,和其它的计算模型比较,用这种方法更容易获取知识和表示知识。这类专家系统已经广泛应用于CAD、医疗诊断、石油勘探等领域。但是在实现一个大型的产生式系统时,系统的效率往往很低。例如,基于RETE算法的OPS 5产生式系统在VAX 11/780计     

通用产生式系统语言模糊化扩充研究

作为一种有用的知识表示形式,正向产生式系统结构已被人们广泛地用以建造各种专家系统。不过,大多数通用的正向产生式系统语言,如 OPS5、YAPS 等均未提供处理不精确语词(即模糊语词)的机制。另一方面,虽然一些有关模糊推理的实用模糊系统亦称为模糊产生式系统,那不过是因为它是数据驱动的。单从推理形式这一点看,它们被看成了正向产生式系统。然而,就其控制机制而言,模糊产生式系统与正向产生式系统有着很大的区别。正向产生式系统的控制机制有这样的特征:在合一匹配阶段,一般有若干条规则的条件部份同时为事实库描述的外部世界的当前状态所满足,由此形成一个触发规则实例冲突集。然而,在系统的执     

并行知识库机的知识划分及其推理

并行知识库机是一种采用并行处理技术来提高大规模知识库系统性能的专用机。其中，知识的划分及并行推理模型是两个关键问题。本文以产生式系统作为并行知识库机的基本知识表示方法，重点讨论产生式系统的划分和并行推理问题。     

基于产生式系统的模糊认知图建模方法及其在控制中的应用

介绍了模糊认知图的基本原理,首次在FCM（fuzzy cognitive map）建模阶段引入产生式系统提出基于产生式系统的FCM建模方法,然后结合智能控制理论提出了基于FCM的控制框架以解决多输入变量系统的控制问题,并以混液池密度控制问题为例对其进行了检验。研究结果表明：FCM与产生式系统的结合弥补了传统FCM建模方法在专家知识整合上的缺陷、基于FCM的控制框架是解决多输入多输出控制问题的一条新途径。     

元知识及求解控制的研究

本文介绍产生式系统在推理速率方面的不足。提出了一种改进的求解控制方法。同时,对元知识的应用进行了研究。基于各种综合措施的运用,提高了产生式系统求解速度,以适应工业过程控制的需要。使微机用于工业控制更有成效。     

并发产生式系统程序设计语言COPS5

开发产生式系统的并行性是加快产生式系统执行速度的主要和有效方法。本文从产生式系统的计算模型着眼讨论，提出了并发生产生式系统的计算模型－ＭＰｏｓｔ系统，并在ＯＰＳ５语言基础上设计实现了一种基于上述模型的并发产生式系统程序设计语言ＣＯＰＳ５。     

新一代机操作系统中并发进程的同步控制

本文介绍在新一代计算机系统模型HNM上实现基于知识的智能型操作系统BKOS的并发进程同步控制。我们提出了资源也是知识的思想,并把共享资源抽象为自动机。然后用Prolog语言实现知识的产生式系统表示和两种新的同步机构。     

Parallel inference machines at ICOT

Japan's fifth generation computer systems (FGCS) project aims at the research and development of new computer technology for knowledge information processing system (KIPS) that will be required in 1990s. In this project, logic programming is adopted for the base for software and hardware system to be developed. As a primitive operation of logic programming is syllogistic inference, machines studied and built in the project are called inference machines.

One of the project's target machines is a parallel inference machine (PIM) having about 1000 processing elements. Smaller scale PIMs are also planned as intermediate targets. In addition to PIMs, sequential inference machines (SIMs) have been developed for a software development tool. A personal type SIM is called PSI which is a logic programming workstation. For research and development of parallel software systems, especially, an operating system for PIM (PIMOS), a multi-PSI system which consists of several CPUs of PSI connected with a high-speed network, is also under development. In the intermediate stage plan of the project, parallel software research is emphasized and conducted more systematically.

This paper describes research and development plans for the parallel inference machine in conjunction with the parallel software research.     

基于集群的海洋遥感图像融合并行计算策略

集群体系下的大规模并行计算,是高性能计算的基础。遥感图像处理效率的提高,有赖于并行计算技术的应用。在分析已有网格计算环境下分布式任务分配方法的基础上,针对海上遥感图像目标物数量相对较少的特点,首先利用四叉树结构理念对目标区域进行划分,同时采用动态负载均衡的任务分配策略与并行计算思想,提出对目标区域图像进行融合处理的集群体系任务分配算法处理模型。通过对比验证,表明该集群体系下算法模型能有效地提高图像融合的速度。     

大规模并行计算机系统并行性能模拟技术研究

性能模拟技术是计算机系统性能评价的重要手段.介绍了面向大规模并行计算机系统以及消息传递应用程序的并行性能模拟技术,总结了相关的关键技术和国内外研究现状.对几个代表性的并行模拟器系统进行了详细介绍.结合并行计算机系统和应用的发展趋势,讨论了未来并行模拟器设计、实现面临的问题和可能的解决方案.     

并联机器人力控制算法实时并行处理

对并联机器人力控制算法基于并行结构的计算进行了研究，设计了并行处理双机系统结构。采用文中的处理方法大大提高了并联机器人力控制算法的处理速度，保证了实时力控制，进而改善并联机器人的控制质量与性能。     

Parallel inference in dynamic decision support systems of a semiotic type

The organization of parallel inference in dynamic decision support systems (DDSS) of a semiotic type, oriented towards a solving of ill-formed problems in dynamic applied domains, is considered. As a knowledge representation model, there are used production rules reflecting expert knowledge about a problem domain, an environment and decision making processes. The main concepts and assertions defining possibility and impossibility of parallel executing the production rules are given. Several types of parallelism in an inference process are introduced. The corresponding algorithm of parallel inference is described. Thus, the purpose of this paper is to develop and to research parallel inference methods and procedures that provide efficient processing a large amount of production rules for DDSS of a semiotic type.     

三对角方程组的分布并行算法

本文针对三对角方程组的直接并行解法奇偶约化方法，提出计算复杂度比原方法降低的大步长的循环约化交替方法。结合大规模分布式并行计算机系统曙光-2000，给出其分布式并行算法及数值实验结果。     

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

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