-
定理证明 编辑
定理证明是指数学领域中对臆测的定理寻求一个证明,证明定理时,不仅需要有根据假设进行演绎的能力,而且需要有某些知觉的技巧,这是一项需要智能才能完成的任务。
数学领域中对臆测的定理寻求一个证明,一直被认为是一项需要智能才能完成的任务。证明定理时,不仅需要有根据假设进行演绎的能力,而且需要有某些知觉的技巧。例如数学家在求证一个定理时,会熟练地运用他丰富的专业知识,猜测应当先证明哪一个引理,精确判断出已有的那些定理将其作用,并把主问题分解为若干问题,分别独立进行求解。
因此人工智能研究中机器定理证明很早就受到注视。在人工智能的发展时期,1957年A.Newell、J.Shaw和H.Simon等人的心理学小组编制出一个称为 逻辑理论机LT(The Logic Theory Machine)的数学定理证明程序,该程序证明了B.A.W.Russell和A.N.Whitehead的“数学原理”一书第二章的38个定理。并取得不少成果。
(1) 先想出大致的解题计划;
(2) 根据记忆中的公理定理和推理规则组织解题过程;
(3) 进行方法和目的分析,修正解题计划。
由此可见定理证明在人工智能的发展中已取得不少成果。
1、本站所有文本、信息、视频文件等,仅代表本站观点或作者本人观点,请网友谨慎参考使用。
2、本站信息均为作者提供和网友推荐收集整理而来,仅供学习和研究使用。
3、对任何由于使用本站内容而引起的诉讼、纠纷,本站不承担任何责任。
4、如有侵犯你版权的,请来信(邮箱:baike52199@gmail.com)指出,核实后,本站将立即删除。