规划问题编码成SAT问题研究

• 作者: 陈蔼祥
• 来源期刊: 计算机工程与应用
• 学科: 工学
• 关键词: 智能规划 规划图 可满足(SAT)问题 编码方案
• 年，卷（期）: 2009,（14）
• 所属期刊栏目: 博士论坛
• 页码范围: 39-45
• 页数: 7页
• 分类号: TP273
• 字数: 12531字
• 语种: 中文
• DOI: 10.3778/j.issn.1002-8331.2009.14.011

摘要

智能规划问题是一个NP-hard的问题.近年来,由于在可满足问题(SAT)研究领域取得了较大进展,出现了一大批快速的能达到工业级应用的SAT solver求解器的出现,这使得运用可满足技术来求解规划问题的方法越来越得到智能规划研究者们的重视.用可满足技术求解规划问题的首要任务是必须将规划问题"翻译"成可满足问题.讨论了如何将规划问题编码成命题可满足问题的一般技术,并对"直接编码"和"基于规划图的编码"两种编码技术进行了比较,指出了两种编码技术各自的优缺点.在此基础上,深入地分析了各种不同的编码方案之间的异同点以及它们各自的优缺点.最后,指出了用SAT技术求解规划问题中存在的一些问题以及相关改进方法.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	陈蔼祥	广东商学院数学与计算科学学院	15	61	4.0	7.0