硬件逻辑设计的知识库专家系统

本文作者开发了一个设计CMOS电路的知识库专家系统。该系统使用occam高级程序设计语言写的并发算法。该项课题作为日本第五代计算机系统(FGCS)的一个组成部分。本系统的目的是把设计者的专业识知送入计算机并有效地使用,支撑一个从技术指标开始到完成CMOS电路的整个过程。Prolog语言被选为实现工具和知识表示语言。本文举例说明用于系统的知识,特别强调功能设计阶段,这个阶段很大程度上依赖于设计者的专业知识。本文也描述了如何用Prolog语言表达知识和如何建立推理机制。在构成本系统时,对Prolog语言作为新一代CAD系统的实现语言作出估价。     

知识库系统和语言的演变

引言 Prolog作为一个良好的Al语言已经得到广泛接受,市场上已经有多种Prolog产品(包括Prolog机).但是,Prolog不能有效地管理持久数据且“每次一个元组”的求值方式不适用于数据密集型应用(如:CAx、CIMS、专家系统、……)。另一方面,数据库管理系统(DBMs)能够有效安全地管理大容量数据.但不能处理递归,而递归是上述基于知识系统的基本能力。因此,研制同时具有Prolog和DBMS能力的新型数据系统就成为必要。     

MPROLOG语言参考手册

<正> 该书1984年6月1日出版,著者SZKI/Scil(匈牙利SZKI附属系统、计算机和信息实验室公司)。 MPROLOG是一个新的PrOLOG系统,适用于生产软件。MPROLOG是匈牙利的著名软件,早在1975年,匈牙利就在许多机器上引进或实现Prolog。MPROLOG是在大量使用Prolog的基础上于1979年开始研制、1932年推出的。开始用CDL_2实现,由于它移植方便,现已在多种机器     

MPROLOG语言参考手册

<正> 该书1984年6月1日出版,著者SZKI/Sci—L(匈牙利SZKI附属系统、计算机和信息实验室公司)。 MPROLOG是一个新的PROLOG系统,适用于生产软件。MPROLOG是匈牙利的著名软件,早在1975年,匈牙利就在许多机器上引进或实现Prolog。MPROLOG是在大量使用Prolog的基础上,于1979年开始研制、1982年推出的。开始用CDL2实现,由于它移植方便,现已在     

Prolog抽象机模拟系统——WAM-PLUS-SES

warrern抽象机(简称WAM)是一个非常高效的Prolog执行模型。为了对基于WAM的编译系统和顺序推理机的研究和开发提供支持,我们设计并在VAx—11/780上实现了一个Prolog抽象机模拟系统WAM-PLUS-SES。本文论述了该系统的设计思想和构成,着重介绍了其交互式命令系统、存贮区划分、数据表示和数据结构等。     

用Prolog写Prolog

本文介绍一个用Prolog书写的Prolog系统,简称为PiPs。该系统是一个按照解释方式实现的语言处理系统的雏型。全文共分两大部分。前一部分介绍了PiPs本身的结构:首先介绍建立PiPs所需的Prolog谓词,接着介绍PiPs的处理概要,用户接口,执行系统,对应谓词。后一部分,通过四个例子介绍了如何使用PiPs来扩充Prolog的功能。     

智能辅助教学写作环境CourseTalk的设计与实现

本文介绍了一个智能辅助教学写作环境CourseTalk的设计与实现.在这个环境中使用了综合媒体结构(Hypermedia)、Prolog和黑板结构等技术,以及推理与查询相结合的搜索策略,并提出一种通过编辑直接定义关系数据以及可以用Prolog语言方便地描述教学策略的方法.同时还讨论了有关知识获取、教学策略选择和学生模型等问题.     

Prolog代码GKD—CDB库的实现算法

在编译型Prolog系统中,Prolog数据库在概念上可看成由两部分组成:源程序库和代码库。由于Prolog包含数据库操作内部谓词,代码库中的代码应该是可修改的。GKD-CDB是我们在VAX-11/780上用C语言实现的一个Prolog代码库。本文论述了其实现算法。     

Prology程序部分计算的研究与实现

部分计算是一种重要的程序变换方法和编译优化技术，Prolog程序特别适合于部分计算。目前，国际上已开始了几个Prolog程序部分计算的原理模型和专用工具，但其中存在以下若于问题:(1)关于Prolog程序部分计算的基本原理和特征缺乏系统的认识;(2)现有的两种检测逻辑程序中循环的方法，并没有最后解决部分计算的终止性问题》;(3)关于Prolog中内部谓词的处理不够究善，而且其中还隐含了许多语叉错误;(4)部分计算算法相当低效；(5)现有的部分计算器局限于各自的应用领域，缺乏通用性。本文结合我们研制GKD－Prolog编译系统[14]剖中一个实用源级部分计算器的工作实践，全面、系统地讨论了纯Prolog的部分计算、逻辑程序的循环检测以及全Prolog的内部谓词处理。     

Micro Prolog

笔者根据锻治胜三的文章“PC-8001HC一20m Micro Prolog移植、改良实际”(日刊“bit”1983.8),运用Microsoft公司的MBASIC语言和BASCOM编译语言,在CP/M操作系统上移植了Micro Prolog。BASCOM版的Micro Prolog执行速度比MBASIC版快10～15倍。Micro Prolog使用简单,可以作为希望了解Prolog语言的读者的学习工具。     

一个基于关系数据库的Prolog系统

本文提出了一个基于关系数据库的Prolog系统,目的是使Prolog这个强有力的程序语言具有处理检索问题的能力,以适应于演绎和检索的共同需要.这个系统已在IBM-PC上初步实现.本文着重阐述了这种一体化系统在理论上及实际应用中的价值,系统的设计特点及其实现.     

模糊Prolog系统

模糊Prolog系统将不确定性引入到传统的Prolog系统中,对现实应用具有很大的意义。文中首先介绍了模糊系统和Prolog系统,然后讨论了实现模糊Prolog系统的两种方法,并给出了一些典型的模糊Prolog模型。最后重点讨论了在Prolog系统中实现模糊集合的几种方法,因而对于不同的应用要求可以选择不同类型的模糊Prolog系统。     

个人顺序推理机(PSI)的硬件实现和设计

PSI 是一台个人计算机,在日本的第五代计算机系统(FGCS)划计中,它被设计来作为开发软件和硬件的工具。本文描述了PSI 的硬件系统和PSI 在数据处理和顺序控制部件等方面的独特性质。PSI 系统的基本语言采用逻辑程序设计语言,它由大容量主存(16M 字)、交互式I/O 设备,以及操作系统支持和语言支持的硬件组成。PSI 的机器语言是基于逻辑程序设计的一种高级语言,其描述级别非常类似于Prolog 语言,我们称之为核心语言版本0(KL0)。KL0的基本操作—一致化和回溯,是由KL0的固件解释器和一些硬件部件协同执行。这些硬件部件包括转移和调度机构测试标志,作为堆栈访问的Cache 存贮器、用作尾递归优化的高速局部存贮器(称之为工作寄存器组)。CPU 中使用的是商用高速肖特基TTL 集成电路,CPU、主存和I/O 控制器的印刷电路板与辅存一道装在一个单独的机柜中。     

C-Prolog系统及其在Dual 83/80上的移植

为开展人工智能领域的研究工作以及有关第五代计算机的一些项目,我们最近在Dual83/80微计算机系统上移植了原来在VAX-11/750上运行的Prolog语言的解释系统C-Pro-log,这个解释系统是用C语言写成的,具有比较强的功能,可移植性也较好。现将该系统的概况及移植情况介绍如下,希望能有益于Prolog语言在我国的应用和推广。     

模糊Prolog系统

模糊Prolog系统将不确定性引入到传统的Prolog系统中，对现实应用具有很大的意义。文中首先介绍了模糊系统和Prolog系统，然后讨论了实现模糊Prolog系统的两种方法，并给出了一些典型的模糊Prolog模型。最后重点讨论了在Prolog系统中实现模糊集合的几种方法，因而对于不同的应用要求可以选择不同类型的模糊Prolog系统。     

对语义网查询语言的逻辑推理优化

为了在SeRQL RDF查询语言的语境中对查询进行的转换和优化,提出了使用Prolog语言来处理推理策略原型的RDF图的方法,以及将SeRQL查询转化为优化Prolog目标的算法,实现了对语义网语言的结构化变换,并验证了Prolog模块的性能。     

非冯·诺依曼式程序设计语言PROLOG和IR

本文对Prolog和FP的程序结构、语义、程序设计风格等方面进行了比较,给出了Prolog语言和FP语言的指称语义以及简化的FP系统的Prolog解释与Prolog系统的FP解释,认为Prolog和FP是适用于不同领域的有生命力的非冯·诺依曼式程序设计语言,可以作为不同结构的计算机系统的核心语言。     

C++与Prolog双向数据交换实现混合控制架构下机器人任务规划

在慎思/反应混合控制架构下开展定性推理与定量计算相结合的分层规划是机器人任务规划研究的一条可行途径。针对分层任务规划中存在的软件工具实现方面的问题,提出C++与人工智能语言Prolog相结合的解决方案。围绕服务机器人作业研究中的一个典型案例,开发了C++与Prolog双向加载的接口程序,开展了Prolog加载C++程序以及C++加载Prolog程序的实验研究,分别取得了单向数据传输和双向数据传输的实验结果,实现了机器人分层任务规划的完整流程。研究方法具有一般性,可在不同工程应用、不同Prolog开发环境中扩展应用,特别适用于将C++作为平台、Prolog作为知识库与推理机子系统的软件系统中。     

模块化Prolog的研究与实现

为使系自行研制的Prolog解释系统GKD-Prolog能够支持大型知识系统的开发,我们设计并实现了一个模块化Prolog系统——GKD—Modlog,同时引入了模块和执行环境的概念。这些概念不仅丰富了Prolog语言本身,而且使Prolog更适于知识的表示和操作。本文描述了该系统中与模块化机制相关的概念,系统的组织与设计,主要实现技术和相关模块操作原语。