规划问题编码为约束可满足问题的研究

摘要：

基于约束可满足问题的规划求解是研究智能规划的重要技术方法.把规划问题编码为约束可满足(CSP)问题,是这种规划求解方法的关键技术之一.本文介绍把规划问题编码为约束可满足问题的方法,及一些已有的并且已经用于规划的可满足过程,并对这些编码方法做进一步的研究,主要讨论领域知识在编码方法中的应用,提出在编码求解中加入领域知识的观点.

关键词：规划问题、CSP、SAT、领域知识

所属期刊栏目：33

分类号：TP3(计算技术、计算机技术)

资助基金：国家自然科学基金60173039

在线出版日期：2006-09-20（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：187-189,292