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

针对肺心病的诊疗专家系统的设计与实现

针对肺心病临床综合病症指标复杂、极易造成因临床医生经验少而误诊的现实问题,研制基于肺心病的诊疗专家系统,以提高其临床诊断率和治愈率。该系统采用Visual Prolog和Visual Basic相结合的方法设计完成,其界面由Visual Basic实现,推理机由Visual Prolog设计完成,采用正向与反向相结合的推理策略。应用SQL Server 2008构建数据库、知识库并完成维护工作。经临床验证,该系统设计合理,科学实用且准确率高,提高了肺心病的诊疗率,提升了临床青年医生的诊疗水平。     

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

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

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

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

专家系统外壳ESTA的汉化研究及应用

Visual Prolog是国际上已经广泛流行的功能强大的通用智能化集成开发环境，ESTA（Expert System Shell for Text Animation）V4．5是随Visual Prolog V5．2推出的商业专家系统外壳。文章概述了ESTA的功能特点以及ESTA的汉化研究，利用汉化的ESTA开发并应用于变压器等设备故障诊断专家系统（基于三比值法则）。     

专家系统外壳ESTA的汉化研究及应用

Visual Prolog是国际上已经广泛流行的功能强大的通用智能化集成开发环境,ESTA(Expert System Shell for Text Animation)V4.5是随Visual Prolog V5.2推出的商业专家系统外壳,本文概述了ESTA的功能特点及对ESTA所做的汉化应用研究,利用汉化的ESTA开发并应用了变压器等设备故障诊断专家系统(基于三比值法则)。     

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

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

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

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

用遗传算法解多货郎担(2-货郎担)问题

给出了多货郎担问题的基本定义,对2-货郎担问题进行了简单的数学描述,并对利用遗传算法解多货郎担问题提出一些基本思路。     

Visual Prolog确定性管理机制剖析

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

Visual Prolog截断机制对回溯的作用机理

回溯是一种获得目标所有可能解的良好方法.然而不恰当地使用回溯,可能导致系统效率降低,时空开销增大,因此必须设置相应机制,仔细控制回溯过程.Visual Prolog的控制谓词,即失败谓词fail和否定谓词not,与截断机制,包括静态截断机制和动态截断机制,构成了完整的目标搜索求解控制机制,可以实现对搜索过程的仔细控制,减少不必要的回溯.该文在考察Visual Prolog回溯机制和截断机制的基础上,通过实例,对其静态截断机制和动态截断机制进行了详细分析,从而揭示回溯机制和截断机制的本质特性和应用机理.     

智能教学系统写作环境的研究与实现

本文主要讨论了智能写作环境的发展趋势，分析了三种写作语言，结合现实情况．提出了面向对象数据库和人工智能语言的结合，给出实现智能教学系统可行的写作环境—Visual Basic、Prolog，Access数据库三者的松耦合。     

混合知识表示法在基于实例设计中的应用研究

针对基于实例的设计（CBD）系统中的复杂知识类型,提出了混合知识表示法,综合运用逻辑、规则、框架、过程表示法的优点,通过面向对象技术加以实现,并给出了基于Visual Prolog5.0的编程方法的应用实例。     

AI与Prolog

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

Turbo Prolog语言及其与汇编的接口

本文主要研究了Prolog与汇编语言的接口问题,并给出了一种用Prolog打印不同字型的汉字文本的方法。     

欧氏空间货郎担问题的一个多项式时间近似方案的改进与实现

货郎担问题的实例是给定n个结点和任意一对结点{i,j}之间的距离di,j,要求找出一条封闭的回路,该回路经过每个结点一次且仅一次,并且费用最小,这里的费用是指回路上相邻结点间的距离和.货郎担问题是NP难的组合优化问题,是计算机算法研究的热点之一.在过去几十年中,这一经典问题成为许多重要算法思想的测试平台,并促使一些研究领域的出现,如多面体理论和复杂性理论.欧氏空间上的货郎担问题,结点限制在欧氏空间,距离定义为欧氏距离.即使是这样,欧氏空间上的货郎担问题仍然是NP难的.1996年,Arora提出欧氏空间上货郎担问题的第1个多项式时间近似方案.对其中货郎担问题的算法进行了改进：提出一种新的构造方法,使应用于该算法的“补丁引理”结论由常数6改进到常数3,从而使算法的时间复杂度大幅减少;同时,编程实现了该算法,并对实验结果进行了分析.     

逻辑型语言和过程型语言中的COM技术

本文探讨了在过程型程序设计语言与逻缉型程序设计语言中COM(Component 0bject Model)技术的实现方法，从而改变了以往用这两类语言编写的程序之间的松耦合关系，实现了两类不同种类语言之间的无缝连接，使它们能在深层次上自由地进行信息交流．本文还以Visual C 和Visual．Prolog为例，给出了一些有参考价值的实例．     

旅行售货员问题的量子算法

利用波的特性在量子环境下对货郎担问题(TSP)进行了求解，介绍了这种量子算法的基本思想及相关概念，然后分析并给出了求解货郎担问题的量子算法，最后对量子算法的发展进行了展望。