搜索算法的逻辑分析

被引：1

作者：

张玉平

机构：

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

来源：

关键词：

搜索算法，一阶逻辑，模型;

D O I：

10.13328/j.cnki.jos.1999.02.012

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

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

引用

页码：64 / 69

页数：6