模糊Prolog系统

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

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

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

模糊Prolog系统

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

模块化Prolog的研究与实现

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

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

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

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

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

用Prolog写Prolog

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

β-PSML语言的推理及应用

随着Web的发展,用户检索有用的信息变得越来越难。因此,在Web环境下,迫切需要研发相应的系统解决这个问题。而这一系统的核心是问题解决标记语言和基于PSML语言的Web推理引擎。该文提出了β-PSML语言的推理算法,并说明了某些查询仅使用Prolog或OWL其中之一的推理引擎无法得到结果,只有通过结合Prolog和OWL二者的推理引擎进行推理才能得出结果。实验结果表明该方法是有效的,原型系统在语义Web上可得到良好的结果。     

Prolog语言及其实现

Prolog语言是新一代人工智能语言。自马赛大学于七十年代推出Prolog的第一个版本后,Prolog语言立即以其独特的说明性语义及过程性语义引起了计算机界的重视。本文讨论了Prolog语言的一般实现算法及本人在DPS8/52计算机系统上实现的Prolog语言。     

面向对象的PROLOG程序测试工具的研究与实现*

本文首先对Prolog程序中的错误进行了系统的分类，并对各类错误提出了相应的测试算法．接着介绍了一个面向对象的Prolog程序测试工具的设计与实现．     

有效的Prolog编译实现方法

本文从实现的角度讨论了几种有效的Prolog编译技术,包括一个有效的抽象指令集、子句选择回溯,以及可插入子句的内部谓词assert a/z的实现方法.这些技术已被应用到在VAX机上开发的Prolog编译系统中.     

Fuzzy Prolog系统XDFPS(I)的研制

我们在Turbo-Prolog系统上加上一个外壳,构成一个Fuzzy Prolog系统XDFPS(I)。用户使用该系统就可在Turbo Prolog上处理模糊信息。本文首先叙述XDFTS(I)的设计思想,而后介绍系统的具体实现以及使用方法,并附上系统的部分程序清单以及系统应用的例子。     

AI与Prolog

Prolog是一种人工智能语言,它在AI和知识库的实现技术中具有十分重要的作用。本文介绍了Prolog的工作原理．并通过实例分析了Prolog语言的特点。利用Prolog的逻辑描述能力和推理能力,使得解决复杂的、非结构化的问题变得简单了。     

基于Warren抽象机的Prolog实现技术的研究

本文介绍了基于WAM的Prolog实现技术的研究结果。首先论述了新的Prolog执行模型WAM-PLUS。该模型由扩充了的WAM和非逻辑成分执行机制NLEM构成。它能支持Prolog动态代码,并能实现一致的动态代码语义。文中还介绍了Prolog编译策略和Prolog编译器的设计,描述了一种顺序推理机的系统结构。     

UCB策略在Prolog中的应用

Prolog(Programming in Logic)程序语言是一种逻辑程序设计语言.它是在逻辑学理论基础上建立起来的并广泛应用在人工智能研究中.这几十年已经出现了各具特色的Prolog编译器,而且各种编译器也都很成功.虽然在现阶段已经出现了各种版本Prolog编译器,但是Prolog编译器的发展空间还是很大.本文先通过现代Prolog编译器的不足,介绍了新Prolog编译器的特点,然后简单叙述了Prolog编译器词法分析和语法分析的过程,最后介绍了UCB策略.     

Prolog语言实用化新进展

一、引言二十年前,一种新型的计算机语言由法国马赛大学首次提出,这就是如今尽人皆知的Prolog。多年来,英国艾丁堡大学在Prolog的理论、实现及推广方面,做出了重要贡献。当然,人们也不会忘记日本所做的大量工作.第五代机计划的实施,在推动和促进Prolog语言及知识处理系统的研究与发展方面所产     

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

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

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

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

Prolog逻辑程序的测试方法

Prolog逻辑程序设计语言具有不同于传统程序设计语言的特点.本文根据测试Prolog程序的实践,提出了一系列为Prolog程序生成测试用例的准则.按这些准则测试实际程序效果良好.这是在逻辑程序测试新领域迈出的一步.