| 规划问题编码成SAT问题研究 |
| |
| 引用本文： | 陈蔼祥.规划问题编码成SAT问题研究[J].计算机工程与应用,2009,45(14):39-45. |
| |
| 作者姓名： | 陈蔼祥 |
| |
| 作者单位： | 广东商学院,数学与计算科学学院,广州,510320 |
| |
| 摘 要： | 智能规划问题是一个NP-hard的问题。近年来,由于在可满足问题(SAT)研究领域取得了较大进展,出现了一大批快速的能达到工业级应用的SATsolver求解器的出现,这使得运用可满足技术来求解规划问题的方法越来越得到智能规划研究者们的重视。用可满足技术求解规划问题的首要任务是必须将规划问题"翻译"成可满足问题。讨论了如何将规划问题编码成命题可满足问题的一般技术,并对"直接编码"和"基于规划图的编码"两种编码技术进行了比较,指出了两种编码技术各自的优缺点。在此基础上,深入地分析了各种不同的编码方案之间的异同点以及它们各自的优缺点。最后,指出了用SAT技术求解规划问题中存在的一些问题以及相关改进方法。
|
| 关 键 词： | 智能规划 规划图 可满足(SAT)问题 编码方案 |
| 收稿时间： | 2009-2-5 |
| 修稿时间： | 2009-4-24
|
Research on encoding planning problem into SAT |
| |
| CHEN Ai-xiang.Research on encoding planning problem into SAT[J].Computer Engineering and Applications,2009,45(14):39-45. |
| |
| Authors: | CHEN Ai-xiang |
| |
| Affiliation: | CHEN Ai-xiang College of Mathematics , Computer Science,Guangdong University of Bussiness Studies,Guangzhou 510320,China |
| |
| Abstract: | Intelligent planning is a NP-hard problem,and using SAT technology to solve the planning is an important research direction.Recently,great progress has been made on SAT technology,many fast SAT solver has appeared,which lead the planning method based on SAT technology to be a competitive method and attract many researcher's focus.The first problem to be solved when using SAT to solve planning problem is to translate the planning problem into a SAT problem.This paper discusses the general technology on encod... |
| |
| Keywords: | intelligent planning planning graph SAT problem encoding schema |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
| 点击此处可从《计算机工程与应用》浏览原始摘要信息 |
|
点击此处可从《计算机工程与应用》下载全文 |
|
