| 摘要: |
| 本文介绍归纳法推理系统中的项重写策略．该策略根据不同的待重写项term，分别运用公理、重写引理、函数定义、项重写规则等重写项term，以期得到一个更接近推理目标的巳重写项．这一策略已在微机上用编译LlsP语言实现． |
| 关键词: 项重写，归纳法推理． |
| DOI： |
| 分类号: |
| 基金项目:本文研究得到国家863高科技项目和国家教委跨世纪优秀人才基金资助. |
|
| TERM REWRITING STRATEGY IN INDUCTION INFERENCE |
|
Li Weihua,Zhang Qian,Han Bo
|
| Abstract: |
| This paper discusses the term rewriting strategy in induction inference sys-tem．Axioms，rewriting lemmas，function definitions，term rewriting rules are used to rewrite the term to be rewritten．The system will get a rewritten term which approaches to the inference goal．This strategy has been implemented by using compiler LISP on micro computer. |
| Key words: Term rewriting,induction inference． |
