孙希文
- 作品数：8 被引量：9H指数：1
- 供职机构：哈尔滨工业大学计算机科学与技术学院计算机科学与工程系更多>>
- 发文基金：国家自然科学基金国家高技术研究发展计划更多>>
- 相关领域：自动化与计算机技术更多>>
- 合成确信的分布修正与实现
- 1994年
- 讨论在贝叶斯网中的确信修正算法及实现。贝叶斯网是一种在ＡＩ领域里近来研究的一种似直推理网。在总结贝叶斯网基础上，对设计系统时所使用的数据结构和算法进行了描述，最后发展成一个局部修正模式，并在实验中验证了系统的正确性。
- 张海义孙希文
- 关键词：人工智能贝叶斯网
- 一个逆推理系统NJ—A的设计与实现
- 1995年
- 逆推理是解决诊断问题的一种具有独特风格的推理方法。本文就诊断问题中利用道推理方法求得最佳解释进行了讨论，介绍逆推理系统ＮＪ—Ａ的设计与实现；并给出了一个实际例在该系统下的运行结果。
- 张海义王开铸孙希文
- 关键词：人工智能专家系统
- 知识发现中的解释机制
- 王岩洪家荣孙希文
- 一种快速组合算子归约模型FCRM
- 1990年
- 本文在分析了Turner归约模型中组合算子表达式的膨胀原因后,提出了一种快速组合算子归约模型FCRM。本文描述了FCRM的形式体系、转换规则T和归约规则R_c,并且证明和验证了FCRM组合算子表达式的长度一般为Turner表达式的3/4,而FCRM模型的归约路径仅为Turner模型的一半。
- 王文敏方滨兴孙希文胡铭曾
- 关键词：程序设计
- 一种形式化逆推的逻辑方法被引量：1
- 1997年
- 本文讨论逆绎推理的形式化问题,指出这一问题的认知基础,然后证明逆绎推理可通过建立必要性假设（NH）来完成;NH构成了对已有知识集的扩充,必须构造必要性假设理论（NL）来捕捉逆绎推理的逻辑特征,本文选择缺席逻辑作为形式化NL的理论框架,并指出NL的基本性质。本文最后讨论与NH密切相关的背景知识问题、NH的一致性问题并给出一致NH的可判定准则。
- 叶风孙希文钱国良毕建东
- 关键词：形式化
- 归纳逻辑程序设计的扩张矩阵方法
- 逻辑程序设计的核心问题是如何从背景知识中优选谓词构作满足约束的归纳假设。按Ｏｃｃａｍ准则，满足约束的最精简归纳假设为优，但迄今归纳逻辑程序设计中精简归纳假设构作的计算复杂性未明。该文基于扩张矩阵的方法证明精简归纳假设构作...
- 叶风徐晓飞孙希文陈彬
- 关键词：归纳逻辑程序设计扩张矩阵
- 音字转换中的机器学习研究被引量：8
- 1993年
- 本文提出了音字转换学习系统的模型,给出了它所采用的三种机器学习形式:单词学习,规则学习,参数修正学习、单词以及规则的自动获取用于确定的推理机制,而非确定规则的自动获取以及可信度函数的自适应调整主要用于概率推理上,基于上述学习机制所进行的数万字的学习实验结果表明,机器学习在改进音字转换的系统性能(如正确率、通用性等)上,具有相当好的效果,目前已经在语句级声音输入、键盘输入等汉字系统上实用。
- 王晓龙王开铸孙希文王英伟
- 关键词：信息处理音字转换
- Fuzzy Prolog简介
- 1989年
- 本文介绍一种基于模糊逻辑(fuzzy logic)的程序设计语言Fuzzy prolog Fuzzy Prilog以处理现实世界中的模糊信息为主要目标,已在IBMPC机上实现,可望在人工智能,数据库等方面得到具体应用。
- 孙希文李爱中
- 关键词：程序设计模糊逻辑
