模块化Prolog的研究与实现

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

用Prolog写Prolog

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

并发Prolog进展报告

并发Prolog是为并发程序设计和并行执行而设计的一种逻辑程序设计语言。这种面向进程的语言,以数据流同步和岗哨命令不确定性为其基本控制机制。本文概述了该语言的基本概念和定义。综述了它产生三年来涌现的主要程序设计技术。回顾了该语言发展、实现和应用的历史。作者是并发Prolog语言的设计者。     

基于知识的系统辨识软件包

本文介绍以系统辨识软件包SATERC为基础结合专家系统技术,利用Turbo Prolog语言实现的一个基于知识的系统辨识软件包——ES-SATERC(Expert System for SATERC),解决系统辨识软件包中系统辨识算法和系统辨识知识分离的缺陷,该软件包可作为用户自学习的工具并可当作智能前端来使用。     

KBS-1知识库系统的知识获取

知识库系统是人工智能技术与数据库技术相结合的产物。知识获取是知识库系统中的一个重要组成部分。本文较详细地给出了KBS-1知识库系统中知识获取部分的描述,它们已在VAX-11/780上实现。这是一个基于逻辑程序设计语言Prolog的知识获取机构。     

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

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

Prolog程序的规范与自动综合

本文定义了一种多论域逻辑演算语言-子目标演绎语言SDL.它是古典一阶语言的一个变型,文中以SDL语言作为描述抽象数据结构及程序规范、设计程序、验证程序的形式化系统.说明了利用这种系统实现Prolog型程序自动设计的方法.     

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

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

Fuzzy Prolog系统XDFPS(I)的研制

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

LISP—ELP的设计和应用

1.引言 在本文中描述了LISP-ELP的特性、实现和应用。LISP-ELP是作者设计的一种支持专家系统程序设计的逻辑程序设计语言,它继承了LISP和Prolog两者的优点,改进了Prolog的控制结构,并具有极强的知识表达能力,该语言已经在IBM-PC微机上用C语言实现。 在“函数+逻辑”型语盲的研究中有[1,2]的工作.为了推进“函数+逻辑”型语言走向     

CMOS接口电路

<正> CMOS IC 因为具有功耗低、单双电源工作、电压范围宽、噪声容限大等优点,因此作为设计系统装置时的逻辑组件使用是很适合的。在一个系统装置中,除CMOS IC 组件外常常还有其他元器件,因此CMOS与这些元器件之间如何进行连接是很重要的。所谓接口电路是指逻辑电平不同的组件或组件与元器件相互连接的电路。本文按三部分作简单介绍:一、与非CMOSIC 组件(NMOS、TTL,ECL)的接口电路;     

一个“函数＋逻辑”程序设计语言的解释—编译系统

我们设计了一个主要支持知识程序设计的“函数+逻辑”语言。它利用LISP丰富的语言环境,以LISP的S—表达式形式把LISP和Prolog有机统一起来,兼备函数和逻辑混合的或独立的编程风格,具有计算策略丰富、编程方式灵活多样、问题表达能力强等特点。为克服解释实现中逻辑部分执行效率远慢于函数部分等缺陷,我们实现了该“函数+逻辑”语言的解释一编辑系统。本文介绍了该系统的设计思想、内部结构及实现原理等。     

Visual Prolog语言在测试设备故障诊断专家系统中的应用

Visual Prolog语言是人工智能与专家系统领域最著名的逻辑程序设计语言,适合表达人的思维和推理规则,能够方便地实现模式匹配、回溯、事实数据库和谓词等功能;针对导弹测试设备结构复杂、故障隔离与定位困难等情况,充分利用Visual Prolog语言在专家系统知识表示及逻辑推理过程中的优点,建立了一个基于规则的导弹测试设备故障诊断专家系统;通过应用表明Visual Prolog语言十分适合构建此类专家系统,并具有良好的开发应用前景.     

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

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

基于CMOS 图像传感器的嵌入式视频采集系统设计

设计了一个基于CMOS 图像传感器的嵌入式视频采集系统,系统采用OMNIVISION 公司的MI0360作为图像采集芯片,使用SONIX 公司的SN9C120 芯片作为视频处理器,完成了硬件电路的设计,利用V4L2 接口规范实现了视频图像的实时采集。该设计已应用于视频监控系统中。     

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

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

Prolog语言及其实现

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

综合评价科技成果的专家系统设计及实现

本文对科技成果的评价模型、评价步骤及综合评价成果的专家系统的结构作了概要论述,主要讨论了推理机构和解释机构的设计和实现,简单介绍了知识表示、知识获取的內容,并就用 Turbo Prolog 语言实现专家系统谈了自己的体会.     

一个关系规范化系统及其实现

关系数据库规范化理论多年来一直受到人们的重视,但人们很少把许多研究成果真正应用到实际中去。本文基于较成熟的关系规范化理论的许多思想和算法,给出一个关系规范化系统及其实现方法。 该系统已在Dual M68000机上用效率很高的NIT-Prolog语言(由南工计算机系自行研制的一个Prolog解释系统)实现,此系统不仅可以作为数据库教学的辅助工具,而且还可以辅助数据库设计。     

知识库系统和语言的演变

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