搜索算法的逻辑分析

• 作者: 张玉平
• 来源期刊: 软件学报
• 学科: 工学
• 关键词: 搜索算法 一阶逻辑 模型
• 年，卷（期）: 1999,（2）
• 页码范围: 175-180
• 页数: 6页
• 分类号: TP18
• 字数: 7758字
• 语种: 中文

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	张玉平	北京航空航天大学计算机科学与工程系	3	10	2.0	3.0