新型模糊推理语言f—PROLOG

PROLOG是建立在Horn子句逻辑之上的人工智能语言。对于定性的逻辑推理,它在专家系统、模式识别、自然语言理解等人工智能研究领域发挥了重要作用。但是在进行模糊推理时,基于二值逻辑的PROLOG语言就变得暗淡失色了。为此,我们建立了一套基于f-Horn子句规则有限集的模糊推理理论,并在此基础上开发了一种模糊PROLOG语言。f-PROLOG是一种支持模糊推理的人工智能语言,且保持了模式匹配、回溯等特点。     

专家系统外壳TTY

本文介绍了TTY的体系结构以及系统知识表示方式、开发机、推理机和黑板结构,并例举了程序片段以帮助说明系统功能。TTY是一个骨架型专家系统外壳,用PROLOG语言实现,适合于解决多数领域的实际问题。     

支持专家系统的PROLOG—SHELL

本文就PROLOG在专家系统中不尽人意的应用状况,提出在PROLOG核外扩充一层SHELL的方案,PROLOG—SHELL是一系列基PROLOG的内部子程序集合,支持专家系统的多种知识表示和多种推理控制策略,并有良好的用户接口,是灵活而通用的专家系统开发工具。     

GKD-PROLOG/VAX 780 V1.0系统

<正> 一、概述 PROLOG语言是一种准逻辑型语言。它能以接近自然语言的形式。告诉计算机做什幺,而不必象传统的程序设计语言那样告诉计算机怎么做。这种“智能型”语言诞生以来。特别是日本以PROLOG为基础研制第五代计算机的计划宣布以后,PROLOG已经引起计算机界的广泛重视。PROLOG在小型关系数据库,数字逻辑,自然语言的理解,结构设计,CAD,符号方程求解,专家系统,定理证明等许多领域均获得了应用。GKD-PROLOG/VAX780V1.0解释系统的研制,对改进软件设计环境,人工智能和第五代计算机的研究具有重要的理论和实践意义。     

PROLOG语言及其实现

PROLOG语言是一种逻辑式程序设计语言,其名字就来源于PROgram和LOGic。PROLOG语言改变了人们所熟悉的程序设计语言中一些基本概念,引入了新的思想。PROLOG的程序并不说明运算的过程,它所描述的是事物间的逻辑关系,因而也被归类为非过程式程序设计语言。 本文将通过以下三个部分,介绍笔者于一九八四年实现并通过技术鉴定的一个PROLOG语言系统。它是一个可以在IBM-PC、IBM-PC/XT、IBM-PC/AT和IBM-PC兼容机,以及WANG-PC机上运行的 PROLOG语言系统。1.PROLOG语言的程序结构;2.PROLOG语言系统的核心算法;3.PROLOG语言系统的实现。     

递归在故障诊断专家系统设计中的应用

在智能故障诊断中,C(C )语言具有多方面优于传统人工智能语言(如LISP、PROLOG)的特性,它对递归的支持使得用其来开发故障诊断专家系统成为可能.本文研究了故障诊断专家系统开发中用到的递归方法及其基于C(C )的实现,具体包括:动态数据库设计中结构体的递归定义,推理机设计中函数的递归调用等.针对知识推理中易出现的"循环递归"问题,提出了一种基于"因果网络直观图"的解决方法.     

基于VC++和Prolog语言混合编程的专家系统框架

为解决专家系统开发周期长的问题,提出并实现了用PROLOG与VC 混合编程方法开发专家系统框架的方案,用VC 实现专家系统框架的人机界面,用PROLOG语言构建知识库并实现推理过程.该框架具有较好的用户界面,用户只要输入或导入脚本编写的知识库、事实库和目标,就可以进行目标求解,因此简化了专家系统的开发过程.介绍了该专家系统框架的实现原理和设计思想,给出了导入导出模块、脚本语言语法检测模块和解释机制的实现方法.     

知识库的维护及其PROLOG实现

专家系统的广泛应用,迫切需要较完善的知识库维护方法。本文讨论了Horn短句知识库协调性维护的有关问题,并借助于归结原理和Kowalski元谓词demo的概念,提出了一种可用于专家系统知识获取过程的知识库协调性维护的方法。该方法已在IBM PC/XT上用PROLOG语言实现。     

模糊PROLOG系统

引言PROLOG语言是建立在一阶谓词演算上的一种人工智能语言。到目前为止,已在人工智能的各个研究领域被广泛应用。但是,在进行模糊推理时,常规的二值PROLOG语言就暴露了它的缺陷。用户不仅要在程序中加进众多的模糊变量,而且要细心考虑推理规则。一种较为妥善的方法是由     

一个沉淀反应智能数据库

关于人工智能在化学领域中的应用,国外有用 LISP 语言编成专家系统的报导,国内学者提出了 FORTRAN 语言设计的定性分析专家系统,但将人工智能新型高级PROLOG 语言用于分析化学的工作尚未见报导。     

一种模糊知识处理模型

本文介绍一种基于模糊子集理论的知识处理模型ＦＫＰＭ，它适用于专家系统、管理信息系统中模糊信息的处理。本文主要讨论ＦＫＰＭ的模糊知识的表达和模糊推理方法。     

专家系统的建造与知识表达——~(13)C NMR推断香茶菜二萜化合物结构的专家系统

XCC(Xiang Cha Cai-香茶菜)专家系统是用于推理香茶菜属二萜类化合物结构的智能软件系统。该系统已经在IBM-PS/280上实现,程序设计是用Turbo PROLOG 1.1。本文主要描述XCC专家系统的建造与知识表达。从问题定义、知识抽象、知识概念及形式化到知识表达方法都做了详细论述。     

专家系统工具设计入门

本文为稍有PROLOG语言知识者所写,用通俗的语言介绍专家系统的原理及推理机程序的实现。     

浅析人工智能与专家系统

该文首先介绍了人工智能的定义和理论,分析了其应用领域,并着重对其中的专家系统作出了详细阐述,最后用专家系统推理论证了农夫过河问题并用PROLOG语言实现了该算法。     

浅析人工智能与专家系统

该文首先介绍了人工智能的定义和理论,分析了其应用领域,并着重对其中的专家系统作出了详细阐述,最后用专家系统推理论证了农夫过河问题并用PROLOG语言实现了该算法。     

数据库设计的专家系统方法

本文提出一种数据库设计的新方法——专家系统方法。该设计方法是以一个基于知识的系统或专家系统为基础的。我们在 IBMPC 上用 TURBO PROLOG 语言定义,并实现了一个特定的专家系统 ERGTORS,其知识库由一个描绘应用的语义网络(或实体-关系图,简称 ERG)和一组能使系统把语义网络转换成关系数据库关系的产生式规则组成。作为例子,我们给出了用ERGTORS 作为设计工具,由给定的实体关系图生成的一组关系数据库的关系。     

模糊知识处理与专家系统

本文讨论专家系统的一般概念及其支撑工具Prolog语言,模糊的一般概念及可用于处理模糊知识的专家系统的工具FLL—1语言。     

模糊语言在PROLOG语言中的应用

本文以小麦病虫预报为例,介绍了模糊语言在PROLOG语言中的应用。①根据理论模拟,采用相对优先法定义各种病虫隶属度矩阵,然后将预报因子合成模糊合成谓词,并将它与上述几种短阵行列相对应的元素连成PROLOG表,最后将这些表存入后缀为LOG的文件,这就是模糊知识库;②将预报因子实况合成谓词,在上述模糊知识库中进行模糊推理,然后再根据预报对象实况订正,即得预报结论。     

PROLOG的内部谓词cut及其对程序终止性的影响

PROLOG语言中引进了cut这一重要的内部谓词(built-in predicate)。使用cut可以方便地表达出过程性语义中不可缺少的控制结构——选择和循环。并且,cut还有利于提高程序的效率——加快运行速度和节省存储空间。但是,cut并不是原来一阶逻辑意义下纯粹的谓词,因而它的出现改变了原有程序的逻辑语义——PROLOG的描述性语义,并对PROLOG程序终止性的判定带来不良影响。从某种意义上来说,cut就是PROLOG中的goto语句。     

西文TURBO PROLOG和汉字dBASEⅢ的联接调用

本文介绍的用西文TURBO PROLOG来处理中文,以及用软联接来实现西文TURBO PROLOG和汉字dBASEⅢ的联接调用,对正在或将要用TURBO PROL-OG语言来编制专家系统以及其它智能程序的用户,可能会有一定的帮助和启发。