中文摘要：

为了兼顾全息句法规则的准确性和覆盖面，用递阶结构表达知识，用常量和变量相结合标注特征，归纳出一类相关对象组合匹配模型。针对模型在规则匹配搜索中的“组合爆炸”问题，提出一种基于相关对象解耦的递阶智能搜索方法。根据此方法，先用闭环消除法消去对象中不满足相关约束条件的数据，然后采用简单的顺序搜索获得问题解。这种方法从根本上避免了回溯，显著地减少了计算机在时间和空间上的开销。

英文摘要：

In order to talce into account both veracity and covering square of the holographic syntax rule, using a hierarchical model for knowledge expression and a combination of constants and variables for signing its characteristics, a kind of combinatorial matching model of correlated objects is induced. In allusion to the ＂combination blown -out＂ problem involving the model in rule matching search, a hierarchical intelligence search method based on decoupling the correlated objects is put forward. According to this method, at first, the data which do not satisfy the correlation constraints will be removed by the ＂closed - loop elimination method＂ and then only a simple sequential search needed for obtaining the problem solution. This method may avoid from any backtracking, and the time and space consumed by search are greatly reduced.