%0 Journal Article
%T 归纳法推理中的子句简化策略*
%A 李卫华？
%A 张黔？
%A 承雪琦？
%J 软件学报
%P 558-564
%D 1996
%X 本文介绍归纳法推理系统中的简化策略．系统推理能力在很大程度上取决于系统简化待证公式的能力．本文从定义的类型规定出发，描述了如何计算并利用类型集信息来简化子句,以及如何在运用重写策略的基础上，完成对各种子句的简化，该系统已在微机上用编译lisp语言实现．
%K 类型集
%K 类型规定
%K 归纳法推理
%U http://www.jos.org.cn/ch/reader/view_abstract.aspx?file_no=1996s183&flag=1