动态模糊逻辑程序设计语言编译器的实现

动态模糊逻辑程序设计语言的独特优势在于可以处理动态模糊数据,但现存的编译器很难有效解析动态模糊数据。针对此问题,通过扩展监督命令程序结构,引入对动态模糊性的形式化描述,设计一种新型的动态模糊逻辑程序设计语言编译器。通过实例验证,该编译器能正确解析动态模糊数据,降低了动态模糊逻辑程序调试难度,提高了动态模糊逻辑程序开发效率。

一种动态模糊逻辑程序设计语言

动态模糊问题在客观世界中是普遍存在的,但纵观现存的程序设计语言,大多适用于解决精确的确定性的数据,而适于解决既具有动态性又具有模糊性数据的程序设计语言极少。动态模糊逻辑作为解决动态模糊问题的理论工具已有十几年的研究历史了,并取得了一系列研究成果。文章借鉴Dijkstra的监督命令程序结构,试图研究一种基于动态模糊逻辑的可以解决动态模糊问题的程序设计语言。

动态模糊逻辑程序设计语言探讨

动态模糊问题是普遍存在的,但是现存的程序设计语言中适合解决动态模糊问题的极少,本文试图作这方面的研究,设计一种适合解决动态模糊性问题的程序设计语言。本文仿照监督命令的程序结构,给出动态模糊逻辑程序设计语言的一个抽象模型,其内容包括:动态模糊逻辑程序设计语言的抽象语法、动态模糊语义。

动态模糊逻辑程序设计语言的指称语义

文献[8]借鉴Dijkstra的监督命令程序结构,给出了动态模糊逻辑程序设计语言的基本框架结构。在此基础上,进一步扩充和完善,并根据指称语义的原理和方法,用结构归纳法给出动态模糊逻辑程序设计语言的指称语义,主要包括:动态模糊程序设计语言的语义域、语义函数及其指称语义。最后给出了一个动态模糊程序设计语言的例子以观察程序的运行过程。

动态模糊逻辑(DFL)程序设计语言的结构化操作语义

动态模糊问题在客观世界中是普遍存在的,作为解决动态模糊问题的理论工具-动态模糊逻辑(DFL)已有十年的研究历史了,为了更有效地解决动态模糊问题,使DFL成为一种切实可实现的逻辑系统,有必要研究设计一种适合解决动态模糊性问题的程序设计语言。仿照监督命令的程序结构,给出动态模糊程序设计语言的结构化操作语义,其内容包括:动态模糊逻辑程序设计语言的抽象语法、动态模糊语义并通过一个简单实例说明其有效性。

基于VC++和Prolog语言混合编程的专家系统框架

为解决专家系统开发周期长的问题,提出并实现了用PROLOG与VC++混合编程方法开发专家系统框架的方案,用VC++实现专家系统框架的人机界面,用PROLOG语言构建知识库并实现推理过程。该框架具有较好的用户界面,用户只要输入或导入脚本编写的知识库、事实库和目标,就可以进行目标求解,因此简化了专家系统的开发过程。介绍了该专家系统框架的实现原理和设计思想,给出了导入导出模块、脚本语言语法检测模块和解释机制的实现方法。

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

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

基于ESTA的电力设备状态评估专家系统

介绍了基于Visual Prolog语言与Esta专家系统外壳的电力设备状态评估专家系统的应用研究。为了使其评估过程智能及计算机化,提出了基于解释推理的评估基本过程框架并引入状态综合指数的概念。对Windows及Web版Esta与大型数据库的连接等做了探索,给出其连接的3种模式及基本方法。其结果实现了一个基于所研究框架的变压器状态评估专家系统,实践表明了该系统的有效性和实用性。

Turbo Prolog系统盘的剖析与改进

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

一种对PROLOG进行矛盾检测的算法

本文首先介绍了PROLOG检测工具的研究现状.作者针对PROLOG语言的特点.提出了一种对PROLOG进行矛盾检测的算法,并用Turbo C语言实现了该算法.该算法作为一种PROLOG检测工具已被合并到Turbo PROLOG系统盘中.