Visual Prolog的回溯机制分析

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

家庭知识系统的构造与搜索推理实现

通过引入prolog语言中的函子、谓词和对数据模型的分析,声明含有两个特征的person复合域,创建事实和推理规则,建立家庭知识系统。通过对系统的提问,分析求解过程的规则演绎系统与或图,得到搜索策略的搜索过程,以及在程序执行时语句中回溯指针的指向过程。最终在Visual Prolog 7.3中实现这个系统,并给出运行结果。     

Prolog中的C编程

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

基于VC和VIP的面向对象知识表示

知识表示是人工智能研究的基本问题之一。通过在 Visual C+ +的类中引入Visual Prolog的推理机制提出了一种基于 VC和 VIP的面向对象知识表示方法 ,完善了 Visual C+ +对象的推理功能 ,进一步增强了面向对象的知识表示能力以及 VisualProlog的接口和计算能力 ,并通过实验验证了方法的性能     

Visual Prolog与Visual C++混合编程技术研究

分析了V isual Prolog论域与C数据结构的对应关系以及函数、谓词的调用约定,讨论了V isual Prolog与V isual C 进行混合编程的实现方法,并通过二者相互调用的代码演示了该方法,从而将VC与V isual Prolog的优势有效的结合起来,使智能应用的开发简单而高效。     

塑料注射成型过程工艺参数设置专家系统

对专家系统和用于实现专家系统的Prolog语言及其编译环境Visual Prolog作了简述。并应用Prolog语言实现了注射成型过程工艺参数设置的专家系统ES-IMPPS（Injection Molding Process Parameters’Setting），并将此专家系统在Visual Prolog中运行，通过设计的实例表明：用Prolog语言编写的此专家系统，符合注塑过程工艺参数的设定要求，而且运行速度快，程序容易理解。     

Visual Prolog的接口作用域限定机制

针对Visual Prolog中的接口这一特殊作用域,在考察其限定机制基本问题的基础上,详细分析它所特有的支持限定和开放限定等机制的功能与作用。首先阐述了接口与对象的基本概念,然后分析了开放限定和支持限定的作用机理,最后通过实例分析,揭示了接口作用域限定机制的本质特性和应用机理。     

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

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

Visual Prolog智能集成开发环境评述

Visual Prolog是国际上已经广泛流行的功能强大的通用智能化应用集成开发环境。本文全面评述其功能特点，包括Visual Prolog的由来与发展，可视化开发环境，可视化编程接口，语言与编译器，运行环境等。     

智能通信网推理机制的研究

为了在语义网的构架中实现元数据的交互.针对一种特定的语义网——智能通信网,研究其推理机制.分析OWL DL语言的描述能力,在其蕴含的知识基础上建立Prolog推理规则,通过Visual Prolog逻辑编程实现了智能通信网的自动推理,并用实例验证该推理系统可完成知识库中元数据的交互,达到人机交互协同工作的要求.最后通过实验检测说明智能通信网推理系统与普通万维网相比,查准率更高.     

压力容器焊缝超声波探伤专家系统

研究并设计出压力容器焊缝超声波探伤专家系统ＵＩＳ．该系统可以对超声波探伤中的仪器选择、规范选择、操作方法、缺陷识别及分类定级等探伤全过程提供指导及专家咨询。系统采用多级模块结构，用Ｔｕｒｂｏ－ｐｒｏｌｏｇ语言编程，可在ＩＢＭ及其兼容机上运行，采用了产生式规则、谓词逻辑相结合的知识表达方式，深度优先、目标驱动的搜索及推理技术。     

扩展产生式规则的网络故障诊断专家系统

根据自然语言理解和网络故障诊断专家系统的特性,提出了一种扩展产生式规则的知识表示方法.扩展产生式规则将规则的前提、结论和建议分别用概念图表示,是一种混合知识表示方法.在扩展产生式规则知识表示方法的基础上,设计出了网络故障诊断专家系统的模型.该系统具有自然语言接口,可将网络中有关故障问题的汉语语句转换成概念图;经过专家系统推理后,可将推理结果和推理过程转换成汉语输出.为了增强专家系统知识获取的灵活性,在系统中还增加了Apriori关联规则挖掘算法,通过对陷阱协议数据单元挖掘,实现在线知识获取.利用该系统模型已开发出网络故障诊断专家系统原型.     

压力容器X射线探伤专家系统

结合压力容器无损探伤的生产实际和特殊要求，在对Ｘ射线探伤的有关知识及专家经验进行广泛收集整理和规范化处理的基础上，研究设计出压力容器焊缝Ｘ射线探伤专家系统ＸＩＳ．此系统采用多级模块化结构，用ＴｕｒｂｏＰｒｏｌｏｇ语言编程，可在ＩＢＭ及其兼容机上运行；并采用了产生式规则和谓词逻辑及图形相结合的知识表达方式和深度优先、目标驱动的搜索推理技术。应用该系统，可指导正确选择探伤器材和探伤方式，制订合理的工艺规范参数，识别评定缺陷级别并给出探伤结果。     

基于MAC的动态回溯算法优化

针对基于MAC的动态回溯算法在求解约束满足问题时, 不仅需要大量空间存储删除解释, 而且回溯机制过于复杂, 对经典的删除解释及动态回溯算法的回溯机制进行优化, 优化后的动态回溯算法减少了存储删除解释的空间, 并可仅使用一次回溯操作返回到可能导致冲突的关键变量. 在最差情况下, 存储删除解释的空间复杂度由O(n²d)改进为O(nd+n²). 通过结合restart技术使优化后的动态回溯算法成为完备算法. 实验结果表明, 优化后的完备动态回溯算法在大部分问题求解中, 整体效率明显优于标准回溯算法.     

基于谓词逻辑和约束网络结构的遗传编程方法

提出了一种新的谓词型遗传编程方法,该方法包括:待求解问题论域的函数空间约束、遗传算子的谓词逻辑表达、谓词结构推理下数值参数空间的混沌式遍历及发生机制以及非线性方式下自适应进化和非监督学习的综合。整个过程是在约束网络的基础上,以谓词逻辑表达机制为核心实现的函数结点集合约束下的数值型进化计算过程。该方法可被认为是对现有遗传编程技术的改进,克服了LISP型及其C仿真型遗传编程算法在各种表示手段方面的缺陷,提高了计算效率,在系统辨识中的应用实验表明了是有效和实用的。