关于PROLOG中库操作谓词RETRACT的语义及其实现

PROLOG语言曾被日本选作第五代机的核心语言,至今仍是AI研究领域中很活跃的一部分。本文立足于实践,对PROLOG中很重要的库操作谓词retract的语义进行了扩充,并阐明了扩充后PROLOG系统的实现思想。     

一种面向对象的函数式语言

设计了一种对象式和函数式相结合的混合型语言OOFL(面向对象的函数式语言),详细给出了它的语法及语义定义,提出了相应的实现方案,并在微机上实现了OOFL到C++的转换系统.从而提供了一种面向对象机制的描述工具.     

受限的proflog语言及其表推演过程语义

Fitting提出一种逻辑程序设计语言proflog，并把表推演机制作为语言的过程语义，表推演具有直观，灵活的特点，它的单步扩展规则具有很强的语义特征，它是扩展逻辑程序类的另一个理想的证明论，不过proflog包含了全部一阶理论，等词的替换性使得proflog过程语义比较复杂，在此提出讨论一种受限的程序语言cProflog，它包含函词，但限制了等词的替换性，体现了表达能力与计算复杂性之间的平衡，对于逻辑程序语言cProflog，还给出了复杂性较低的表推演过程。     

地理信息语义尺度及其变换机制问题研究

研究了地理信息的语义尺度及其变换机制问题.探讨了语义尺度概念的内涵,指出了语义尺度的表征量名,阐述了语义尺度和空间尺度及时间尺度的关系,在此基础上基于分类关系和构成关系提出了地理信息语义尺度变换的机制,并用代数方法进行了形式化描述.对于完善尺度理论体系具有重要意义.     

SLDNF-归结原理关于模态语义的完备性

Ｂａｒａｔｅｌｌａ定义了正规谓词逻辑程序的模态完全化语义,并证明了该语义关于ＳＬＤＮＦ－归结的部分完备性。本文首先给出了逻辑程序的模态直承算子,并研究了相关的理论性质,进而证明了模态完全化语义关于ＳＬＤＮＦ－归结的完备性。     

约束逻辑程序的一个新语义研究

首先介绍了s-语义方法的基本思想,然后采用这种方法讨论了约束逻辑程序一个重要的可观察性特征——多重回答约束,并给出相应的语义,使得从语义角度反映了约束逻辑程序的并行特征,而且引入了一个新的关于程序等价的定义,从更严格的角度分析了程序的等价,加深了对程序的理解,有助于程序员编写高效和简洁的程序,突出了约束逻辑程序设计系统作为程序设计语言的特征.     

线性空间L（V，W）上保持核和保持象的线性变换

F是代数闭域，V、W是F上的有限维线性空间，L（V，W）是V到W的所有线性变换组成的集合对线性变换的加法及数乘运算构成的线性空间．T是L（V，W）上的一个线性变换，若对任意f∈L（V，W），恒有KerT（f）=Kerf，则称T是保持核的线性变换，若对任意的f∈L（V，W），恒有Imf=ImT（f），则称T是保持象的线性变换。本文刻划了保持核和保持象的线性变换的形式．     

Turbo Prolog系统盘的剖析与改进

随着人工智能技术的发展，Prolog语言日益受到人们的重视，笔者设计和实现了三种对Prolog进行检测的工具。为了使这些工具使用方便，需要把它们合并到系统盘中，为此，我们对Turbo Prolog系统盘进行了剖析与改进，增加了一个菜单选择。     

Prolog中的C编程

本文介绍了人工智能语言Prolog及其基本结构,论述了Prolog中的C语言接口,给出了一个外部谓词开发的实例。     

Prolog访问FoxBASE数据库文件的方法

人工智能和数据库的结合是计算机技术发展的必然结果,而数据库和逻辑推理机结合关键是逻辑推理机与传统数据库间的接口,设计了一组Ｐｒｏｌｏｇ访问ＦｏｘＢＢＡＳＥ数据库文件的工具谓词,具有普遍适用性,依据其思路和设计,也可以很地实现逻辑推理机和数据库库间的接口。     

抽象数据类型的极大代数语义

传统的定义抽象数据类型语义的方法难以描述软件非形式说明和程序设计语言文本中的非确定性,为了弥补这种不足,本文引入了极大代数语义的概念并讨论了其性质。     

依据过程性优势分析Prolog程序语言

介绍了过程性程序设计语言中过程，控制结构，程序流程等在陈述性语言Prolog中的实现，说明了Prolog是一种更有效的软件开发工具，它比Basic,Pascal等著名程序设计语言能力更强，效率更高。     

基于逻辑描述的决策树算法及其Prolog实现

 决策树算法是数据挖掘领域的重要算法之一.文章首先对决策树算法的数据进行逻辑描述,然后使用保险公司客户数据来构建决策树,利用Prolog语言实现了基于逻辑描述的ID3算法,尝试了用逻辑推理方法解决数据挖掘问题,并对结果进行了分析.     

基于Prolog的函数语言解释执行

通过介绍一个用逻辑语言Prolog设计的函数语言解释执行器原型,展示结合不同的声明式语言进行软件开发的方法。该法可实现不同语言优势互补,以提高生产效率和软件可靠性。通过函数语言解释执行实例,验证该解释执行器的有效性。     

Prolog与C程序连接的实现技术

在图形用户界面广为流行的今天,人工智能程序设计大多仍基文本方式,通过程序连接的方式,人工智能程序也可以具有漂亮的ＧＵＩ界面,Ｐｒｏｌｏｇ是逻辑程序设计语言,Ｃ是过程型语言,Ｐｒｏｌｏｇ程序与Ｃ程序的连接为Ｐｒｏｌｏｇ提供了更强的计算能力和ＧＵＩ功能也为Ｃ语言的应用提供了智能推理能力。基于Ｔｕｒｂｏ Ｐｒｏｌｏｇ２．０和Ｔｕｒｂｏ Ｃ２．０,本文结合程序实例介绍了Ｐｒｏｌｏｇ程序和Ｃ程序的接口程序设     

提高Prolog实现的专家系统运行效率的方法

Prolog语言由于其表达专家知识的便利性和强大的推理能力,成为专家系统设计用得较多的语言.但是用Prolog实现一个大程序,特别是具有大量知识的专家系统中,其运行效率是很低的.因此,为了将一个系统投入实时运行,在软件设计时就应考虑效率优化.本文从知识库的组织、匹配方法的选取,以及运用启发式控制回溯等三方面探讨效率优化的方法.1 知识库的组织     

Visual Prolog的回溯机制分析

回溯机制是逻辑程序设计的重要设施。回溯本身是一种获得目标所有可能解的良好方法。在考察Visual Prolog回溯机制作用原理的基础上，通过若干实例，详细阐述了回溯机制所遵循的4个基本原则，即自顶向下逐层搜索原则、从左到右顺序扫描原则、规则匹配原则、事实匹配原则，给出了回溯机制的循环实现方法，深入分析了回溯过程可能发生的各种情况，从而揭示出回溯机制的本质特性和应用机理。结论指出回溯机制具有副作用，需要利用截断机制、失败谓词等对搜索过程进行仔细控制。     

Prolog语言与Gdel语言中元程序设计方法的研究

元程序设计是许多逻辑程序语言具有的重要特点,它可以有效地实现程序自解释自调节功能,研究逻辑语言的元程序设计方法对于自动优化程序设计和实现智能计算都具有重要的意义.Prolog语言与Gdel语言分别支持使用非基本表示与使用基本表示的元程序设计功能.本文通过对这两种语言中的元程序设计方法进行研究,讨论了基本表示与非基本表示的主要特点和实现机制,具体分析了Prolog语言与Gdel语言元解释程序的构造方法以及部分求值功能实现.