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

来源 :中国科教创新导刊 | 被引量 : 0次 | 上传用户:huangwily
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
本文通过研究AI领域中常用的状态空间法,结合特定规则下逻辑推理问题(LIBFR)的具体特征,建立了相应的状态空间表示模型.在此基础上分析设计了此类逻辑问题的宽度优先搜索算法,并借助开发工具VC++6.0和SQLServer2000在WindowsXP系统下结合数学软件Matlab6.0编程实现.
其他文献
为建设具有安全感且和谐有序的智慧型城市,厦门市海沧区新阳街道进行彻底的基础信息大排查,突出对重点人员、重点场所的管控,加大对基础设施的投入与建设,发动民众力量,增配
通过多媒体计算机网络进行教学是当前计算机辅助教学发展的重要趋势,也是计算机网络应用的重要方面。本文首先介绍了多媒体网络教学的相关概念和特点。在此基础上对目前多媒
公民重法守法意识的培育是加强廉政文化建设的重要内容。公民法律意识的淡薄有着不同的表现和特点,廉政文化建设应针对性地开展工作。为此,在开展公民重法守法意识教育中,应该体