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

• 作者: 刘瑛睿 金涛
• 来源期刊: 计算机工程与应用
• 学科: 工学
• 关键词: 数学归纳法 归纳法推理 自动定理证明
• 年，卷（期）: 2000,（5）
• 所属期刊栏目: 博士论坛
• 页码范围: 12-14
• 页数: 3页
• 分类号: TP3
• 字数: 5151字
• 语种: 中文
• DOI: 10.3321/j.issn:1002-8331.2000.05.004

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	金涛	武汉大学计算机科学与技术系国家多媒体软件工程技术研究中心教育部多媒体软件开放研究实验室	4	24	2.0	4.0
2	刘瑛睿	武汉大学计算机科学与技术系国家多媒体软件工程技术研究中心教育部多媒体软件开放研究实验室	1	2	1.0	1.0