期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到625篇文章
< 1 2 … 32 >
每页显示 20 50 100
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
Visual Prolog智能集成开发环境评述 被引量：23
1
作者 雷英杰 邢清华 +1 位作者 孙金萍 张雷 《空军工程大学学报（自然科学版）》 CSCD 2002年第5期39-43,共5页
VisualProlog是国际上已经广泛流行的功能强大的通用智能化应用集成开发环境。本文全面评述其功能特点 ,包括VisualProlog的由来与发展、可视化开发环境、可视化编程接口、语言与编译器、运行环境等。
关键词 智能集成开发环境 VISUAL prolog 人工智能 逻辑程序设计 可视化开发环境 可视化编程接口
下载PDF
混合知识表示法在基于实例设计中的应用研究 被引量：18
2
作者 宋久鹏 高国安 《计算机工程》 CAS CSCD 北大核心 2001年第11期108-109,140,共3页
针对基于实例的设计（ＣＢＤ）系统中的复杂知识类型，提出了混合知识表示法，综合运用逻辑、规则、框架、过程表示法的优点，通过面向对象技术加以实现，并给出了基于Ｖｉｓｕａｌ Ｐｒｏｌｏｇ ５．０的编程方法和应用实例。
关键词 实例设计 混合知识表示法 人工智能 汽车方向节
下载PDF
基于SCORM规范的智能化通用教学平台的实现 被引量：14
3
作者 戴欣 申瑞民 申丽萍 《计算机工程与应用》 CSCD 北大核心 2002年第21期129-132,共4页
最新的SCORM规范从SCORM内容聚集模型和运行时刻环境两方面构造了符合当前软件发展方向的远程教育教学资源共享的实现框架。如何实现智能化、个性化教学,如何最大限度地使这些教学资源共享,成为随之而来的问题。通过研究和引入Prolog方... 最新的SCORM规范从SCORM内容聚集模型和运行时刻环境两方面构造了符合当前软件发展方向的远程教育教学资源共享的实现框架。如何实现智能化、个性化教学,如何最大限度地使这些教学资源共享,成为随之而来的问题。通过研究和引入Prolog方法,以及同Java技术的整合,简单实现了一个基于SCORM规范智能化通用教学平台。 展开更多
关键词 SCORM规范 智能化通用教学平台 远程教育 人工智能
下载PDF
一个动物识别专家系统在PROLOG下的实现 被引量：11
4
作者 夏明华 《成都信息工程学院学报》 2003年第4期371-375,共5页
首先扼要分析了专家系统的基本工作原理,然后用PROLOG语言实现了一个简单的动物识别专家系统.
关键词 专家系统 动物识别 prolog
下载PDF
Visual Prolog的回溯机制分析 被引量：12
5
作者 雷英杰 王涛 +1 位作者 赵晔 王建勋 《空军工程大学学报（自然科学版）》 CSCD 2004年第5期80-84,共5页
回溯机制是逻辑程序设计的重要设施。回溯本身是一种获得目标所有可能解的良好方法。在考察VisualProlog回溯机制作用原理的基础上,通过若干实例,详细阐述了回溯机制所遵循的4个基本原则,即自顶向下逐层搜索原则、从左到右顺序扫描原则... 回溯机制是逻辑程序设计的重要设施。回溯本身是一种获得目标所有可能解的良好方法。在考察VisualProlog回溯机制作用原理的基础上,通过若干实例,详细阐述了回溯机制所遵循的4个基本原则,即自顶向下逐层搜索原则、从左到右顺序扫描原则、规则匹配原则、事实匹配原则,给出了回溯机制的循环实现方法,深入分析了回溯过程可能发生的各种情况,从而揭示出回溯机制的本质特性和应用机理。结论指出回溯机制具有副作用,需要利用截断机制、失败谓词等对搜索过程进行仔细控制。 展开更多
关键词 VISUAL prolog 逻辑程序设计 编程语言 AI 专家系统
下载PDF
基于Visual Prolog的面向对象知识表示 被引量：6
6
作者 钟佩思 熊光楞 高国安 《计算机工程与设计》 CSCD 北大核心 2000年第2期5-9,共5页
讨论了最新人工智能开发环境Ｖｉｓｕａｌ ＰｒｏｌｏｇＶ４．０的特点，分析面向对象技术的基本概念和特征，论述基于Ｖｉｓｕａｌ Ｐｒｏｌｏｇ的面向对象知识表示编程策略及知识的一致性与完整性检查等问题，并进行了ＣＡＰＰ加工链... 讨论了最新人工智能开发环境Ｖｉｓｕａｌ ＰｒｏｌｏｇＶ４．０的特点，分析面向对象技术的基本概念和特征，论述基于Ｖｉｓｕａｌ Ｐｒｏｌｏｇ的面向对象知识表示编程策略及知识的一致性与完整性检查等问题，并进行了ＣＡＰＰ加工链知识库系统实例探讨。 展开更多
关键词 prolog 面向对象 知识表示 CAPP
下载PDF
基于XYZ/E规范的软件测试用例自动生成方法 被引量：4
7
作者 虞凡 覃征 +1 位作者 贾晓琳 何坚 《计算机工程》 EI CAS CSCD 北大核心 2005年第19期76-78,共3页
针对软件规范输入域与被测软件输入域之间边界不一致引起的测试用例失效问题,提出一种基于时序逻辑语言XYZ/E软件规范说明的测试用例自动生成方法。该方法采用XYZ/E描述,首先确保规范与被测软件的语义一致,其次,利用XYZ/E规范的逻辑程... 针对软件规范输入域与被测软件输入域之间边界不一致引起的测试用例失效问题,提出一种基于时序逻辑语言XYZ/E软件规范说明的测试用例自动生成方法。该方法采用XYZ/E描述,首先确保规范与被测软件的语义一致,其次,利用XYZ/E规范的逻辑程序属性,实现了对测试用例中输出期望的Prolog自动推导求值。最后,通过一个实例验证了该方法的可行性。与传统方法相比,该方法既保证了软件测试用例的有效性,又减少了测试用例输出的计算工作量。 展开更多
关键词 测试用例生成 软件规范 XYZ/E prolog 边界值测试
下载PDF
基于自然语言理解的专家系统研究 被引量：7
8
作者 赖朝安 孙延明 +1 位作者 齐德昱 郑时雄 《计算机工程》 CAS CSCD 北大核心 2003年第1期20-22,34,共4页
在论述了面向自然语言文本的知识供应方法已有研究之后，提出了面向推理设计语义关系标记，将自然语言理解与推理技术相结合，使自然语言理解结果可转化为便于计算机推理的语句；立足科技文献开发语义关系树库，提出面向语义关系分析的... 在论述了面向自然语言文本的知识供应方法已有研究之后，提出了面向推理设计语义关系标记，将自然语言理解与推理技术相结合，使自然语言理解结果可转化为便于计算机推理的语句；立足科技文献开发语义关系树库，提出面向语义关系分析的语句相似度计算方法，实现基于统计与规则相结合的自然语言语义关系分析；使自然语言科技文献可成为专家系统知识库，解决专家系统知识库表现形式不统一及知识获取的瓶颈。 展开更多
关键词 自然语言理解 专家系统 知识获取 推理技术 计算机 知识库
下载PDF
Visual Prolog的搜索控制机制分析 被引量：8
9
作者 雷英杰 王宝树 +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
10
作者 雷英杰 华继学 +1 位作者 徐彤 狄博 《计算机工程》 EI CAS CSCD 北大核心 2005年第18期183-185,共3页
回溯是一种获得目标所有可能解的良好方法。然而不恰当地使用回溯,可能导致系统效率降低,时空开销增大,因此必须设置相应机制,仔细控制回溯过程。VisualProlog的控制谓词,即失败谓词fail和否定谓词not,与截断机制,包括静态截断机制和动... 回溯是一种获得目标所有可能解的良好方法。然而不恰当地使用回溯,可能导致系统效率降低,时空开销增大,因此必须设置相应机制,仔细控制回溯过程。VisualProlog的控制谓词,即失败谓词fail和否定谓词not,与截断机制,包括静态截断机制和动态截断机制,构成了完整的目标搜索求解控制机制,可以实现对搜索过程的仔细控制,减少不必要的回溯。该文在考察VisualProlog回溯机制和截断机制的基础上,通过实例,对其静态截断机制和动态截断机制进行了详细分析,从而揭示回溯机制和截断机制的本质特性和应用机理。 展开更多
关键词 VISUAL prolog 逻辑程序设计 编程语言 专家系统
下载PDF
专家系统及常用开发语言 被引量：7
11
作者 李铁军 唐庆华 王洁 《辽宁工业大学学报（自然科学版）》 2010年第3期147-150,164,共5页
专家系统是人工智能的一个重要分支,是研究的热点。研究人员采用了各种各样的语言进行软件的开发。为了给研究人员寻找更加适合所开发系统的语言,介绍了专家系统的概念和结构,分析了几种常见的专家系统开发语言,比较了其优缺点,最后给... 专家系统是人工智能的一个重要分支,是研究的热点。研究人员采用了各种各样的语言进行软件的开发。为了给研究人员寻找更加适合所开发系统的语言,介绍了专家系统的概念和结构,分析了几种常见的专家系统开发语言,比较了其优缺点,最后给出了不同专家系统的开发建议。 展开更多
关键词 专家系统 CLIPS Visual prolog VB VC++ JESS
下载PDF
Visual Prolog 6面向对象技术与应用 被引量：3
12
作者 郑进远 韩玲玲 李祥 《电脑与信息技术》 2005年第5期39-42,共4页
VisualProlog是国际上广泛流行的功能强大的通用智能化应用集成开发环境,它是基于Prolog的强类型的面向对象程序设计语言。文章讨论了VisualProlog6的面向对象技术及其在专家系统设计中的应用,实现了一个称为“失踪儿童协寻专家系统”... VisualProlog是国际上广泛流行的功能强大的通用智能化应用集成开发环境,它是基于Prolog的强类型的面向对象程序设计语言。文章讨论了VisualProlog6的面向对象技术及其在专家系统设计中的应用,实现了一个称为“失踪儿童协寻专家系统”的示例,经运行测试,效果良好。 展开更多
关键词 VISUAL prolog 专家系统 面向对象
下载PDF
人工智能实验教学探讨 被引量：9
13
作者 韩洁琼 闫大顺 《计算机教育》 2009年第11期135-138,共4页
本文一方面简单介绍人工智能的基本理论及知识体系结构,另一方面则结合笔者的理论实践与实验教学经验,总结出目前在整个教学过程所存在的一些问题,目的在于不断总结经验,力争能更好地完成人工智能的整个教学工作,从而提高人才培养的质量... 本文一方面简单介绍人工智能的基本理论及知识体系结构,另一方面则结合笔者的理论实践与实验教学经验,总结出目前在整个教学过程所存在的一些问题,目的在于不断总结经验,力争能更好地完成人工智能的整个教学工作,从而提高人才培养的质量,同时也可以为其他高校提供参考。 展开更多
关键词 人工智能 专家系统 prolog 面向人工智能
下载PDF
科学效应及其知识表示与推理方法研究 被引量：6
14
作者 高常青 杨波 +1 位作者 许佳立 曹树坤 《机械设计》 CSCD 北大核心 2014年第10期4-8,共5页
科学效应是产品创新设计过程中的一种重要知识类型。建立科学效应知识模型,并实现知识推理,有助于功能的求解过程。Prolog是一种基于谓词逻辑的人工智能语言,广泛应用于专家系统的构建。采用一阶谓词的形式,以Prolog语言为载体,实现了... 科学效应是产品创新设计过程中的一种重要知识类型。建立科学效应知识模型,并实现知识推理,有助于功能的求解过程。Prolog是一种基于谓词逻辑的人工智能语言,广泛应用于专家系统的构建。采用一阶谓词的形式,以Prolog语言为载体,实现了科学效应知识的表示与推理过程,构建科学效应知识库系统。通过棉花采摘工具的功能分析与方案设计过程,验证了基于Prolog的科学效应知识模型的有效性。 展开更多
关键词 科学效应 创新设计 知识工程 prolog
下载PDF
Object-Z规格说明的结构模拟动画技术 被引量：4
15
作者 朱江 陈怡海 缪淮扣 《上海大学学报（自然科学版）》 CAS CSCD 北大核心 2005年第6期589-595,共7页
形式化方法让软件需求的规格说明变得更加简洁精确,但是它的抽象难懂让用户难以确定形式规格说明中所叙述的用户需求就是他们所期望的.另外,大多的规格说明语言都是不可执行的,因此人们采用一种动画模拟的方式,将形式规格说明转换成一... 形式化方法让软件需求的规格说明变得更加简洁精确,但是它的抽象难懂让用户难以确定形式规格说明中所叙述的用户需求就是他们所期望的.另外,大多的规格说明语言都是不可执行的,因此人们采用一种动画模拟的方式,将形式规格说明转换成一种可模拟执行的形式,从而帮助用户和规格说明者确认形式规格说明是否与用户的非形式化需求相一致.通过分析比较形式规格说明的两种动画策略———形式化程序合成和结构模拟的优缺点,决定使用结构模拟技术将Object-Z规格说明转换成SICStus Prolog可执行程序并加以执行,从而实现对Object-Z规格说明的确认. 展开更多
关键词 形式方法 形式规格说明 确认 动画模拟 OBJECT-Z prolog SICStus prolog
下载PDF
基于推理机制的逻辑语言在Web服务组合机制中的应用 被引量：5
16
作者 赵莹映 章韵 《电信科学》 北大核心 2012年第12期70-75,共6页
在实际的网络应用中,相比客户端的形式,人们更希望能提供服务设施和应用程序的平台来自简单方便的网络浏览器。基于多阶段可用性的Web服务组合管理关键技术的研究成功,将解决目前服务组合管理中的许多关键问题。本文主要研究人工智能语... 在实际的网络应用中,相比客户端的形式,人们更希望能提供服务设施和应用程序的平台来自简单方便的网络浏览器。基于多阶段可用性的Web服务组合管理关键技术的研究成功,将解决目前服务组合管理中的许多关键问题。本文主要研究人工智能语言Prolog在该项目中的应用与发展,用情景演算理论作为推导理论,并用逻辑编程语言对服务内容加以描述,同时在Prolog的基础上扩展到对Golog语言的研究,并在此基础上针对Web服务需求做出了一些推论。 展开更多
关键词 WEB服务 情景演算 prolog
下载PDF
基于WEB的非精确正向推理专家系统的研究与应用 被引量：2
17
作者 崔奇明 《电脑与信息技术》 2006年第3期46-49,共4页
文章介绍了非WEB的非精确正向推理专家系统的基本思想及存在的问题,通过增加其WEB功能,提出了基于WEB的非精确正向推理专家系统,使其能在Internet/Intranet上进行非精确诊断分析,并给出了模型设计思想,部分程序代码分析和一个知识库的... 文章介绍了非WEB的非精确正向推理专家系统的基本思想及存在的问题,通过增加其WEB功能,提出了基于WEB的非精确正向推理专家系统,使其能在Internet/Intranet上进行非精确诊断分析,并给出了模型设计思想,部分程序代码分析和一个知识库的例子。 展开更多
关键词 专家系统 非精确推理 VISUAL prolog 诊断
下载PDF
Visual Prolog的SQL接口及其应用 被引量：2
18
作者 钟佩思 高国安 《计算机工程》 EI CAS CSCD 北大核心 1998年第11期32-33,共2页
概述了Prolog的基本特点。讨论了VisualPrologV4.0的SQL接口技术，论述了SQL接口的工作原理和参数传递等问题，提出了利用该技术的机械设计专家系统基本模型、以充分利用现有的CAD工程数据库资源。
关键词 prolog SQL接口 机械设计 专家系统
下载PDF
面向社会网络的个性化隐私策略定义与实施 被引量：4
19
作者 王媛 孙宇清 马乐乐 《通信学报》 EI CSCD 北大核心 2012年第S1期239-249,共11页
为了实现社会网络中个性化隐私保护,提出了支持个性化隐私偏好授权模型,采用基于一阶逻辑隐私偏好描述语言,表达用户个性化隐私需求;引入基于主体属性的访问者-角色授权规则和基于客体标签的角色-权限指派规则,解决了动态用户授权和细... 为了实现社会网络中个性化隐私保护,提出了支持个性化隐私偏好授权模型,采用基于一阶逻辑隐私偏好描述语言,表达用户个性化隐私需求;引入基于主体属性的访问者-角色授权规则和基于客体标签的角色-权限指派规则,解决了动态用户授权和细粒度访问权限指派问题;分析了隐私策略冲突各种情况,实现了基于Prolog逻辑编程的策略一致性自动验证;设计了面向社会网络个性化隐私策略管理和实施中间件,将个性化隐私策略管理有效地集成到对既有资源的访问控制系统中,实验表明策略冲突分析具有良好的执行效率。 展开更多
关键词 社会网络 隐私策略 个性化 冲突解决 prolog
下载PDF
基于谓词逻辑的Prolog程序设计 被引量：4
20
作者 李娜 王湘云 《西南大学学报（社会科学版）》 CSSCI 北大核心 2009年第6期48-52,共5页
一阶谓词逻辑下的Horn逻辑是人工智能程序语言Prolog的理论基础,利用Prolog在计算机上可实现机械化,从而使自动化求解问题和定理证明具备可行性。本文从Horn逻辑和Prolog的基础理论出发,使用Horn子句、SLD-归结、搜索和回溯等原理讨论... 一阶谓词逻辑下的Horn逻辑是人工智能程序语言Prolog的理论基础,利用Prolog在计算机上可实现机械化,从而使自动化求解问题和定理证明具备可行性。本文从Horn逻辑和Prolog的基础理论出发,使用Horn子句、SLD-归结、搜索和回溯等原理讨论了如何在计算机中实现数学函数、定理证明等自动推理的一些应用。 展开更多
关键词 谓词逻辑 prolog HORN逻辑 SLD-归结
下载PDF
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 2 … 32 下一页 到第 页
使用帮助 返回顶部