期刊文献+
共找到63篇文章
< 1 2 4 >
每页显示 20 50 100
Fuzzy Logic Programming in Action with <i>FLOPER</i>
1
作者 Ginés Moreno Carlos Vázquez 《Journal of Software Engineering and Applications》 2014年第4期273-298,共26页
During the last years, we have developed the FLOPER platform for providing a practical support to the so-called Multi-Adjoint Logic Programming approach (MALP in brief), which represents an extremely flexible framewor... During the last years, we have developed the FLOPER platform for providing a practical support to the so-called Multi-Adjoint Logic Programming approach (MALP in brief), which represents an extremely flexible framework into the Fuzzy Logic Programming arena. Nowadays, FLOPER is useful for compiling (to standard Prolog code), executing and debugging (by drawing execution trees) MALP programs, and it is ready for being extended in the near future with powerful transformation and optimization techniques designed in our research group during the recent past. Our last update consists in the integration of a graphical interface for a comfortable interaction with the system which allows, among other capabilities, the use of projects for packing scripts and auxiliary definitions of fuzzy sets/connectives, together with fuzzy programs and their associated lattices modeling truth-degrees beyond the simpler crisp case ﹛true;false﹜. 展开更多
关键词 Fuzzy LOGIC programMING language Design and Implementation New programMING Concepts and Paradigms Software tools COST Measures
下载PDF
Visual Prolog的搜索控制机制分析 被引量:8
2
作者 雷英杰 王宝树 +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的回溯机制分析 被引量:12
3
作者 雷英杰 王涛 +1 位作者 赵晔 王建勋 《空军工程大学学报(自然科学版)》 CSCD 2004年第5期80-84,共5页
回溯机制是逻辑程序设计的重要设施。回溯本身是一种获得目标所有可能解的良好方法。在考察VisualProlog回溯机制作用原理的基础上,通过若干实例,详细阐述了回溯机制所遵循的4个基本原则,即自顶向下逐层搜索原则、从左到右顺序扫描原则... 回溯机制是逻辑程序设计的重要设施。回溯本身是一种获得目标所有可能解的良好方法。在考察VisualProlog回溯机制作用原理的基础上,通过若干实例,详细阐述了回溯机制所遵循的4个基本原则,即自顶向下逐层搜索原则、从左到右顺序扫描原则、规则匹配原则、事实匹配原则,给出了回溯机制的循环实现方法,深入分析了回溯过程可能发生的各种情况,从而揭示出回溯机制的本质特性和应用机理。结论指出回溯机制具有副作用,需要利用截断机制、失败谓词等对搜索过程进行仔细控制。 展开更多
关键词 VISUAL prolog 逻辑程序设计 编程语言 AI 专家系统
下载PDF
Visual Prolog截断机制对回溯的作用机理 被引量:6
4
作者 雷英杰 华继学 +1 位作者 徐彤 狄博 《计算机工程》 EI CAS CSCD 北大核心 2005年第18期183-185,共3页
回溯是一种获得目标所有可能解的良好方法。然而不恰当地使用回溯,可能导致系统效率降低,时空开销增大,因此必须设置相应机制,仔细控制回溯过程。VisualProlog的控制谓词,即失败谓词fail和否定谓词not,与截断机制,包括静态截断机制和动... 回溯是一种获得目标所有可能解的良好方法。然而不恰当地使用回溯,可能导致系统效率降低,时空开销增大,因此必须设置相应机制,仔细控制回溯过程。VisualProlog的控制谓词,即失败谓词fail和否定谓词not,与截断机制,包括静态截断机制和动态截断机制,构成了完整的目标搜索求解控制机制,可以实现对搜索过程的仔细控制,减少不必要的回溯。该文在考察VisualProlog回溯机制和截断机制的基础上,通过实例,对其静态截断机制和动态截断机制进行了详细分析,从而揭示回溯机制和截断机制的本质特性和应用机理。 展开更多
关键词 VISUAL prolog 逻辑程序设计 编程语言 专家系统
下载PDF
一种基于tuProlog的智能售货系统设计 被引量:2
5
作者 杨铁军 黄琳 《计算机工程》 CAS CSCD 北大核心 2011年第4期267-269,共3页
给出一种结合Prolog逻辑智能和传统程序设计的虚拟售货员系统的设计方法。该方法基于tuProlog技术,将业务逻辑与关系型数据结合在一起的传统程序设计转变为将逻辑推理与其他非逻辑处理分开的设计方法,即把系统分为逻辑处理模块和骨骼模... 给出一种结合Prolog逻辑智能和传统程序设计的虚拟售货员系统的设计方法。该方法基于tuProlog技术,将业务逻辑与关系型数据结合在一起的传统程序设计转变为将逻辑推理与其他非逻辑处理分开的设计方法,即把系统分为逻辑处理模块和骨骼模块,逻辑模块负责复杂多变的业务逻辑处理,骨骼模块负责其他非逻辑问题,介绍逻辑模块的设计思路和实现步骤。该方法既利用了传统程序设计的优势,又将复杂的逻辑推理独立出来,由专门的逻辑引擎处理,有效提高系统的灵活性和可扩展性,是一种可供参考的智能程序设计方法。 展开更多
关键词 prolog语言 面向逻辑编程 智能 电子商务
下载PDF
在扩展PROLOG中函数和面向对象的程序设计 被引量:2
6
作者 高峰 黄厚宽 《哈尔滨船舶工程学院学报》 EI CAS CSCD 1989年第2期194-204,共11页
论述了逻辑、函数和面向对象程序设计语言的差别和联系,提出了PROLOG语言的元级扩展,讨论了在此系统中函数和面向对象程序设计的实现方法.从程序设计方法学的观点看,此系统展现了多种程序设计风格,是逻辑、函数和面向对象程序设计模式... 论述了逻辑、函数和面向对象程序设计语言的差别和联系,提出了PROLOG语言的元级扩展,讨论了在此系统中函数和面向对象程序设计的实现方法.从程序设计方法学的观点看,此系统展现了多种程序设计风格,是逻辑、函数和面向对象程序设计模式的结合. 展开更多
关键词 程序设计 prolog语言 函数
下载PDF
智能程序设计语言VISUAL PROLOG编程解析 被引量:2
7
作者 李玉香 沈楠 李可强 《电脑与电信》 2016年第11期37-38,56,共3页
VISUAL PROLOG具有很强的逻辑推理能力,且易于编程,操作界面友好,近年来得到程序设计行业的广泛关注。本文对VISUAL PROLOG程序设计语言的主要特征进行概述,在此基础上,对基于VISUAL PROLOG语言的程序编程展开较为深入的探究。
关键词 智能程序设计语言 VISUAL prolog 编程解析
下载PDF
Visual Prolog的接口作用域限定机制
8
作者 田野 雷英杰 +1 位作者 吉波 孙晨 《空军工程大学学报(自然科学版)》 CSCD 北大核心 2005年第6期60-62,83,共4页
针对V isual Prolog中的接口这一特殊作用域,在考察其限定机制基本问题的基础上,详细分析它所特有的支持限定和开放限定等机制的功能与作用。首先阐述了接口与对象的基本概念,然后分析了开放限定和支持限定的作用机理,最后通过实例分析... 针对V isual Prolog中的接口这一特殊作用域,在考察其限定机制基本问题的基础上,详细分析它所特有的支持限定和开放限定等机制的功能与作用。首先阐述了接口与对象的基本概念,然后分析了开放限定和支持限定的作用机理,最后通过实例分析,揭示了接口作用域限定机制的本质特性和应用机理。 展开更多
关键词 专家系统 编程语言 逻辑程序设计 VISUAL prolog
下载PDF
应用JNI实现Java与Prolog的优势互补 被引量:2
9
作者 张白一 崔尚森 《交通与计算机》 2004年第6期119-121,共3页
针对 Java应用软件开发中可能遇到的逻辑推理问题 ,讨论了 Java语言与 Prolog语言的混合编程技术 ,提出用 Java支持的 JNI技术可实现两类语言的优势互补 ,提高了软件开发效率。
关键词 JNI JAVA语言 prolog 优势互补 混合编程
下载PDF
决策支持工具MV-PROLOG系统的设计与实现
10
作者 迟忠先 洪永康 曹桂琴 《大连理工大学学报》 EI CAS CSCD 北大核心 1990年第5期591-597,共7页
在 MV系列机上实现的 MV-PROLOG系统是为建立企业决策支持系统提供知识处理工具而设计的。为了提高系统的运行效率和实用性.在实现上采用了内码表示、结构共享、智能回溯、预匹配以及尾递归等多项措施。在设计上.本系统特... 在 MV系列机上实现的 MV-PROLOG系统是为建立企业决策支持系统提供知识处理工具而设计的。为了提高系统的运行效率和实用性.在实现上采用了内码表示、结构共享、智能回溯、预匹配以及尾递归等多项措施。在设计上.本系统特别注重与环境的连接和通讯。为此,系统用COBOL语言编写,以便于与MIS或其他系统软件(DBMS和高级语言等)通讯。 展开更多
关键词 程序语言 prolog 决策支持系统
下载PDF
用PROLOG模拟Lyusia语言中状态转移编程体裁
11
作者 江明德 《电子科技大学学报》 EI CAS CSCD 北大核心 1990年第5期441-447,共7页
新人工智能语言 Lyusia 是一种多体裁多层次的新型编程语言。它在语法上和在语义上有机地协调地统一了五种编程体栽:泛函的,逻辑的,集合论的,状态转移(过程的与法则的相结合)的及数据流的。本文通过一些例子,用 PROLOG 来模拟 Lyusia ... 新人工智能语言 Lyusia 是一种多体裁多层次的新型编程语言。它在语法上和在语义上有机地协调地统一了五种编程体栽:泛函的,逻辑的,集合论的,状态转移(过程的与法则的相结合)的及数据流的。本文通过一些例子,用 PROLOG 来模拟 Lyusia 语言中状态转移编程体裁,以达到:(1)阐明状态转移编程体裁的逻辑本质。(2)显示“状态转移编程体裁既蕴含着过程性,又蕴含着说明性(declarative)”。(3)显示“状态转移编程体裁是过程编程体裁与基于法则编程体裁的结合”。(4)表明状态转移编程体裁在表达能力方面的简洁、灵活、善变。(5)说明状态转移编程体裁的应用。 展开更多
关键词 prolog编程 Lyusia语言 编程载体
下载PDF
PROLOG逻辑程序正确性证明
12
作者 方林 程景云 《上海海运学院学报》 1995年第1期34-40,共7页
PROLOG是一种逻辑程序设计语言,本文以这种语言为例,提出了谓词依赖性、等价式、谓词规范等概念,并且在此基础上对PROLOG谓词加以分类。最后基于一阶谓词逻辑。
关键词 程序设计 程序逻辑 程序语言 正确性
下载PDF
Prolog语言与Gdel语言中元程序设计方法的研究 被引量:1
13
作者 王啸澜 赵致琢 李慧琪 《厦门大学学报(自然科学版)》 CAS CSCD 北大核心 2005年第B06期247-250,共4页
元程序设计是许多逻辑程序语言具有的重要特点,它可以有效地实现程序自解释自调节功能,研究逻辑语言的元程序设计方法对于自动优化程序设计和实现智能计算都具有重要的意义.Prolog语言与Gdel语言分别支持使用非基本表示与使用基本表示... 元程序设计是许多逻辑程序语言具有的重要特点,它可以有效地实现程序自解释自调节功能,研究逻辑语言的元程序设计方法对于自动优化程序设计和实现智能计算都具有重要的意义.Prolog语言与Gdel语言分别支持使用非基本表示与使用基本表示的元程序设计功能.本文通过对这两种语言中的元程序设计方法进行研究,讨论了基本表示与非基本表示的主要特点和实现机制,具体分析了Prolog语言与Gdel语言元解释程序的构造方法以及部分求值功能实现. 展开更多
关键词 prolog语言 程序设计方法 程序语言 智能计算 自动优化 逻辑语言 调节功能 实现程序 实现机制 主要特点 设计功能 功能实现 部分求值 构造方法 解释程序 元程序 自解
下载PDF
Pro树与Prolog程序追踪 被引量:2
14
作者 刘育刚 吕光楣 《计算机研究与发展》 EI CSCD 北大核心 1995年第7期17-20,共4页
本文介绍了Pro树的生成规则,并以一个递归程序为例,对追踪过程和由Pro树图解的运行机制进行了详细比较,说明Pro树可作为一种直现、形象、易于理解的辅助工具,用于Prolog程序的设计和调试。
关键词 prolog语言 程序追踪 程序调试 Por树
下载PDF
UCB策略在Prolog中的应用 被引量:1
15
作者 高慧 刘知青 《软件》 2012年第9期24-26,共3页
Prolog(Programming in Logic)程序语言是一种逻辑程序设计语言。它是在逻辑学理论基础上建立起来的并广泛应用在人工智能研究中。这几十年已经出现了各具特色的Prolog编译器,而且各种编译器也都很成功。虽然在现阶段已经出现了各种版本... Prolog(Programming in Logic)程序语言是一种逻辑程序设计语言。它是在逻辑学理论基础上建立起来的并广泛应用在人工智能研究中。这几十年已经出现了各具特色的Prolog编译器,而且各种编译器也都很成功。虽然在现阶段已经出现了各种版本Prolog编译器,但是Prolog编译器的发展空间还是很大。本文先通过现代Prolog编译器的不足,介绍了新Prolog编译器的特点,然后简单叙述了Prolog编译器词法分析和语法分析的过程,最后介绍了UCB策略。 展开更多
关键词 prolog 程序语言 词法分析 语法分析 UCB
下载PDF
适合开发中文专家系统的新Prolog工具库
16
作者 张宏 马军 +1 位作者 徐建良 马绍汉 《微电子学与计算机》 CSCD 北大核心 1994年第4期15-17,共3页
本文介绍了对西文Prolog的系统谓词和工具库谓词的修改和扩充算法,使修改后的西文Prolog2.0和工具库完全适合开发在汉化的Dbase信息管理系统上建立中文专家系统。
关键词 prolog语言 专家系统 工具库
下载PDF
Prolog逻辑程序的测试方法
17
作者 罗钢 陈俊亮 袁迅 《计算机学报》 EI CSCD 北大核心 1991年第11期838-844,共7页
Prolog逻辑程序设计语言具有不同于传统程序设计语言的特点.本文根据测试Prolog程序的实践,提出了一系列为Prolog程序生成测试用例的准则.按这些准则测试实际程序效果良好.这是在逻辑程序测试新领域迈出的一步.
关键词 prolog语言 软件 逻辑程序 测试
下载PDF
递归Prolog程序的正确性证明 被引量:2
18
作者 刘育刚 《计算机学报》 EI CSCD 北大核心 1996年第1期64-67,共4页
本文提出了一种称为Pro图的图形方法,并用该图形方法进行了递归Prolog程序的正确性证明.文中包括Pro图的基本概念及生成规则,Pro图上各节点的关系,Pro图的激活过程,并给出了关于递归程序正确性证明的公理和定理.
关键词 prolog语言 正确性证明 递归程序
下载PDF
一种用PROLOG实现非精确推理的方法
19
作者 余宏华 马玉书 《石油大学学报(自然科学版)》 CSCD 1990年第2期93-101,共9页
本文通过对模糊f-Horn子句的语义和推理机制的分析,提出了一种直接用Horn子句做非精确推理方法,并用Turbo Prolog编制了实例程序,对该方法做了检验。证明这种方法对于直接用Prolog语言编制需要做非精确推理的人工智能软件是可行的。
关键词 prolog语言 非精确推理 软件
下载PDF
一种用Pro树测试和辅助设计Prolog程序的方法 被引量:1
20
作者 刘育刚 《哈尔滨工程大学学报》 EI CAS CSCD 1995年第3期59-65,共7页
按着Prolog语言创立者AlainColmerauer的思路 ̄[2],本文提出一种称为Pro树的图形方法。它既可用于程序的理解 ̄[6],又可用于程序的测试和辅助设计。文中包括该方法的生成规则,各节点间及谓词参量间的... 按着Prolog语言创立者AlainColmerauer的思路 ̄[2],本文提出一种称为Pro树的图形方法。它既可用于程序的理解 ̄[6],又可用于程序的测试和辅助设计。文中包括该方法的生成规则,各节点间及谓词参量间的关系等内容,并以实例说明了Pro树的应用。 展开更多
关键词 Prolgo语言 程序设计 程序测试
下载PDF
上一页 1 2 4 下一页 到第
使用帮助 返回顶部