归纳法推理中若干问题的探讨

摘要：

归纳法推理是人工智能领域中富有挑战性的研究方向,它是一种难度较大但较有前途的自动定理证明方法.文章对近年来归纳法推理的主要研究成果进行了综述,并分析国内外的研究现状,讨论了归纳法推理研究中的推理效率、理论的不完备性、自动推理机制和构造实用的定理证明器等问题.

关键词：数学归纳法、归纳法推理、自动定理证明

所属期刊栏目：36

分类号：TP3(计算技术、计算机技术)

资助基金：国家科技攻关项目

在线出版日期：2004-01-08（万方平台首次上网日期，不代表论文的发表时间）

页数：共3页

页码：12-14