殷熙尧

作品数：2被引量：0H指数：0
导出分析报告
供职机构：南京大学计算机科学与技术系更多>>
发文主题：符号逻辑命题演算动态模糊数据动态模糊逻辑谓词逻辑更多>>
发文领域：自动化与计算机技术更多>>
发文期刊：《山东大学学报（工学版）》《计算机工程与科学》更多>>
所获基金：江苏省自然科学基金国家自然科学基金更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-2
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
命题演算两个推理系统的等价性
《计算机工程与科学》2013年第9期104-109,共6页宋方敏 殷熙尧 
江苏省自然科学基金资助项目(2011560)
首先介绍命题演算的Gentzen型系统G,然后给出一个命题演算的永真推理系统H,最后证明一个命题在G中可证当且仅当它在H中可证,从而G与H是等价的。
关键词：符号逻辑 命题演算 推理系统 
一种逆归结学习表示
《山东大学学报（工学版）》2013年第4期46-50,共5页谢琳 殷熙尧 李凡长 吴佳 
国家自然科学基金资助项目(61033013);苏州大学科技创新团队资助项目(SDT2012B02)
针对动态模糊性问题,利用动态模糊逻辑,采用"自下而上"的设计原则,提出1种基于动态模糊逻辑的逆归结学习方法,该方法利用动态模糊谓词逻辑来描述学习问题,通过学习算法计算出问题的假设。通过实例验证了算法的有效性,同时找到了一种从...
关键词：动态模糊逻辑 动态模糊谓词逻辑 逆归结学习 归纳推理 机器学习 动态模糊数据 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部