期刊导航
期刊开放获取
河南省图书馆
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
1
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式:
文摘
详细
列表
相关度排序
被引量排序
时效性排序
重言衍推系统的试探法自动证明
1
作者
郭远华
曾振柄
《计算机应用与软件》
CSCD
2009年第9期34-37,45,共5页
提出针对重言衍推系统的模仿人类思维方式的生成可读证明的算法:试探法。试探法将待证的命题逐步分解成子命题并构造一颗证明树,对重言衍推系统中的定理证明取得了较好的效果。
关键词
重言衍推
自动推理
可读证明
证明树
试探法
下载PDF
职称材料
题名
重言衍推系统的试探法自动证明
1
作者
郭远华
曾振柄
机构
华东师范大学软件学院
出处
《计算机应用与软件》
CSCD
2009年第9期34-37,45,共5页
基金
国家重点基础研究发展项目(2004CB318003)
国家自然科学基金重点项目(90718041)
文摘
提出针对重言衍推系统的模仿人类思维方式的生成可读证明的算法:试探法。试探法将待证的命题逐步分解成子命题并构造一颗证明树,对重言衍推系统中的定理证明取得了较好的效果。
关键词
重言衍推
自动推理
可读证明
证明树
试探法
Keywords
tautology entailment automated reasoning readable proofs reasoning tree heuristic algorithm
分类号
TP3 [自动化与计算机技术—计算机科学与技术]
TP301.6 [自动化与计算机技术—计算机系统结构]
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
重言衍推系统的试探法自动证明
郭远华
曾振柄
《计算机应用与软件》
CSCD
2009
0
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部