量化布尔范式的近似知识编译方法.docVIP

　　学校代码：10200　　　　　　　　 学号：200721799 本科毕业论文 量化布尔范式的近似知识编译方法 Approximate Knowledge Compilation for Quantified Boolean Formulas 作者：邹婷婷 指导教师：谷文祥 教授 学科专业：计算机应用技术 学 院：计算机科学与信息技术学院 东北师范大学学位评定委员会 2012年 5月  摘 要 （标题摘要两字为黑体三号、居中、字间空两个字，标题摘要上、下各空一行。摘要正文字体为宋体小四，首行缩进两个字符，行距为1.25。） （关键词上空一行，关键词这3个字为宋体小四、加粗，关键词为宋体小四，关键词之间用分号相隔。） 智能规划（Intelligent Planning）是人工智能一个重要的研究方向，求解规划的方法很多，其中一种方法就是将规划问题转化成量化布尔范式进行求解。自动推理是人工智能研究领域最重要的研究方向之一，知识编译（Knowledge Compilation）是近年来提出的卓有成效的推理问题处理方法之一。目前大多数知识编译方法都是基于命题逻辑的。 ……。实验结果表明，该方法能有效地处理QBF知识库的知识编译问题，并能在多项式时间内回答对原知识库的查询