V8.0 版权所有© 2001-2026 渝B2-20050021-1
渝公网安备 50019002500403号违法和不良信息举报中心举报邮箱：jubao@cqvip.com
互联网出版许可证 新出网证(渝)字10号机构客服热线 023-67882612
- 新一代智能语言VISUAL PROLOG 认领 引用 被引量：7
- 1
- 《计算机应用研究》 1999年第8期17-19,91,共3页
- VisualProlog是新一代的智能语言；它既具有传统Prolog的推理能力，又具备友好的图形用户界面，它的应用已不仅仅局限于人工智能的研究范围；它将作为新一代计算机语言；和其他流行的编程语言一争高下，成为实际应用的选择。基于止匕本... 展开更多
- 关键词 VisualProlog 人工智能 Prolog语言
- 基于Prolog语言的商品推荐知识库模型 认领 引用 被引量：4
- 2
- 《计算机工程》 CAS 北大核心 2010年第22期10-12,共3页
- 针对电子商务个性化推荐问题的特点,引入知识工程的树状表示法,将商品推荐中的三要素转化成描述树进行表达,建立基于Prolog语言的个性化推荐知识库模型。该模型可以根据顾客浏览商品先后次序求解,并与数据库动态地交互数据,实现在线购... 展开更多
- 关键词 电子商务 Prolog语言 知识库 商品推荐
- 基于本体与Prolog的平面几何定理证明 认领 引用 被引量：4
- 3
- 《电子科技大学学报》 EI CAS CSCD 北大核心 2011年第3期429-434,共6页
- 基于本体理论、本体模型等方面的研究,以一个平面几何定理证明问题为例,详细地描述了平面几何本体的构建过程、基于本体和Prolog规则的推理,及其在平面几何问题求解中的应用。实验结果表明,将本体应用于几何定理机器证明是一种行之有效... 展开更多
- 关键词 平面几何 本体 Prolog RDF(S) 定理证明
- Visual Prolog截断机制对回溯的作用机理 认领 引用 被引量：6
- 4
- 《计算机工程》 EI CAS 北大核心 2005年第18期183-185,共3页
- 回溯是一种获得目标所有可能解的良好方法。然而不恰当地使用回溯,可能导致系统效率降低,时空开销增大,因此必须设置相应机制,仔细控制回溯过程。VisualProlog的控制谓词,即失败谓词fail和否定谓词not,与截断机制,包括静态截断机制和动... 展开更多
- 关键词 Visual Prolog 逻辑程序设计 编程语言 专家系统
- 基于Visual Prolog的面向对象知识表示 认领 引用 被引量：6
- 5
- 《计算机工程与设计》 北大核心 2000年第2期5-9,共5页
- 讨论了最新人工智能开发环境Visual PrologV4．0的特点，分析面向对象技术的基本概念和特征，论述基于Visual Prolog的面向对象知识表示编程策略及知识的一致性与完整性检查等问题，并进行了CAPP加工链知识库系统实例探讨。
- 关键词 Prolog 面向对象 知识表示 CAPP
- 结合C++与Prolog语言快速开发专家系统 认领 引用 被引量：9
- 6
- 《计算机工程与应用》 北大核心 2002年第3期30-32,共3页
- 文章论证了在专家系统三要素的开发及不同的开发阶段中应配合使用C++与Prolog以互补优势,分析当前常用的Prolog版本的特点并选择适用版本为研究对象。结合程序实例论述Prolog程序与C++程序的双向连接技术,为快速开发专家系统打下技术基础。
- 关键词 专家系统 C++语言 Prolog语言 知识获取 人工智能
- 基于谓词逻辑的Prolog程序设计 认领 引用 被引量：4
- 7
- 《西南大学学报（社会科学版）》 CSSCI 北大核心 2009年第6期48-52,共5页
- 一阶谓词逻辑下的Horn逻辑是人工智能程序语言Prolog的理论基础,利用Prolog在计算机上可实现机械化,从而使自动化求解问题和定理证明具备可行性。本文从Horn逻辑和Prolog的基础理论出发,使用Horn子句、SLD-归结、搜索和回溯等原理讨论... 展开更多
- 关键词 谓词逻辑 Prolog Horn逻辑 SLD-归结
- Visual Prolog的搜索控制机制分析 认领 引用 被引量：8
- 8
- 《计算机科学》 北大核心 2005年第4期52-54,共3页
- 回溯机制是逻辑程序设计的重要设施。回溯本身是一种获得目标所有可能解的良好方法。然而回溯也有副作用,一是它可能导致Visual Prolog给出多余的答案,而Visua1 Prolog自己不能区分实质上相同的两个解,因此会降低效率;二是尽管一个特殊... 展开更多
- 关键词 Visual Prolog 机制分析 逻辑程序设计 目标搜索 控制机制 系统开销 应用机理 本质特性 回溯 副作用 低效率 求解 谓词 截断
- Visual Prolog智能集成开发环境评述 认领 引用 被引量：23
- 9
- 《空军工程大学学报（自然科学版）》 2002年第5期39-43,共5页
- VisualProlog是国际上已经广泛流行的功能强大的通用智能化应用集成开发环境。本文全面评述其功能特点 ,包括VisualProlog的由来与发展、可视化开发环境、可视化编程接口、语言与编译器、运行环境等。
- 关键词 智能集成开发环境 Visual Prolog 人工智能 逻辑程序设计 可视化开发环境 可视化编程接口
- 挖掘关联规则频繁项集的算法研究及其Prolog实现 认领 引用 被引量：4
- 10
- 《微电子学与计算机》 北大核心 2003年第9期8-10,33,共3页
- 挖掘事务库中的频繁项集是数据挖掘的重要任务之一。文章对求关联规则中频繁项集算法进行了分析,着重叙述了DHP算法的设计思想,并用Prolog语言实现,试图探讨用逻辑推理方法解决数据挖掘问题。
- 关键词 数据挖掘 数据库 知识发现 关联规则 频繁项集 算法 Prolog语言
- Visual Prolog的回溯机制分析 认领 引用 被引量：12
- 11
- 《空军工程大学学报（自然科学版）》 2004年第5期80-84,共5页
- 回溯机制是逻辑程序设计的重要设施。回溯本身是一种获得目标所有可能解的良好方法。在考察VisualProlog回溯机制作用原理的基础上,通过若干实例,详细阐述了回溯机制所遵循的4个基本原则,即自顶向下逐层搜索原则、从左到右顺序扫描原则... 展开更多
- 关键词 Visual Prolog 逻辑程序设计 编程语言 AI 专家系统
- 一种基于tuProlog的智能售货系统设计 认领 引用 被引量：1
- 12
- 《计算机工程》 EI CAS CSCD 北大核心 2011年第4期267-269,共3页
- 给出一种结合Prolog逻辑智能和传统程序设计的虚拟售货员系统的设计方法。该方法基于tuProlog技术,将业务逻辑与关系型数据结合在一起的传统程序设计转变为将逻辑推理与其他非逻辑处理分开的设计方法,即把系统分为逻辑处理模块和骨骼模... 展开更多
- 关键词 Prolog语言 面向逻辑编程 智能 电子商务
- SUST—PROLOG/4361系统的设计与实现 认领 引用 被引量：1
- 13
- 《计算机工程》 CAS 北大核心 1989年第4期44-47,共4页
- 本文介绍了SUST-PROLOG/4361系统的组成及其实现技术。
- 关键词 PROLOG 解释系统 程序设计 PASCAL
- 基于MYCIN不精确推理的Turbo Prolog程序设计 认领 引用 被引量：2
- 14
- 《软件》 北大核心 1996年第7期11-19,共9页
- 推理机是专家系统设计的关键环节,本文采用Turbo Prolog语言实现了基于MYCIN的不精确推理,为今后建造各种实用专家系统提供了方便。
- 关键词 专家系统 推理机 程序设计 Prolog语言
- 使用工作站网络并行执行prolog程序 认领 引用 被引量：2
- 15
- 《软件学报》 EI 北大核心 1994年第11期38-43,共6页
- 本文介绍了一个在SUN工作站网络上实现的分布式C—PROLOG解释系统DC－PROLOG，它能够自动地将其应用程序的顺序解释过程变为并行解释过程；能够充分利用空闲的主存资源求解大问题，使一些单机上因内存容量不足而无法执行的任务得以执行．
- 关键词 prolog语言 工作站网络 解释程序
- Pro树与Prolog程序追踪 认领 引用 被引量：2
- 16
- 《计算机研究与发展》 EI 北大核心 1995年第7期17-20,共4页
- 本文介绍了Pro树的生成规则，并以一个递归程序为例，对追踪过程和由Pro树图解的运行机制进行了详细比较，说明Pro树可作为一种直现、形象、易于理解的辅助工具，用于Prolog程序的设计和调试。
- 关键词 Prolog语言 程序追踪 程序调试 Por树
- PROLOG运行机制的辅助理解工具 认领 引用 被引量：4
- 17
- 《小型微型计算机系统》 北大核心 1993年第10期49-53,共5页
- 用表意图形的方法研究了人工智能语言PROLOG的各种语法成份,找出一套有效的辅助理解工具,它能准确清晰地图解PROLOG程序,如目标和子句,谓词FAIL和回溯,以及截断谓词等内容。文中特别用两个例子详述了在PROLOG语言中最难理解的递归过程... 展开更多
- 关键词 PROLOG语言 辅助理解工具
- Prolog抽象机及运行模型研究 认领 引用
- 18
- 《计算机研究与发展》 EI 北大核心 1999年第11期1402-1408,共7页
- 文中从实现Prolog 集成开发环境（Prolog－PE）在功能和效率方面的要求出发，通过对Warren 抽象机（WAM）的改进与扩充，提出了一种改进的Prolog 抽象机PAM
- 关键词 Prolog抽象机 Prolog语言 运行模型 代码
