模糊Prolog系统

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

AI与Prolog

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

Prolog语言及其实现

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

Prolog程序的分布并行执行系统

本文介绍我们设计和实现的一个PROLOG分布并行解释系统。此系统是在已有的顺序Prolog解释程序基础上增加AND并行处理,通过两个机器间的通信实现目标的并行执行,从而提高PROLOG的实现效率。     

基于Prolog的专家系统研究与应用

随着计算机与网络通信技术的迅猛发展,特别是互联网的大规模普及,围绕人工智能与专家系统的研究和应用开发也迎来一个蓬勃发展的新时期。Prolog语言是人工智能与专家系统领域最著名的逻辑程序设计语言。本文基于Prolog平台上,探讨了专家系统建造的原理和应用。     

基于Prolog的专家系统研究与应用

随着计算机与网络通信技术的迅猛发展,特别是互联网的大规模普及,围绕人工智能与专家系统的研究和应用开发也迎来一个蓬勃发展的新时期.Prolog语言是人工智能与专家系统领域最著名的逻辑程序设计语言.本文基于Prolog平台上,探讨了专家系统建造的原理和应用.     

基于Prolog的专家系统研究与应用

随着计算机与网络通信技术的迅猛发展,特别是互联网的大规模普及,围绕人工智能与专家系统的研究和应用开发也迎来一个蓬勃发展的新时期。Prolog语言是人工智能与专家系统领域最著名的逻辑程序设计语言。本文基于Prolog平台上,探讨了专家系统建造的原理和应用。     

Transputer系统上CS—Prolog和CSO—Prolog的实现

Ｔｒａｎｓｐｕｔｅｒ系统成功地应用在数值计算领域，但人工智能这个重要领域因缺乏相应的并行化编程程语言而得不到广泛应用，本文介绍了两种基于Ｔｒａｎｓｐｕｔｅｒ的并行Ｐｒｏｌｏｇ的语言，详细描述了它们的运行机制和在多机系统的实现。     

基于Prolog语言的装备维修决策专家系统设计与开发

采用Prolog智能语言对装备维修决策专家系统进行了设计与开发。从维修知识和推理能力两方面研究了装备维修专家的基本特点;分析了基于Prolog的专家系统的基本语法、推理方式及其在装备维修中的应用方式;设计并开发了装备维修决策专家系统的元知识库、关联知识库和应用知识库;最后采用Visual Prolog和VC++混合编程方式开发了某装备维修决策专家系统。     

基于Visual Prolog 6.3内核的专家系统实现

针对目前构建专家系统开发环境的局限性造成开发周期长的问题，提出了利用传统语言调用逻辑程序设计语言的动态链接库构建专家系统的方法，通过两类语言优势互补，实现高效开发专家系统。详细论述了Visual Prolog6．3动态链接库的生成过程、调用方式、调用约定以及编码转换，并介绍了利用VB．net如何调用Visual Prolog6．3生成的动态链接库构建专家系统。通过实例验证了该方法的可行性，并具有良好的应用前景。     

Visual Prolog在专家系统故障诊断中的应用

针对故障诊断的特点,利用Visual Prolog语言在知识表示及逻辑推理过程中的优势,以流程工业中易发生事故的催化裂化装置为例设计并实现了基于规则的故障诊断专家系统。用事实和规则这2种构成Visual Prolog语言的短语进行知识库和推理机的编写。通过在催化裂化生产装置的实际应用表明,该诊断系统效果良好,能够对出现的多数异常工况进行有效的推理及分析,及时查找出故障原因,并提供相应的故障处理措施。     

基于Visual Prolog 6.3内核的专家系统实现

针对目前构建专家系统开发环境的局限性造成开发周期长的问题,提出了利用传统语言调用逻辑程序设计语言的动态链接库构建专家系统的方法,通过两类语言优势互补,实现高效开发专家系统。详细论述了Visual Prolog 6.3动态链接库的生成过程、调用方式、调用约定以及编码转换,并介绍了利用VB.net如何调用Visual Prolog 6.3生成的动态链接库构建专家系统。通过实例验证了该方法的可行性,并具有良好的应用前景。     

Coupling Prolog to a Database Management System

This paper presents techniques for implementation of the CPD system which is implemented by coupling Prolog with Db+ +, a commercial relational DBMS, and will be a useful tool for designing expert systems, especially for designing expert systems that have a requirement for knowledge-directed processing of large amounts of shared information.     

基于抽象解释的Prolog程序验证技术研究

作为一种通用的语义近似理论,抽象解释已广泛应用于各类程序的形式化验证中.现有基于抽象解释的逻辑程序验证技术未涉及与程序点相关联的程序性质的验证,设计能够描述此类性质的逻辑程序具体语义和抽象语义是构造相应验证工具的关键.本文给出了一种基于抽象解释的Prolog程序验证方法,该方法采用了具有路径信息的Prolog语义及其抽象作为语义基础,因而可用于验证与程序点相关联的程序特性.本文例子表明了该验证方法的有效性.