Visual Prolog智能集成开发环境评述 被引量：23

1

作者 雷英杰 邢清华 +1 位作者 孙金萍 张雷 《空军工程大学学报（自然科学版）》 CSCD 2002年第5期39-43,共5页

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

关键词 智能集成开发环境 visual prolog 人工智能 逻辑程序设计 可视化开发环境 可视化编程接口

在线阅读 下载PDF 职称材料

Visual Prolog的回溯机制分析 被引量：12

2

作者 雷英杰 王涛 +1 位作者 赵晔 王建勋 《空军工程大学学报（自然科学版）》 CSCD 2004年第5期80-84,共5页

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

关键词 visual prolog 逻辑程序设计 编程语言 AI 专家系统

在线阅读 下载PDF 职称材料

Visual Prolog的搜索控制机制分析 被引量：8

3

作者 雷英杰 王宝树 +1 位作者 赵晔 王涛 《计算机科学》 CSCD 北大核心 2005年第4期52-54,共3页

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

关键词 visual prolog 机制分析 逻辑程序设计 目标搜索 控制机制 系统开销 应用机理 本质特性 回溯 副作用 低效率 求解 谓词 截断

在线阅读 下载PDF 职称材料

Visual Prolog截断机制对回溯的作用机理 被引量：6

4

作者 雷英杰 华继学 +1 位作者 徐彤 狄博 《计算机工程》 EI CAS CSCD 北大核心 2005年第18期183-185,共3页

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

关键词 visual prolog 逻辑程序设计 编程语言 专家系统

在线阅读 下载PDF 职称材料

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

5

作者 田野 雷英杰 +1 位作者 吉波 孙晨 《空军工程大学学报（自然科学版）》 CSCD 北大核心 2005年第6期60-62,83,共4页

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

关键词 专家系统 编程语言 逻辑程序设计 visual prolog

在线阅读 下载PDF 职称材料

基于Visual Prolog的液压站最小故障诊断专家系统的实现

6

作者 蒋冰华 梅娟 +2 位作者 景峰 杨晴 魏颖豪 《三峡大学学报（自然科学版）》 CAS 2016年第3期95-97,共3页

液压站的故障诊断及处理对重大设备液压系统的安全运行有重要影响,根据专家的故障诊断经验知识,利用Visual Prolog实现了故障诊断数据库和数据库管理系统,针对液压站中压力故障实现了故障推理机,推理机推理的结果表明本文设计的最小专... 液压站的故障诊断及处理对重大设备液压系统的安全运行有重要影响,根据专家的故障诊断经验知识,利用Visual Prolog实现了故障诊断数据库和数据库管理系统,针对液压站中压力故障实现了故障推理机,推理机推理的结果表明本文设计的最小专家系统故障诊断的结果是准确的. 展开更多

关键词 液压站 专家系统 visual prolog 推理机

在线阅读 下载PDF 职称材料

Visual Prolog在专家系统故障诊断中的应用 被引量：3

7

作者 郑璇 马昕 张贝克 《计算机工程》 CAS CSCD 北大核心 2009年第16期189-191,194,共4页

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

关键词 visual prolog语言 专家系统 故障诊断 催化裂化

在线阅读 下载PDF 职称材料

基于Visual Prolog的车身点焊工艺专家系统的研究 被引量：1

8

作者 徐飞 胡小建 +1 位作者 孙太生 任志凤 《精密成形工程》 2012年第4期65-68,共4页

为了有效地提高点焊工艺设计的效率,提出了将焊接专家系统应用于点焊工艺设计过程的思想。按照专家系统的构建步骤,开发了基于Visual Prolog软件的点焊工艺专家系统,最后对各模块进行了介绍。结果表明,它能有效地进行焊接工艺参数的选取。

关键词 焊接专家系统 点焊 推理机 visual prolog

在线阅读 下载PDF 职称材料

基于FOIL算法的一阶规则集学习器设计方法 被引量：1

9

作者 徐彤 张莉 谢波 《空军工程大学学报（自然科学版）》 CSCD 北大核心 2005年第6期80-83,共4页

对FOIL算法进行了深入剖析,提出了一种基于该算法利用V isual Prolog实现一阶规则集学习器的设计方法,给出了实现学习器的关键代码和试验结果,验证了该方法在一阶规则集提取中的有效性。

关键词 FOIL 一阶规则 序列覆盖 HORN子句 visual prolog

在线阅读 下载PDF 职称材料

分类专家咨询系统开发工具EFCTOOL的设计与实现

10

作者 苏畅 陈怡疆 蔡经球 《计算机工程与应用》 CSCD 北大核心 2001年第5期102-104,共3页

文章在对实际专家系统和现有的专家系统开发工具进行分析的基础上，探讨了提高专家系统开发工具的适应性的途径；实现了弱逻辑关系及其组合算法1；探讨了提高专家系统开发工具运行效率的途径。同时采用VISUAL PROLOG 4．02实现... 文章在对实际专家系统和现有的专家系统开发工具进行分析的基础上，探讨了提高专家系统开发工具的适应性的途径；实现了弱逻辑关系及其组合算法1；探讨了提高专家系统开发工具运行效率的途径。同时采用VISUAL PROLOG 4．02实现了一个分类专家咨询系统开发工具EFCTOOL，利用EFCTOOL，可根据需要生成确定或不确定的专家咨询系统。 展开更多

关键词 专家咨询系统开发工具 弱逻辑关系 不确定推理 EFCTOOL

在线阅读 下载PDF 职称材料

基于Web的非精确反向推理专家系统研究与实现

11

作者 崔奇明 《计算机工程与应用》 CSCD 北大核心 2006年第21期214-216,223,共4页

介绍了一个基于Web的精确反向推理专家系统原型,通过对其增加非精确推理功能,完成了对此原型的改进,使其能进行非精确分类或诊断。提出在推理过程中对所使用的规则、条件等信息的收集及处理算法,并给出一个推理过程分析实例,论述了对原... 介绍了一个基于Web的精确反向推理专家系统原型,通过对其增加非精确推理功能,完成了对此原型的改进,使其能进行非精确分类或诊断。提出在推理过程中对所使用的规则、条件等信息的收集及处理算法,并给出一个推理过程分析实例,论述了对原型改进的基本步骤,同时也提供了一个知识库例子。探讨基于Web的专家系统的应用实践,对于推动专家系统在我国的应用具有现实意义。 展开更多

关键词 专家系统 非精确推理 visual prolog 分类与诊断 WEB

在线阅读 下载PDF 职称材料

基于Web的软件错误分析专家系统开发 被引量：2

12

作者 王瀛 张景 李军怀 《计算机工程》 EI CAS CSCD 北大核心 2005年第3期75-76,169,共3页

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

关键词 软件错误 基于WEB 专家系统 知识表示 推理机制 INTERNET环境 总体架构 推理能力 错误分析 修改建议

在线阅读 下载PDF 职称材料

基于人工智能的线切割电参数的优化选取 被引量：1

13

作者 曾焕鑫 蔡长韬 倪亚辉 《机床与液压》 北大核心 2011年第6期28-31,共4页

针对线切割加工过程中电参数选择的不确定性,提出了基于Visual Prolog内置推理机PIE的电参数智能选择方案。研究结果表明:所建立的推理系统能够较精确地根据用户给定的加工条件推导出所需的加工电参数,解决了电参数选择的不确定性问题。

关键词 人工智能 visual prolog 推理机 线切割 电参数

在线阅读 下载PDF 职称材料

基于ESTA的电力设备状态评估专家系统 被引量：10

14

作者 崔奇明 《电力系统及其自动化学报》 CSCD 北大核心 2008年第5期124-128,共5页

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

关键词 状态检修 状态评估 专家系统 可视化逻辑程序设计语言 专家系统外壳

在线阅读 下载PDF 职称材料