机器证明的困难所在被引量：3

下载PDF

导出

摘要机器证明是人工智能的一个重要课题,即用计算机来证明定理,亦称自动证明或定理的机械化证明,其基础是由 Hibert 在1930年奠定的,60多年来历程艰苦,困难在于传统逻辑、三段论、充分条件、同理可证、直觉思维的局限性。如果我们正视这些困难,利用专家系统,机器学习等技术,机器证明将进入一个崭新的局面。

作者程显毅

机构地区呼兰师专数学系

出处《计算机科学》 CSCD 北大核心 1992年第2期81-81,F004,共2页 Computer Science

关键词人工智能机器证明

分类号 TP18 [自动化与计算机技术—控制理论与控制工程]

引文网络
相关文献

同被引文献12

1徐明,胡守仁.基于事例推理的检索模型研究[J].计算机科学,1993,20(4):32-35. 被引量：32
2耿卫东,潘云鹤,何志均.基于事例的设计推理研究[J].计算机科学,1993,20(4):36-39. 被引量：22
3李卫华,张黔,刘娟,石自力.归纳法推理系统[J].计算机学报,1996,19(3):230-236. 被引量：3
4丽奇E 李卫华等（译）.人工智能引论[M].广州:广东科技出版社,1986.198-228.
5李卫华（译），人工智能引论，1986年，198页
6Reind P.van de Riet,周立柱.专家系统遇到了麻烦?[J]计算机科学,1987(02).
7Michael Z.Bell,仲源.专家系统为什么失败?[J]计算机科学,1987(02).
8黄琳.控制理论发展过程的启示[J].系统工程理论与实践,1990,10(6):17-23. 被引量：8
9刘庆波.人类智能与人工智能[J].计算机科学,1992,19(2):55-59. 被引量：2
10王克宏,胡篷,石纯一.情景逻辑与时态逻辑在知识处理中的应用[J].计算机科学,1992,19(2):25-28. 被引量：2

引证文献3

1孙兆豪.AI的发展及若干问题的探讨[J].河北大学学报（自然科学版）,1994,14(1):105-112.
2印鉴,李师贤.一种基于事例推理的检索模型[J].中山大学学报（自然科学版）,1999,38(2):1-5. 被引量：1
3印鉴.一种对象检索模型[J].小型微型计算机系统,2000,21(8):840-843.

二级引证文献1

1徐毅,金博,滕弘飞,屈福政.面向中小企业的变粒度双网映射零部件设计重用[J].大连理工大学学报,2012,52(1):119-125. 被引量：2

1王志良,刘芳,王莉.基于计算机视觉的表情识别技术综述[J].计算机工程,2006,32(11):231-233. 被引量：12
2阎平凡.人工神经网络的容量、学习与计算复杂性[J].电子学报,1995,23(5):63-67. 被引量：83
3陈平,刘东喜,白英彩.安全协议的形式化分析方法研究[J].计算机应用与软件,2003,20(5):48-50. 被引量：3
4贺前华,徐秉铮.机器翻译综述[J].情报科学,1993,14(04X):60-67. 被引量：4
5方旺盛,邵利平,郑剑.动态链接方式下基于VB的绿色软件构造[J].佳木斯大学学报（自然科学版）,2003,21(4):407-409. 被引量：1
6李用江,刘丹斌.图像数据库浏览器模型的研究[J].湛江海洋大学学报,2005,25(4):62-67.
7盖茨大牛人.防火墙八大实用安全技术[J].网络与信息,2009,23(9):62-63.
8李淑芬.对计算机软件技术基础课程教学的几点建议[J].福建电脑,2009,25(7):32-32. 被引量：1
9盛守照,朱彦菘,魏春燕,蒋晓亮.直升机强跟踪自适应变稳控制器设计[J].控制与决策,2014,29(1):45-49. 被引量：1
10卓炜,廖文和.基于产品结构工作流的PDM与ERP集成[J].机械制造与自动化,2004,33(4):71-75. 被引量：1

计算机科学

1992年第2期

浏览历史

内容加载中请稍等...

机器证明的困难所在被引量：3

同被引文献12

引证文献3

二级引证文献1

相关作者

相关机构

相关主题

浏览历史

机器证明的困难所在 被引量：3

同被引文献12

引证文献3

二级引证文献1

相关作者

相关机构

相关主题

浏览历史

机器证明的困难所在被引量：3