搜索算法的逻辑分析  

The Logical Analysis of Search Algorithms

作　　者：张玉平[1] 

机构地区：[1]北京航空航天大学计算机科学与工程系

出　　处：《软件学报》1999年第2期175-180,共6页Journal of Software

基　　金：国家自然科学基金;航空高等院校自选科研课题

摘　　要：搜索算法的初始空间、搜索策略、搜索过程可以用一阶语言描述，搜索算法的逻辑性质由初始状态空间确定．这意味着描述搜索过程的逻辑具有紧致性，初始状态的初等类具有有限封闭性．The state space, search heuristics, and move generator in searching solutions to a given problem are characterized by first order language, which implies that the logical properties of a search algorithm are determined by its state space, that is, the logic describing the searching process has compactness and the class of initial states has finite close property.

关 键 词：搜索算法 一阶逻辑 逻辑分析 人工智能 

分 类 号：TP18[自动化与计算机技术—控制理论与控制工程]