归纳法推理中的子句简化策略

本文介绍归纳法推理系统中的简化策略，系统推理能力在很大程度上取决于系统简化持证公式的能力，本文从定义的类型规定出发，描述了如何计算并利用类型集信息来简化子句，以及如何在运用重写策略的基础上，完成对各种子句的简化，该系统已在微机上用编译ＬＩＳＰ语言实现。