PROLOG语言简介

七十年代初,R.Kowalski和P.Hayes提出了一整套逻辑程序设计思想,这种思想的核心是在一阶逻辑的基础上,用句型对问题进行描述,从而达到对问题进行证明或求解的目的。作     

PROLOG语言中的一个逻辑问题

一、问题的提出 PROLOG语言是一种重要的逻辑型程序设计语言,它是以谓词演算为基础的,由于这种语言的独特风格和深远意义,已引起世界各国的广泛重视。但是,它还存在着若干不足之处,其中关于逻辑非(否定)的定义,就存在着严重的问题。     

ADA和PROLOG的比较

Ada语言是一种功能极强的程序设计语言,已成为80年代最有影响和最有代表性的一种高级语言;Prolog语言是建立在符号逻辑基础上的简单而功能却很强的程序设计语言。由于日本的FGCS计划把Prolog语言作为系统的核心语言,所以该语言目前已受到计算机界的极大重视。本文对这两种语言在通讯和同步方面、并行处理方面、变量共享方面、匹配方面、错误处理等方面的特点进行了比较和分析。如果在设计新的语言时把上述两种语言各自的优点有机结合起来,那么这种新语言的生命力一定很强。     

新型模糊推理语言f—PROLOG

PROLOG是建立在Horn子句逻辑之上的人工智能语言。对于定性的逻辑推理,它在专家系统、模式识别、自然语言理解等人工智能研究领域发挥了重要作用。但是在进行模糊推理时,基于二值逻辑的PROLOG语言就变得暗淡失色了。为此,我们建立了一套基于f-Horn子句规则有限集的模糊推理理论,并在此基础上开发了一种模糊PROLOG语言。f-PROLOG是一种支持模糊推理的人工智能语言,且保持了模式匹配、回溯等特点。     

Turbo PROLOG程序开发中数据描述的一种方法

ＴｕｒｂｏＰＲＯＬＯＧ程序开发中数据组织与描述的一种系统的、实用的、简单但又十分具体的方法和过程。参照文中的步骤，可以有效地把用户的数据说明直接地变换为相应的ＴｕｒｂｏＰＲＯＬＯＧ定义。     

模糊Petri网在带权不精确知识表示和推理中的应用研究

Petri网是一种适合于描述异步并发事件的计算机系统模型 ,可以有效地对并行和并发系统进行形式化验证和行为分析 .以模糊 Petri网的基本定义为基础 ,讨论了带权模糊知识的模糊产生式系统表示法 ,建立了这种表示法与模糊 Petri网之间的映射关系和转换算法 ;在对模糊 Petri网进一步扩充的基础上 ,解决了与知识的模糊Petri网表示相关的几个问题 ;最后给出了模糊 Petri网中不确定性的计算方法和相应的不精确推理算法     

一种基于表处理的知识内部表示及Turbo Prolog实现

本文介绍一种基于表处理知识内部表示方式，用这种方式，不仅可以表示基于逻辑真伪的变量，也可以描述量的量化程度，并为此设计了推理机。     

虚拟环境中物体物理特性的表示与处理

文中阐述了表示与处理虚拟物体和物理特性对虚拟环境逼真性重要意义，介绍了其研究内容，综述了当前的一些主要方法和关键技术，分析了目前存在的问题，并讨论了虚拟物体物理特性表示与处理的应用，最后展望了该研究领域的发展趋势。     

有机化合物结构的计算机表示—一个生成唯一连接表的新方案

介绍了一个对有机化合物结构生成唯一连接表的新方案，该方案中引入了化合物结构图的节点性质（含有元素类型和键性），键性质和一些图的拓扑性质（如路径、连接度及一个新的拓扑指数－最小环指数等），对结构图中节点进行划分和排序。     

融合图像处理与超声测距的工件精确抓取

图像处理给出工件的形心在图像的位置与姿态,利 用本文提出了一种简单与高精度的映射算法,求出形心在机器人参考坐标的位置,引导超声 波距离测量仪测量到工件的正上方测量工件的深度数据．融合图像处理给出的形心的位置与 姿态和超声波测量得到工件深度数据,获得机器人的控制输入向量,控制机器人运动并实现 精确抓取工件．图像处理的低误差与超声波的高精度深度测量,获得了工件抓取的高精确度 ．     

基于交线存储的快速实体边界生成算法

随着ＣＡＤ技术的日益普及，越来越复杂的设计对象进入系统，这就不可避免地导致了系统时空优化问题。目前实体造型中的主要表示方法，即边界模型及构造模型，由于各自特写的结构，无法较好地满足实际工程的需要。本文通过分析实体边界构造过程，提出了一个基个交线存储的实体存储方式及边界重构算法，该方法具有实体数据存储空间小，边界生成速度快等特点，较好地解决了系统存在的时空优化问题。     

符号结构的关联网络构造与检索

本文旨在使用动态符号结构构造的一个数据递归分布表示的关联网络，以精馏中Ｎ－组分分离方法生成的为例示，阐述了关联网络构造的有关规则，定义，符号变量的约束函数，引进了模式映象的概念，最后对不定的ｍ－枝与或图的检索给出了动态的递归算法描述。实验结果表明与期望相符。     

脂肪胺的沸点与分子结构关系的拓扑化学研究

根据分子结构的特点，用的拓扑方法探讨了脂肪胺的沸点与分子结构之间的关系，提出一个既能合理表征脂肪胺结构性能关系，又能预测沸点的定量关系式。对１０２种脂肪胺的计算结果表明，沸点预测值与实验的一致性令人满意，平均误差０．４２２％。