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

The Research of Constraint Satisfaction Problems Encoding of Planning Problems

作　　者：伍丽华[1] 陈蔼洋[1] 姜云飞[1] 

机构地区：[1]中山大学软件研究所

出　　处：《计算机科学》2006年第8期187-189,292,共4页Computer Science

基　　金：国家自然科学基金项目;编号:60173039

摘　　要：基于约束可满足问题的规划求解是研究智能规划的重要技术方法。把规划问题编码为约束可满足(CSP)问题,是这种规划求解方法的关键技术之一。本文介绍把规划问题编码为约束可满足问题的方法,及一些已有的并且已经用于规划的可满足过程,并对这些编码方法做进一步的研究,主要讨论领域知识在编码方法中的应用,提出在编码求解中加入领域知识的观点。The planning solution based on constraint satisfaction problem（CSP） is one of the most important methods of researching intelligent planning. Encoding planning problems into CSPs play a major role in planning solving. In this paper, we focus on the encoding of planning problems into CSP and describe some existing satisfiability procedures that have been used extensively for planning, and the discussion of the application problem about domain knowledge in encoding approach is presented.

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

分 类 号：TP311.13[自动化与计算机技术—计算机软件与理论] TN919.81[自动化与计算机技术—计算机科学与技术]