| 摘要: |
| 分元符删除；项推广；无关式删除；交融是归纳法推理系统中一些重要的推理策略．文中逐一介绍了这些推理策略，给出了使用这些推理策略的方法，列出了不同推理策略的编译LlSP语言实现． |
| 关键词: 分元符删除，项推广，无关式删除，交融．归纳法推理． |
| DOI： |
| 分类号: |
| 基金项目:本文研究得到国家863高科技项目和国家教委跨世纪优秀人才基金资助. |
|
| STRATEGIES IN INDUCTION INFERENCE |
|
Li Weihua,Zhang Qian,Long Quan
|
| Abstract: |
| Destructor Eliminating，term generalizing and irrelevance eliminating，fertil-izing are several important inference strategies in induction inference system．Starting from the introduction of the above strategies，this paper discusses the basic idea of the strategies and the method of using the strategies，The system has been implemented by using compiler LISP on micro computers． |
| Key words: Destructor eliminating,term generalizing,irrelevance eliminating,fertilizing．induction inference． |
