相关对象组合匹配模型及解耦递阶智能搜索

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