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