文献类型：期刊文献

中文题名：用构造基证明归纳定理

英文题名：Proving Inductive Theorems Using Construction Bases

作者：张静[1];邵志清[1]

机构：[1]华东理工大学计算机科学与工程系,上海200237

年份：2000

卷号：26

期号：5

起止页码：529

中文期刊名：华东理工大学学报（自然科学版）

外文期刊名：Journal of East China University of Science and Technology

收录：CSTPCD;;国家哲学社会科学学术期刊数据库;Scopus;北大核心:【北大核心1996】；CSCD:【CSCD2011_2012】；

基金：国家自然科学基金!资助项目 ( 6990 30 0 4 ;6970 30 0 8)

语种：中文

中文关键词：构造函数符号;构造基;证明;归纳定理

外文关键词：ground reducibility; constructor; construction base; induction; proving

摘要：在测试集方法的基础上 ,引入一个新的概念——构造基 ,用于产生完全的但非冗余的不可归约基项 ;提出构造基归纳原理 ,将显式归纳证明和隐式归纳证明有机地结合在一起 ,对测试集方法做出了改进。实验表明 :这种方法提高了归纳定理的证明效率。
On the basis of test set approach we present a new concept, construction base, that is used to produe complete and irredundant irreducible ground terms, and put forward a construction base induction principle, which organically combines explicit induction and implicit induction and improves test set methods. experimental results show that: our method is more efficient to prove inductive theorems.