叶风

作品数：11被引量：28H指数：2
导出分析报告
供职机构：哈尔滨工业大学计算机科学与技术学院计算机科学与工程系更多>>
发文主题：归纳逻辑程序设计NP问题人工智能启发函数规则学习算法更多>>
发文领域：自动化与计算机技术理学更多>>
发文期刊：《计算机学报》《哈尔滨工业大学学报》《模式识别与人工智能》《计算机研究与发展》更多>>
所获基金：国家高技术研究发展计划“九五”国家科技攻关计划煤炭科学基金更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于归结的最大一般理论特化
《计算机学报》1999年第12期1233-1238,共6页叶风 权光日 王熙照 
国家"八六三"高技术研究发展计划
提出一种基于归结的并有关于背景知识及示例的一致特化理论，该理论给出了最大一般特化假设的归结构造方法，可将其作为一种蕴涵意义下的一般理论特化框架．基于该理论，进一步提出ｋ 一般特化概念以解决特化的可计算性问题，并相应地...
关键词：归纳学习 理论修正 特化 知识系统 知识获取 
连续属性空间上的规则学习算法被引量：6
《软件学报》1999年第11期1225-1232,共8页权光日 刘文远 叶风 陈晓鹏 
国家863高科技项目;煤炭科学基金
文章研究连续属性空间上的规则学习算法．首先简述了研究连续属性空间上的规则学习算法的目的和意义，并将规则学习理论中的一些基本概念推广到连续属性空间．在此基础上，研究了连续属性空间离散化问题，证明了属性空间最小离散化问题...
关键词：规则学习 算法 连续属性空间 信息熵 人工智能 
多重极小一般普化
《软件学报》1999年第7期730-736,共7页叶风 徐晓飞 
国家863高科技项目基金
文章提出一种广义θ－包含意义下的广义最小一般普化，称为多重极小一般普化．这一操作能够有效地减少普化程度，从而使过度普化问题较好地得以解决．为了有效地计算极小一般多重普化，文章研究了示例集上的普化范式与极小一般普化的关...
关键词：归纳 逻辑程序设计 最小一般普化 机器学习 
归纳逻辑程序设计中的优化问题研究被引量：1
《计算机研究与发展》1999年第5期560-566,共7页叶风 徐晓飞 权光日 陈彬 邱深山 
国家"八六三"高技术计划基金
归纳逻辑程序设计的核心问题是如何从背景知识中优选谓词构造满足约束的归纳假设．按Ｏｃａｍ准则，满足约束的最精简归纳假设为优，但迄今归纳逻辑程序设计中精简归纳假设构造的计算复杂性尚未解决．文中以扩张矩阵理论为工具证明了归...
关键词：归纳学习 归纳逻辑程序 程序设计 优化 
基于优先解释的不完全信息推理及其应用被引量：1
《软件学报》1999年第3期304-309,共6页叶风 徐晓飞 王亚东 
国家863高科技项目基金
不完全信息下的近似推理是知识工程面临的困难问题之一．文章提出了一种具有非单调性质的优先逻辑程序理论．该理论能够对知识的解释进行综合评判，进而优选解释，使其成为现有知识的最佳理论逼近，达到在择优意义下的理论完全化，避免...
关键词：专家系统 不完全信息推理 优先解释 人工智能 
一种新的求解集合覆盖问题的启发式算法
《哈尔滨工业大学学报》1998年第5期38-41,共4页权光日 洪炳熔 叶风 吴葳 
给出了一种新的求解集合覆盖问题的新的启发式算法，对该算法的合理性、时间复杂性以及解的精度进行了分析，主要创新点是用完备策略建立启发式算法．该方法具有一定的普遍性，可以应用到其它的ＮＰ困难问题．本算法应用到规则学习问题...
关键词：启发式算法 完备策略 NP问题 集合覆盖问题 
集合覆盖问题的启发函数算法被引量：16
《软件学报》1998年第2期156-160,共5页权光日 洪炳熔 叶风 任世军 
国防科工委"九五"攻关项目基金
本文给出了求解ＮＰ困难问题的完备策略的概念，在此基础上提出了一个求解集合覆盖问题的启发函数算法ＳＣＨＦ（ｓｅｔ－ｃｏｖｅｒｉｎｇｈｅｕｒｉｓｔｉｃｆｕｎｃｔｉｏｎ），文中对该算法的合理性、时间复杂性以及解的精度进行了...
关键词：集合覆盖 启发函数 算法 NP问题 
基于机器学习的手写汉字特征选择被引量：2
《哈尔滨工业大学学报》1998年第1期57-60,共4页钱国良 舒文豪 洪勇 叶风 郭茂祖 
根据机器学习理论，提出了在手写汉字识别中，特征提取与识别同时进行的方法，并将决策树归纳学习算法ＩＤ３成功地应用于学习与识别过程。在识别过程中，依据决策树有选择地提取特征进行匹配，减少了特征提取的数量，大大地提高了识别...
关键词：特征选择 机器学习 手写体 汉字 模式识别 
认知学习与模拟被引量：1
《哈尔滨工业大学学报》1997年第5期77-80,88,共5页叶风 洪勇 王亚东 徐晓飞 
认知学习模拟，特别是对顿悟的认知模拟，是人工智能尚未触及的困难领域之一。本文重点就顿悟认知模拟问题探讨其认知基础并提出一种模拟的计算模型；采用一种基于缺席逻辑（ＤＬ）的称作必要性假设的理论（ＮＬ）来描述这一模型，同时...
关键词：认知学习 模拟 必要性假设 推理 
一种形式化逆推的逻辑方法被引量：1
《哈尔滨工业大学学报》1997年第4期57-61,共5页叶风 孙希文 钱国良 毕建东 
本文讨论逆绎推理的形式化问题,指出这一问题的认知基础,然后证明逆绎推理可通过建立必要性假设（NH）来完成;NH构成了对已有知识集的扩充,必须构造必要性假设理论（NL）来捕捉逆绎推理的逻辑特征,本文选择缺席逻辑作为形式化NL的理论框...
关键词：逆绎推理 必要性 假设 缺席逻辑 形式化 
全选清除导出
共2页<12>
检索报告 对象比较 聚类工具 使用帮助 返回顶部