基于状态空间表示的逻辑问题及其宽度优先搜索算法实现

• 作者: 陆钊
• 来源期刊: 中国科教创新导刊
• 学科: 数学
• 关键词: AI 逻辑推理 状态空间 宽度优先搜索
• 年，卷（期）: 2007,（18）
• 所属期刊栏目: 科教研究
• 页码范围: 82-83
• 页数: 2页
• 分类号: O233
• 字数: 1863字
• 语种: 中文
• DOI: 10.3969/j.issn.1673-9795.2007.18.071

摘要

本文通过研究AI领域中常用的状态空间法,结合特定规则下逻辑推理问题(LIBFR)的具体特征,建立了相应的状态空间表示模型.在此基础上分析设计了此类逻辑问题的宽度优先搜索算法,并借助开发工具VC++6.0和SQLServer2000在WindowsXP系统下结合数学软件Matlab6.0编程实现.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	陆钊		18	16	3.0	3.0