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

Research On Some Problems in Inductive Inference

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

The inductive inference is a very challenging research direction in the field of AI. This paper introduces the ' state of the art of inductive inference. By analyzing the current research works, this paper discussed some problems ininductive inference, which is the efficiency of the induction theorem prover, the incompleteness of inductive inference, the automated mechanism of induction prover and how to construct the practical prover.