归纳法模式的自动生成

摘要

本文介绍归纳法推理系统的核心－－归纳法模式的自动生成程序，该程序从递归函数定义出发，自动生成归纳法模板；从待证定理出发，借助归纳法模板，自动生成归纳法模式和归纳法公式，该系统已在微机上用编译ＬＩＳＰ语言实现。