PROLOG

作品数:411被引量:258H指数:7
导出分析报告
相关领域:自动化与计算机技术更多>>
相关作者:雷英杰陶文祥崔奇明曾湘燕邓铁清更多>>
相关机构:国防科学技术大学吉林大学上海交通大学中山大学更多>>
相关期刊:更多>>
相关基金:国家自然科学基金国家高技术研究发展计划国防科技技术预先研究基金教育部高等学校骨干教师资助计划更多>>
-

检索结果分析

结果分析中...
选择条件:
  • 期刊=微电子学与计算机x
条 记 录,以下是1-10
视图:
排序:
基于语义网络的知识表示在专家系统中的实现被引量:3
《微电子学与计算机》2009年第4期214-216,221,共4页张聪品 胡伟强 
2007河南省高等学校青年骨干教师资助项目;河南省科技攻关项目(2007520026)
语义网络是专家系统中知识表示最重要的方法之一,为了使用语义网络更好地描述现实世界中的不确定性知识,定义了语义网络中结点的结构,使用六元式表示结点,并在Prolog环境下实现了初始化、增加、删除、修改六元式结点等操作,提高了用语...
关键词:专家系统 PROLOG 语义网络 不确定性知识 
基于Visual Prolog中医诊疗专家系统的设计与实现
《微电子学与计算机》2008年第2期47-49,53,共4页刘自伟 曾立胜 
国家"八六三"计划项目(2003AA116060)
中医诊疗专家系统作为一种实用工具,是为人类提供保存、传播、使用和评价有关中医知识的有效手段。叙述了基于Visual Prolog的中医诊疗专家系统的体系结构、知识获取和知识表示方法、推理机的设计、中草药作用分析及可视化等。该系统的...
关键词:专家系统 推理机 知识库 VISUAL PROLOG 
Prolog模糊推理机
《微电子学与计算机》1997年第1期32-34,共3页陶文祥 曾湘燕 
本文采用基于模糊集会论的推理策略,为TurboProlog设计了一个模糊推理机外壳,使其能够在保持原有系统功能的基础上处理模糊信息。
关键词:模糊集合论 模糊推理机 PROLOG 程序语言 
Prolog中的结构化程序设计思想
《微电子学与计算机》1994年第5期16-18,共3页曾湘燕 陶文祥 
本文介绍Prolog中的结构化程序设计思想,并给出3种基本结构的实现方法。
关键词:PROLOG语言 程序设计 程序语言 
适合开发中文专家系统的新Prolog工具库
《微电子学与计算机》1994年第4期15-17,共3页张宏 马军 徐建良 马绍汉 
本文介绍了对西文Prolog的系统谓词和工具库谓词的修改和扩充算法,使修改后的西文Prolog2.0和工具库完全适合开发在汉化的Dbase信息管理系统上建立中文专家系统。
关键词:PROLOG语言 专家系统 工具库 
用Prolog语言开发医疗诊断专家系统被引量:1
《微电子学与计算机》1994年第1期35-39,共5页陈铮 路军 
本文介绍用Prolog语言开发的“眼病诊断专家系统”,说明了提取专家知识和表达专家知识的方法,介绍了专家系统的结构,以及开发医疗诊断专家系统的理论及方法。
关键词:PROLOG语言 医疗诊断 专家系统 
一种用于逆向推理的Prolog元级解释器
《微电子学与计算机》1993年第8期21-22,26,共3页陶文祥 曾湘燕 牛忠慈 
本文介绍一种Prolog元级解释器,它解决了专家系统中采用转换规则模式表示知识时的逆向推理问题。
关键词:逆向推理 专家系统 元级解释器 
Prolog正向推理机中否定谓词的处理
《微电子学与计算机》1993年第3期31-33,共3页陶文祥 曾湘燕 周中一 浦恩沸 
根据X能否和某一规则的规则头相匹配,将not(X)分为两类并分别进行处理:一类是X不能和任意一条规则的规则头相匹配,此时如果现有事实不能证明X为真,则将not(X)做为一项事实处理;另一类是X能和某一规则的规则头相匹配,此时X的真假不能确定...
关键词:PROLOG语言 正向推理机 否定谓词 not 处理思想 
一些实用Turbo PROLOG表处理谓词及其实现
《微电子学与计算机》1992年第8期36-39,共4页贠东风 
本文分类列表汇集了6类17个实用的Turbo PROLOG表处理谓词,并用Turbo PROLOG的递归、表首尾表示、动态数据库、搜索、匹配、回溯及其控制技术和一些标准及非标准谓词加以具体实现。文中给出了实现的必要说明及完整的源程序。
关键词:表处理 谓词 
Prolog正向推理机被引量:1
《微电子学与计算机》1991年第8期14-16,共3页陶文祥 曾湘燕 周中一 浦恩沸 
本文介绍作者设计的一种Prolog 正向推理机,文中着重讨论其推理策略及其具体实现中的几个重要谓词,量后指出该推理机的优缺点和今后的研究方向.
关键词:PROLOG语言 正向推理机 推理策略 关系数据库 动态数据库 
检索报告 对象比较 聚类工具 使用帮助 返回顶部