搜索算法的逻辑分析

摘要：

搜索算法的初始空间、搜索策略、搜索过程可以用一阶语言描述,搜索算法的逻辑性质由初始状态空间确定.这意味着描述搜索过程的逻辑具有紧致性,初始状态的初等类具有有限封闭性.

关键词：搜索算法、一阶逻辑、模型

所属期刊栏目：10

分类号：TP18(自动化基础理论)

资助基金：中国科学院资助项目;航空高校自选项目

在线出版日期：2004-01-08（万方平台首次上网日期，不代表论文的发表时间）

页数：共6页

页码：175-180