CAJ | 학술논문

为了兼顾全息句法规则的准确性和覆盖面，用递阶结构表达知识，用常量和变量相结合标注特征，归纳出一类相关对象组合匹配模型。针对模型在规则匹配搜索中的“组合爆炸”问题，提出一种基于相关对象解耦的递阶智能搜索方法。根据此方法，先用闭环消除法消去对象中不满足相关约束条件的数据，然后采用简单的顺序搜索获得问题解。这种方法从根本上避免了回溯，显著地减少了计算机在时间和空间上的开销。
위료겸고전식구법규칙적준학성화복개면，용체계결구표체지식，용상량화변량상결합표주특정，귀납출일류상관대상조합필배모형。침대모형재규칙필배수색중적“조합폭작”문제，제출일충기우상관대상해우적체계지능수색방법。근거차방법，선용폐배소제법소거대상중불만족상관약속조건적수거，연후채용간단적순서수색획득문제해。저충방법종근본상피면료회소，현저지감소료계산궤재시간화공간상적개소。
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.