定理机器证明

作品数：55被引量：64H指数：4
导出分析报告
相关领域：自动化与计算机技术理学更多>>
相关作者：孙吉贵印鉴李莹朱兴军吴尽昭更多>>
相关机构：吉林大学中国科学院数学与系统科学研究院北京邮电大学华东师范大学更多>>
相关期刊：《系统科学与数学》《计算机技术与发展》《数学教学》《高等数学研究》更多>>
相关基金：国家自然科学基金吉林省青年科研基金中国博士后科学基金国家重点基础研究发展计划更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 期刊=软件学报x
共 条 记 录，以下是1-2
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于IMOM和IBOHM启发式策略的扩展规则算法被引量：11
《软件学报》2009年第6期1521-1527,共7页李莹 孙吉贵 吴瑕 朱兴军 
国家自然科学基金No.60773097;吉林省青年科研基金No.20080107~~
基于扩展规则的方法是一种定理证明方法.在IER(improved extension rule)扩展规则算法的基础上,提出了IMOM(improved maximum occurrences on clauses of maximumsize)和IBOHM(improved BOHM)启发式策略,并将两种启发式策略用于IER算法...
关键词：定理机器证明 命题逻辑 扩展规则 启发式策略 归结 
基于广义归结的定理机器证明系统被引量：5
《软件学报》1995年第7期425-428,共4页程晓春 孙吉贵 刘叙华 
国家自然科学基金
本文使用Ｃ—ＰＲＯＬＯＧ语言在ＳＵＮ工作站上设计实现了基于广义归结和基于归结的两个定理机器证明系统ＧＲＭ，ＲＭ，证明了《数学原理》中Ｐａｒｔ１：ｍａｔｈｅｍａｔｉｃａｌｌｏｇｉｃ中ＳｅｃｔｉｏｎＡ与ＳｅｃｔｉｏｎＢ中...
关键词：广义归结 NC归结 定理机器证明 机器推理 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部