| 摘要: |
| 本文介绍归纳法推理系统中的简化策略．系统推理能力在很大程度上取决于系统简化待证公式的能力．本文从定义的类型规定出发，描述了如何计算并利用类型集信息来简化子句,以及如何在运用重写策略的基础上，完成对各种子句的简化，该系统已在微机上用编译LIsP语言实现． |
| 关键词: 类型集，类型规定，归纳法推理， |
| DOI： |
| 分类号: |
| 基金项目:本文研究得到国家863高科技项目和国家教委跨世纪优秀人才基金资助. |
|
| CLAUSE SIMPLIFY STRATEGY IN INDUCTION INFERENCE |
|
Li Weihua,Zhang Qian,Cheng Xueqi
|
| Abstract: |
| This paper discusses the clause simplify strategy of induction inference sys-tem．The inference ability of the system mainly depends on the ability of simplifying the clauses．Starting from the type prescript of the definition，this paper introduces how to compute and use the type set information to simplify the clauses，how to use the rewrite strategy to simplify the clauses．The system has been implemented by using compiler LISP on micro computer． |
| Key words: Type set,type prescript,induction inference． |
