| 摘要: |
| 搜索算法的初始空间、搜索策略、搜索过程可以用一阶语言描述,搜索算法的逻辑性质由初始状态空间确定.这意味着描述搜索过程的逻辑具有紧致性,初始状态的初等类具有有限封闭性. |
| 关键词: 搜索算法,一阶逻辑,模型. |
| DOI： |
| 分类号: |
| 基金项目:本文研究得到国家自然科学基金和航空高等院校自选科研课题基金资助. |
|
| The Logical Analysis of Search Algorithms |
|
ZHANG Yu-ping
|
| Abstract: |
| 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. |
| Key words: Search algorithm, first order logic, model. |
