PROLOG语言

作品数：217被引量：129H指数：4
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：陶文祥曾湘燕赵致琢王春伟余金山更多>>
相关机构：哈尔滨工程大学国防科学技术大学厦门大学吉林大学更多>>
相关期刊：更多>>
相关基金：国家自然科学基金黑龙江省自然科学基金国家高技术研究发展计划河南省科技攻关计划更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
一种基于Prolog有限自动机的正则表达式算法研究被引量：1
《电脑编程技巧与维护》2019年第7期37-39,55,共4页李晓欧 刘军 
正则表达式用于人工阅读比较容易,但是对于计算机阅读与理解则相对很困难.介绍了Prolog人工智能语言的结构与特性、正则表达式与有限自动机的定义,阐述了它们之间的关系与转换方式,并提出了实现了一种基于Prolog的通过有限自动机匹配正...
关键词：声明式编程语言 PROLOG语言 正则表达式 自动机 
Prolog与Jess推理算法比较被引量：2
《电脑编程技巧与维护》2017年第15期28-29,44,共3页张京丽 赵辰 李晓叶 于妍 
随着语义网和专家系统的发展,产生了许多基于逻辑表示的推理机,比如Jess、Prolog等。对于推理机来说,推理的能力和效率至关重要,Jess采用rete算法,Prolog采用深度优先算法,针对这两种推理算法进行比较,以便能够对推理机有更深入的了解。
关键词：PROLOG语言 Jess语言 RETE算法 深度优先算法 
融入指尖资源推送平台的教学新模式
《韩山师范学院学报》2016年第6期78-82,共5页朱映辉 
2015年度广东省高等教育改革项目(项目编号:粤教高函[2015]173号/432);2014年度广东省高等学校青年教师信息化新课堂项目(项目编号:GDHYC054)
针对当前常规多媒体教学中存在的学生主动性和能动性不足的弊端,提出一种移动互联网时代应用指尖资源推送平台的课堂教学新模式,课堂中将教学相关素材资源推送到学生的指尖设备中,给以学生足够的课堂控制力,学生可根据自己的接受能力去...
关键词：教学模式 微学习 人工智能 PROLOG语言 推送平台 
模糊知识在语义网络中的实现被引量：1
《上海工程技术大学学报》2013年第4期361-364,共4页廖志闯 程武山 
上海市教委085知识创新工程资助项目(JZ0906);上海市科委重点攻关资助项目(071105121)
以语义网络为基础,从确定性知识出发,结合实例对不确定知识的表示做了一定的探讨,并在Prolog环境中成功实现了模糊知识在语义网络中的表示,这不仅提高了语义网络描述客观世界知识的能力,也提高了其处理知识的效率,为知识的表示研究提供...
关键词：语义网络 模糊知识 描述 PROLOG语言 
基于Prolog语言的装备维修决策专家系统设计与开发被引量：1
《微计算机信息》2012年第7期90-92,共3页王广彦 胡起伟 王亚彬 
采用Prolog智能语言对装备维修决策专家系统进行了设计与开发。从维修知识和推理能力两方面研究了装备维修专家的基本特点;分析了基于Prolog的专家系统的基本语法、推理方式及其在装备维修中的应用方式;设计并开发了装备维修决策专家系...
关键词：维修 专家系统 知识库 PROLOG 人工智能 
基于Prolog语言的小型动物分类专家系统的研究与应用
《内蒙古农业大学学报（自然科学版）》2012年第1期201-205,共5页郜晓晶 
论文在分析Prolog语言的特点和基本结构,专家系统的定义、组成及工作原理的基础上,运用Prolog语言设计了一个小型的动物分类专家系统。该专家系统采用问答方式,推断出用户想象中的动物。
关键词：PROLOG 专家系统 知识库 推理机 
传统逻辑直言命题推理的扩充
《兰州大学学报（社会科学版）》2011年第6期79-82,共4页邱德钧 
传统逻辑的直言推理包涵易被忽略的内容,文中力图揭示这些内容;一旦用一阶逻辑形式化直言推理以后,在得到精确性的同时,又失去了思维的直觉,对扩展思维方法并无好处。但这种推理还可以用现代数学的图论进行扩充,发掘更多的连通关系;最...
关键词：直言推理 形式化 谓词逻辑 有向图 PROLOG语言 
一种基于tuProlog的智能售货系统设计被引量：2
《计算机工程》2011年第4期267-269,共3页杨铁军 黄琳 
广西教育厅科研基金资助项目(201012MS105);广西自然科学基金资助项目(0991253)
给出一种结合Prolog逻辑智能和传统程序设计的虚拟售货员系统的设计方法。该方法基于tuProlog技术,将业务逻辑与关系型数据结合在一起的传统程序设计转变为将逻辑推理与其他非逻辑处理分开的设计方法,即把系统分为逻辑处理模块和骨骼模...
关键词：PROLOG语言 面向逻辑编程 智能 电子商务 
基于Prolog语言的商品推荐知识库模型被引量：4
《计算机工程》2010年第22期10-12,共3页汲业 陈燕 屈莉莉 张琳 
国家自然科学基金资助项目(70940008)
针对电子商务个性化推荐问题的特点,引入知识工程的树状表示法,将商品推荐中的三要素转化成描述树进行表达,建立基于Prolog语言的个性化推荐知识库模型。该模型可以根据顾客浏览商品先后次序求解,并与数据库动态地交互数据,实现在线购...
关键词：电子商务 PROLOG语言 知识库 商品推荐 
基于BAN类逻辑的协议自动化分析工具设计
《科技信息》2010年第09X期10-11,7,共3页邓媛劼 王倩 
河南省科技攻关(No.0524220044;0624260017;072102210029)
BAN类逻辑广泛应用于安全协议分析,具有简洁性和易用性。使用Prolog人工智能语言设计开发了基于BAN类逻辑协议的自动化分析工具,实验表明工具能够严谨、高效地分析安全协议的正确性及认证性等安全属性。
关键词：BAN类逻辑 自动化分析工具 PROLOG语言 
全选清除导出
共22页<12345678910>
检索报告 对象比较 聚类工具 使用帮助 返回顶部