归纳法推理中的项重写策略

摘要

本文介绍归纳法推理系统中的项重写策略，该策略根据不同的待重写项ｔｅｒｍ，分别运用公理、重写引理、函数定义、项重写规则等重写项ｔｅｒｍ，以期得到一个更接近推理目标的已重写项，这一策略已在微机上用编译ＬＩＳＰ语言实现。