扩展MIOBO—PROLOG解释系统与ETHERNET局部网络的知识库

本文介绍了一种扩展MICRO—PROLOG 解释系统所具有的图形和局部网络功能。还说明了用它在ETHERNET 局部网络上建立的知识库的功能。结构及应用实例。     

并行推理多处理机系统DADO

用传统多处理机系统来作知识库/专家系统中的并行推理或PROLOG程序执行中的并行解释,DADO是较有影响的一个代表。本文介绍DADO的背景与结构,DADO的工作方式,以及DADO用作并行产生式系统机器和并行PROLOG解释系统。     

NPU-PROLOG 2.0解释系统的实现

NPU-PROLOG 2.0是作者在IBM PC/XT上采用pascal语言实现的一个PROLOG解释系统。本文对该系统的核心部分作了介绍,主要包括:存贮管理、回溯处理和死循环检测。     

GKD—PROLOG／SUN模块系统的设计与实现

模块化是大型程序设计的关键问题之一。本文在GKD—PROLOG/VAX解释器的基础上,详细分析了PROLOG模块系统的基本语法,知识的模块封装,信息隐藏等特性,实现了GKD—PROLOG/SUN模块系统,该系统以国际上流行的QUINTUS—PROLOG为蓝本,在解释器一级直接支持模块的动态及静态创建,模块间的交互及模块系统运行环境间的切换,使PROLOG适用于大型软件课题的需要,本系统不仅支持模块化的程序设计风格,也为实现面向对象的逻辑程序设计环境奠定了基础。     

KBASE—P：一个知识库程序设计语言*

KBASE—P是一个知识库程序设计语言．它以KBASE作为查询语言，以FD—PROLOG为过程性的宿主语言．二者具有相同的编程风范，都是Horn子句风范，并且系统对任何磁盘数据访问都是以“每次一个集合”的方式进行，因此在KBASE—P中．查询语言与宿主语言之间的“阻抗不匹配”问题尽可能地减小了．KBASE—P以RDBMS来管理事实(包括中间求值结果)和规则，因此能够有效地管理大容量的数据，并且数据是可共享的，适合于处理大规模的知识密集型应用．本文介绍了KBASE—P语言及其特点，并与相关的系统进行了比较．     

知识库增长过程中对新知识的消化和吸收

本文定义了能把目标语言和元语言混合于逻辑程序设计之中的元谓词demo,在此基础上计论了在知识库增长期间遇到的四个基本概念:可证明性、不相容性、冗余性和独立性.用PROLOG实现了一个用于知识库增长的知识库系统,完成对新知识的消化和吸收.     

逻辑语言与关系数据库语言的合成及其高效实现

本文结合我们研制知识库管理系统GKBMS中逻辑程序设计GKD—PROLOG/WICK与关系数据库ORACLE的一个集成系统的工作实践,详细讨论两种语言的合成、部分计算机制、静态优化技术和动态优化技术等。     

DKS分布式知识库系统原型的设计与实现

分布式知识库系统是人工智能技术、数据库技术和网络技术相结合的产物.本文从解决知识库不一致性入手,给出了分布式知识库的概念和模型并提出了一个分布式知识库系统的原型及其实现方法.此外,对各节点上的问题分解机制,进程调度机制及控制机制进行了阐述.着重讨论以PROLOG为基础的元级推理机如何与ORACLE关系数据库系统实现耦合的方法、以及在DECNET网络环境下如何实现分布知识处理的功能.     

PROLOG智能数据库系统

新一代计算机系统将是面向用户的知识信息处理系统,其核心研究课题是知识描述问题.为此,一方面要解决面向机器的知识库中的知识描述问题,另一方面要解决面向用户的查询语言系统的知识描述问题.而逻辑程序设计语言PROLOG则是可以同时解决这两方面问题的较好的语言工具.以下就通过查询语言系统的建立,标准逻辑形式的确定,以及可能的PROLOG智能数据库系统体系结构等三个问题加以讨论.     

并行PROLOG语言与并行PROLOG机器

一、引言举世瞩目的日本第五代计算机(以下简称5G)工程的第一阶段业已结束,其主要结果是:直接用微程序解释执行核心语言第0版KL0(一种顺序PROLOG)的个人顺序推理机PSI和在PSI上用系统程序语言ESP(一种扩展PROLOG)实现的操作系统和编程系统SIMPOS(PSI+SIMPOS=顺序推理机SIM),以及一种作为知识库机基础的关系数据库机Delta。这一阶段的工作主要是为了建立后期研究的测试台和硬软环境。 5G工程第二阶段(现阶段)的核心工作是研制并行推理的多处理机体系结构,     

定性分析专家系统及其应用

定性分析专家系统(Qualitative Analysis Expert System简称QAES,下同)是我们计划建立的分析化学知识处理系统的前端处理系统。它已用PASCAL语言在IMS—8000型计算机上实现。运行结果表明,该系统的性能已达设计要求,我们将把该系统移植到IBM—PC—XT机上运行。与国外的一些其它专家系统相比,QAES具有如下特点:(1)易于移植;(2)将建立知识库的工作全部交给用户,以适用于不同的问题;(3)具有解决定性分析问题的通用性;(4)系统运行时,对硬件要求不高,既适用于科研,又适用于教学工作。     

知识库管理系统GKBMS预编译器的研究与实现

知识库管理系统GKBMS是在Micro VAXⅡ上研制成功的一个通用知识信息处理的集成化环境系统。本文介绍其中预编译器的研究与实现。该预编译器由二级优化编译组成,分别采用部分计算技术和静态优化技术,能够支持元、目标级混合程序[8][11]及PROLOG—DBMS耦合程序[10]的优化。应用表明,该预编译器可显著提高知识程序的执行效率。     

知识库的维护及其PROLOG实现

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

基于Turbo PROLOG的面向对象方法

面向对象 (OO)技术是当前计算机界讨论的热点。另一方面 ,知识信息处理正在成为计算机应用的主要领域 ,发展中的基于知识的软件工程也将成为一种关键的软件技术。本文提出一种基于 Turbo PROLOG的 OO程序设计方法学。我们 :(1 )简明地讨论了 OO方法的基本概念和基本要素 ;(2 )给出了在 Turbo PROLOG中实现 OO各要素的规则和方法 ;(3)分析了 OO基本特征在该方法中的体现及存在问题。     

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

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

逻辑编程语言PROLOG及其系统设计原理

本文简要地介绍与评价了第五代计算机的核心语言——PROLOG;给出了PROLOG语言的BNF描述;从两个方面叙述了PROLOG系统的设计原理:一个是较高级的PROLOG自解释系统PIP,另一个是可用较低级的语言来实现PROLOG系统的一个算法。     

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语言系统的实现。     

PROLOG/框架知识表示系统PFKR

PFKR是我们用Micro-PROLOG编程实现的一个知识表示系统,其主要功能有:(1)框架知识表示.PFKR不仅能表示框架的概念层次,在PROLOG的强知识推理能力支持下,还能完成附加过程、缺省值以及多继承性等处理.此外,在处理框架时,该系统对用户是透明的,以框架结构输入,并得到框架形式的查询输出.(2)PROLOG/框架程序设计.形式上,PFKR是一个将PROLOG与框架融为一体的知识表示系统.在PROLOG程序中可以嵌入框架结构,而在框架程序设计时又可用PROLOG子句.     

支持专家系统的PROLOG—SHELL

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