首页> 中文期刊> 《软件学报》 >机器定理证明的反向归约方法

机器定理证明的反向归约方法

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

基于代数和递归函数理论，本文定义了代数递归谓词，代数递归谓词是一类广泛的谓词，基平均数学归纳法，作者给出了证明代数递归谓词永真性的反向归约方法及相应的算法Ｒｅｄｕｃｔｉｏｎ。由于采用反向归约方式来完成定理证明，从根本上消除了正向组合式定理证明了所产生的组合爆炸，因而极大地提高了定理证明的效率。

著录项

来源
《软件学报》 |1996年第6期|354-359|共6页
作者
李爱中; 乔佩利;
展开▼
作者单位

不详;

不详;

展开▼
原文格式 PDF
正文语种 CHI
中图分类人工智能理论;
关键词
自动定理证明; 反向归约; 数学归纳法; 人工智能;

相似文献

中文文献
外文文献
专利

1. 基于整车EMC标准测试和机器学习的反向诊断方法 [J] . 雷剑梅 ,曾令秋 ,牟洁 . 计算机科学 . 2021,第006期
2. 基于反向机器学习的调香设计方法 [J] . 王璐 ,毛海涛 ,张磊 . 化工学报 . 2019,第012期
3. 多自由度串联机器人的高效率反向动力学建模方法 [J] . 申浩宇 ,吴洪涛 ,陈柏 . 中国机械工程 . 2016,第001期
4. 基于空间算子代数的高效率机器人反向动力学建模方法 [J] . 刘云平 . 南京信息工程大学学报 . 2011,第003期
5. 质点几何定理证明的机器实现 [J] . 苏贺靓 ,江建国 ,高华 . 科技视界 . 2015,第015期
6. 实施机器定理证明的资源支持 [C] . 吕捷 . 第三届全国机器学习研讨会 . 1991
7. 微创手术机器人反向驱动控制方法研究 [A] . 刘赫 . 2015

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号