HYPOTHESIS SPACE CONSTRUCTION BASED ON GENERALIZED SUBSUMPTION  

作　　者：王志坚 徐家福 

机构地区：[1]State Key Laboratory for Novel Software Technology,Nanjing University,Nanjing 210008,PRC

出　　处：《Progress in Natural Science:Materials International》1992年第3期223-229,共7页自然科学进展·国际材料（英文版）

摘　　要：Generalized subsumption is a kind of partial ordering relations used in the comparison of clausesbased on background knowledge.It decreases the search space by merging all the hypotheseswith redundant constraints into an equivalence class.The construction algorithm and the related theo-rems are presented in this paper.The structure and the properties of the constructed space are discussedas well.Generalized subsumption is a kind of partial ordering relations used in the comparison of clauses based on background knowledge.It decreases the search space by merging all the hypotheses with redundant constraints into an equivalence class.The construction algorithm and the related theo- rems are presented in this paper.The structure and the properties of the constructed space are discussed as well.

关 键 词：GENERALIZED SUBSUMPTION HYPOTHESIS SPACE REDUNDANCY 

分 类 号：N[自然科学总论]