洪声贵
- 作品数：7 被引量：5H指数：1
- 供职机构：辽宁大学信息学院更多>>
- 发文基金：国家教育部“985工程”更多>>
- 相关领域：自动化与计算机技术文化科学理学更多>>
- 西医医疗诊断专家系统开发工具的设计与实现
- 较详细地介绍了西医医疗诊断专家系统开发工具MDEST的设计思想与实现 技术。MDEST是在分析与研究国际上一些著名的医疗诊断专家系统如MYCIN、INTERNIST、PIP等基础上，开发研制的一个具有多知识表示、多推理机...
- 鲜宏石祥滨洪声贵
- 关键词：现代医药学人工智能专家系统知识表达
- 基于GAG的Horn逻辑分布式推导模型被引量：3
- 2012年
- 分布式逻辑推理是在网络环境下提供分布式智能服务的推理机制,提出了一个基于广义与或图(GAG)的Horn逻辑分布式推导模型.该模型可以清晰地表示变量约束,实现无须回溯的远程谓词调用,Horn逻辑中一次成功的推导在该模型中被表示为一个解路径,问题求解被转换为对GAG的搜索.还讨论了广义与或图搜索算法在Horn逻辑推理当中的应用.
- 张伟洪声贵
- 关键词：HORN逻辑
- 信息检索的一个数学模型被引量：1
- 1981年
- 王永成朱广忠洪声贵陈申
- 关键词：信息检索数学模型阈值向量
- 学习式搜索:一种新的搜索策略
- 1992年
- 本文将模式识别技术引入到启发式搜索当中,开展一种新的搜索——学习式搜索——的研究。我们给出了一个学习式的搜索算法SCDF,并证明了该算法的平均复杂度可达到线性。
- 张伟洪声贵
- 关键词：人工智能启发式搜索
- 全文增补中
- Microsoft浮点数据内部表示分析及其到IEEE标准浮点数据内部表示的转换——为Borland系列C语言增设一组浮点数据转换标准函数
- 1993年
- 本文详细分析了MicrosoftI浮点数据和IEEE标准浮点数据的内部表示。对Microsoft浮点数据到IEEE浮点数据的转换提出了最佳方案,并给出了具体实现函数。弥补了Borland系列C语言的缺陷。
- 庞大凡洪声贵
- 关键词：C语言数据转换浮点数据
- 与／或图搜索中的A算法—算法AO．A
- 1990年
- 本文建立了普通图和与/或图(指广义与/或图,它包含普通与/或图)的概念之间的对应关系,从而将普通图搜索中完美的理论,算法及分析方法成功地引入到与/或图搜索中来。
- 洪声贵张伟
- 关键词：启发式搜索
- 归结策略的推理能力和复杂度被引量：1
- 1991年
- 为了对基于归结原理的各种归结策略进行性能分析,本文提出了推理能力和复杂度两个概念,并证明了:有序语义归结的推理能力强于单元归结;(2)有序线性归结的复杂度是指数级的。
- 张伟洪声贵
- 关键词：复杂度
