Visual Prolog的搜索控制机制分析

回溯机制是逻辑程序设计的重要设施。回溯本身是一种获得目标所有可能解的良好方法。然而回溯也有副作用,一是它可能导致Visual Prolog给出多余的答案,而Visual Prolog自己不能区分实质上相同的两个解,因此会降低效率;二是尽管一个特殊的目标已被满足,但是回溯机制可能还会强迫Visual Prolog继续手找另外的解,因此会增加系统开销。在这些情况下,必须仔细控制目标搜索求解的回溯过程。本文在揭示Visual Prolog回溯机制所存在问题的基础上,通过实例,对Visual Prolog的静态截断机制、失败谓词fail与否定谓词not等控制谓词,以及动态截断机制等所构成的完整的目标搜索求解控制机制进行了详细分析,从而揭示出回溯机制和搜索求解控制机制的本质特性及应用机理。     

Visual Prolog 6面向对象技术与应用

Visual Prolog是国际上广泛流行的功能强大的通用智能化应用集成开发环境,它是基于Prolog的强类型的面向对象程序设计语言.文章讨论了Visual Prolog 6的面向对象技术及其在专家系统设计中的应用,实现了一个称为“失踪儿童协寻专家系统”的示例,经运行测试,效果良好.     

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

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

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

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

Visual Prolog语言在测试设备故障诊断专家系统中的应用

Visual Prolog语言是人工智能与专家系统领域最著名的逻辑程序设计语言,适合表达人的思维和推理规则,能够方便地实现模式匹配、回溯、事实数据库和谓词等功能;针对导弹测试设备结构复杂、故障隔离与定位困难等情况,充分利用Visual Prolog语言在专家系统知识表示及逻辑推理过程中的优点,建立了一个基于规则的导弹测试设备故障诊断专家系统;通过应用表明Visual Prolog语言十分适合构建此类专家系统,并具有良好的开发应用前景.     

Visual Prolog的SQL接口及其应用

概述了Ｐｒｏｌｏｇ的基本特点，讨论了Ｖｉｓｕａｌ Ｐｒｏｌｏｇ Ｖ４．０的ＳＱＬ接口技术，论述了ＳＱＬ接口的工作原理和参数传递等问题，提出了利用该技术的机械设计专家系统基本模型，以充分利用现有的ＣＡＤ工程数据库资源。     

基于MYCIN不精确推理的Turbo Prolog程序设计

推理机是专家系统设计的关键环节，本文采用ＴｕｔｏＰｒｏｌｏｇ语言实现了基于ＭＹＣＩＮ的不精确推理，为今后建造各种实用专家系统提供了方便。     

模块化Prolog的研究与实现

为使系自行研制的Prolog解释系统GKD-Prolog能够支持大型知识系统的开发,我们设计并实现了一个模块化Prolog系统——GKD—Modlog,同时引入了模块和执行环境的概念。这些概念不仅丰富了Prolog语言本身,而且使Prolog更适于知识的表示和操作。本文描述了该系统中与模块化机制相关的概念,系统的组织与设计,主要实现技术和相关模块操作原语。     

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

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

基于Visual Prolog的催化裂化故障诊断系统的设计与实现

炼化工业安全生产已经成为企业和社会共同关注的热点.作者等针对其中的催化裂化装置,根据流程特点、结合流程单元操作与管理模式,设计故障诊断系统,使用基于产生式规则推理的专家系统故障诊断法和Visual Prolog语言在可视化编程环境下实现.通过在催化裂化流程仿真软件上应用,表明此诊断系统对催化裂化生产中出现的多数异常工况,能够有效地推理分析,及时查出故障原因,提供相应的处理措施.     

UCB策略在Prolog中的应用

Prolog(Programming in Logic)程序语言是一种逻辑程序设计语言.它是在逻辑学理论基础上建立起来的并广泛应用在人工智能研究中.这几十年已经出现了各具特色的Prolog编译器,而且各种编译器也都很成功.虽然在现阶段已经出现了各种版本Prolog编译器,但是Prolog编译器的发展空间还是很大.本文先通过现代Prolog编译器的不足,介绍了新Prolog编译器的特点,然后简单叙述了Prolog编译器词法分析和语法分析的过程,最后介绍了UCB策略.     

Visual Prolog确定性管理机制剖析

阐明了Visual Prolog中确定性管理机制的目的和方法,归纳了编写确定性和非确定性谓词的基本原则,通过对代码示例中回溯和截断机制的详细分析,给出了结论。     

递归Prolog程序终止问题的探讨

本文用Ｐｒｏ图的方法讨论了递归Ｐｒｏｌｏｇ程序的终止问题。其中包括Ｐｒｏ图的概念和Ｐｒｏ图的状态序列及递归程序的终止问题。使用本文的方法可为调试程序提供足够的启示。     

基于Web的软件错误分析专家系统开发

介绍了软件错误分析专家系统的总体架构、知识表示、推理机制以及web模式应用的实现方法。该系统可对Internet环境下运行的软件常见错误进行诊断,给出错误分析,提出修改建议,并可解释错误分析过程,给出推理步骤,还具备自学习功能,可不断将新的专家知识充实到知识库,提高自身诊断和推理能力。