分布式知识库系统DKBS/TH—1中推理与查询接口的设计与优化

本文介绍了一个分布式知识库系统DKBS/TH—1的结构模型。它以PROLOG作为推理工具,Unify关系数据库系统作为存放知识的机构,二者之间通过一阶谓词逻辑的子集Horn子句进行联系.分布式系统中各结点之间的通讯联系也由Horn子句来实现,本文还讨论了PROLOG与关系数据库的结合方法及查询优化的技术.     

冠状动脉硬化性心脏病诊治专家系统

本文是对冠状动脉硬化性心脏病进行诊断与治疗的一个医学专家系统,(仅对原发性心脏停搏,心绞痛和心肌梗塞三种疾病进行处理)主要分为五大部分:知识库、推理机、解释系统、知识获取部分、数据库。为了使信息处理比较细致,我们对模糊性问题进行了精确化处理,对推理机方面采用了正向推理与反向推理交叉使用的混合的模糊推理。为了使医生的经验描述准确,我们采用了可信度推算使其精确化,同时为了使用方便,也为了解决中文的语义的多义性以及假定使用本软件的医务人员不懂PROLOG语言和序设计(本程序采用PROLOG语言)     

一种处理不确定性语言的设计与实现

提出一种基于PROLOG扩充不确定性处理能力的逻辑程序设计语言EXLOGL,并介绍了该语言解释系统的总体结构、知识库设计及演绎求解原理.     

某露天矿设备选型的专家系统

本文采用TURBO—PROLOG语言开发了一个小型专家系统用于露天矿山的设备选型.在进行设备选型过程中,该系统和用户之间采用交互式对话方式进行,它可以回答用户提出的选择某种设备的原因及依据,且用户自己可按照系统给出的提示更新其知识库中的知识.     

肺心病早期无创性诊断专家系统

用PROLOG实现的分类专家系统,着重介绍了知识的获取、知识库的结构及其推理机制。系统用产生式规则表示知识,采用正向推理策略,较准确地模拟了专家的施治过程。     

关于逻辑程序设计语言PROLOG的若干实现技术

PROLOG/KET是我们在E(?)e MV/8000Ⅱ小型计算机系统上用C语言实现的一个PROLOG解释系统,本文介绍该系统的合一算法及推理过程,讨论了实现技术方面的几个问题,包括子句的存储与搜索,控制栈的优化处理,以及程序库的管理和程序状态的处理,最后对系统的性能进行了分析,提出了几点改进设想.     

PROLOG:人工智能的一个有力工具

本文讨论了目前程序设计的缺陷和产生新型程序设计语言的必要性,介绍了 PROLOG 语言的特点,最后通过实例说明它在人工智能专家系统中的应用.     

一个能获得3NF关系的数据库设计专家系统

本文在数据分析的基础上,运用关系数据库的规范化理论概括出一系列产生规则,设计并在IBM PC上用PROLOG语言实现了一个特定的专家系统(ERTORS3),其知识库由一个描绘应用的语义网络和一组能将语义网络转换为关系数据库的产生式规则组成,利用PROLOG的推理机制自动生成能满足3NF关系的关系数据库。     

演绎数据库系统LEDDB

本文给出了建立在函数/逻辑型语言LISP-ELP基础上的一个演绎数据库系统模型.该系统比之于建立在PROLOG基础上的演绎数据库系统具有以下优点:有更灵活的控制求解策略、更丰富的查询方式,可与更多的知识表达方式相联系.文中还提出了一种新的知识库管理策略,即多键散列的存取策略,使系统的效率大幅度提高.     

大型PROLOG系统查询优化技术

一、引言逻辑程序设计语言 PROLOG 是一种描述性语言,用户只需将问题求解所需的知识以子句形式提交系统,系统依靠自身的演绎求解机制可根据用户提供的知识求解出用户期望的结果。正因为如此,PROLOG 求解机制对用户查询的处理效率就成了构造实用 PROLOG 系统     

心血管疾病计算机诊断专家系统

研究心血管疾病计算机诊断。采用PROLOG语言及Visual Basic语言，将疾病的资料编写成适合计算机语言和程序编写的格式，在病人资料录人过程中完成数据库的建立，将疾病的鉴别、诊断资料输入数据库。并编写成不同的代码作为知识库，通过推理机完成推理诊断。     

基于PROLOG元级扩充的知识消化系统

通过对ＴＵＲＢＯ ＰＲＯＬＯＧ进行元级扩充，实现了一个能在知识获取时对新知识进行逻辑一致性检测的实用知识消化系统，所采用的技术和方法对提高微机ＰＲＯＬＯＧ知识库系统的质量和性能有重要参考价值。     

在管道支吊架CAD中采用人工智能技术

本文介绍了用ＴＵＲＢＯＰＲＯＬＯＧ语言将人工智能技术用于吊架ＣＡＤ系统，其中关于知识库的设计和知识库的搜索等问题，还用源程序作了详细说明。     

水轮发电机组振动故障诊断专家系统

本文提出一个基于知识库和专家系统技术的水轮发电机组振动故障诊断与咨询的专家系统。本系统应用关于水轮发电机组振动、振动试验、频谱分析和运行管理人员现场经验的知识,采用推理方法作出诊断,采用产生式专家系统结构,设计出一个推理控制程序。该系统由知识库、算法程序库和诊断咨询程序三个主要部分组成。程序的实现采用MACLISP语言,可在IBM-PC计算机上运行。     

地表塌陷环境破坏评价的专家系统

把人工智能中的专家系统理论知识应用于采矿工业中，着重探讨专家系统在地下开采后引起地面沉陷造成环境破坏评价方面问题。以TURBO PROLOG语言为基本工具，初步建立了地表塌陷环境破坏专家知识库，在此基础上开发了矿山开采沉陷环境评价专家系统，该系统对于本学科中存在大量不确定性因素的问题，可以得到很好的解决，从而为矿山开采沉陷学科开拓了新的研究领域。     

用PROLOG表示基本控制结构

良好的程序结构是模块化程序设计的基础，为构造结构良好的ＰＲＯＬＯＧ 应用软件，本文讨论了三种控制结构在ＰＲＯＬＯＧ中的实现。