孙希文

作品数:6被引量:8H指数:1
导出分析报告
供职机构:哈尔滨工业大学计算机科学与技术学院计算机科学与工程系更多>>
发文主题:程序设计人工智能信息处理音字转换形式化更多>>
发文领域:自动化与计算机技术更多>>
发文期刊:《计算机学报》《哈尔滨工业大学学报》《微电子学与计算机》更多>>
所获基金:国家自然科学基金国家高技术研究发展计划更多>>
-

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
条 记 录,以下是1-6
视图:
排序:
一种形式化逆推的逻辑方法被引量:1
《哈尔滨工业大学学报》1997年第4期57-61,共5页叶风 孙希文 钱国良 毕建东 
本文讨论逆绎推理的形式化问题,指出这一问题的认知基础,然后证明逆绎推理可通过建立必要性假设(NH)来完成;NH构成了对已有知识集的扩充,必须构造必要性假设理论(NL)来捕捉逆绎推理的逻辑特征,本文选择缺席逻辑作为形式化NL的理论框...
关键词:逆绎推理 必要性 假设 缺席逻辑 形式化 
一个逆推理系统NJ—A的设计与实现
《哈尔滨工业大学学报》1995年第2期57-62,共6页张海义 王开铸 孙希文 
航天部基金
逆推理是解决诊断问题的一种具有独特风格的推理方法。本文就诊断问题中利用道推理方法求得最佳解释进行了讨论,介绍逆推理系统NJ—A的设计与实现;并给出了一个实际例在该系统下的运行结果。
关键词:不确定推理 逆推理 人工智能 专家系统 
合成确信的分布修正与实现
《哈尔滨工业大学学报》1994年第6期29-33,63,共6页张海义 孙希文 
航天部基金
讨论在贝叶斯网中的确信修正算法及实现。贝叶斯网是一种在AI领域里近来研究的一种似直推理网。在总结贝叶斯网基础上,对设计系统时所使用的数据结构和算法进行了描述,最后发展成一个局部修正模式,并在实验中验证了系统的正确性。
关键词:人工智能 似直推理网 合成确信 贝叶斯网 
音字转换中的机器学习研究被引量:7
《计算机学报》1993年第5期370-377,共8页王晓龙 王开铸 孙希文 王英伟 
国家自然科学基金;国家高技术研究发展计划的资助
本文提出了音字转换学习系统的模型,给出了它所采用的三种机器学习形式:单词学习,规则学习,参数修正学习、单词以及规则的自动获取用于确定的推理机制,而非确定规则的自动获取以及可信度函数的自适应调整主要用于概率推理上,基于上述学...
关键词:机器学习 信息处理 音字转换 
一种快速组合算子归约模型FCRM
《计算机学报》1990年第3期215-220,共6页王文敏 方滨兴 孙希文 胡铭曾 
本文在分析了Turner归约模型中组合算子表达式的膨胀原因后,提出了一种快速组合算子归约模型FCRM。本文描述了FCRM的形式体系、转换规则T和归约规则R_c,并且证明和验证了FCRM组合算子表达式的长度一般为Turner表达式的3/4,而FCRM模型的...
关键词:组合算子 归约模型 FCRM 程序设计 
Fuzzy Prolog简介
《微电子学与计算机》1989年第3期39-40,共2页孙希文 李爱中 
本文介绍一种基于模糊逻辑(fuzzy logic)的程序设计语言Fuzzy prolog Fuzzy Prilog以处理现实世界中的模糊信息为主要目标,已在IBMPC机上实现,可望在人工智能,数据库等方面得到具体应用。
关键词:Fuzzy-Prolog 程序设计 模糊逻辑 
检索报告 对象比较 聚类工具 使用帮助 返回顶部