归纳法推理相关论文
该文在系统分析归纳法推理基本理论的基础上,深入研究了归纳法推理策略,取得了以下成果:该文提出了递归函数终止性的自动证明方法,......
为提高归纳法揄过程的速度和效率，我们在Ｂｏｙｅｒ－Ｍｏｏｒｅ程序证明方法和自行设计的串行归纳法推理系统的基础上，进行了并行归纲法推理的研究，其中包括......
本文介绍归纳法推理系统的核心－－归纳法模式的自动生成程序，该程序从递归函数定义出发，自动生成归纳法模板；从待证定理出发，借助归纳法模......
本文介绍了基于微机的归纳法推理系统。用该系统，作者已证明了一批计算机程序的正确性及一些有价值的程序属性，包括算术表达式编译程......
本文介绍归纳法推理系统中的项重写策略，该策略根据不同的待重写项ｔｅｒｍ，分别运用公理、重写引理、函数定义、项重写规则等重写项ｔｅｒｍ，以期得到......
本文介绍归纳法推理系统中的简化策略，系统推理能力在很大程度上取决于系统简化持证公式的能力，本文从定义的类型规定出发，描述了如何......
分元符删除，项推广；无关式删除；交融是归纳法推理系统中一些重要的推理策略，文中逐一介绍了这些推理策略，给出了使用这些推理策略的方法......
学生对数学的发现，主要是指学生通过钻研数学材料能揭示出数学原理和方法（包括教材上已有的和没有的），或能提出新的解题方法。对学生而......
归纳法推理是人工智能领域中富有挑战性的研究方向，它是一种难度较大但较有前途径的自动定量证明方法，文章对近年来归纳法推理的主要......
