-
题名规划问题编码为约束可满足问题的研究
被引量：3
- 1
-
-
作者
伍丽华
陈蔼洋
姜云飞
-
机构
中山大学软件研究所
-
出处
《计算机科学》
CSCD
北大核心
2006年第8期187-189,292,共4页
-
基金
国家自然科学基金项目
编号:60173039
-
文摘
基于约束可满足问题的规划求解是研究智能规划的重要技术方法。把规划问题编码为约束可满足(CSP)问题,是这种规划求解方法的关键技术之一。本文介绍把规划问题编码为约束可满足问题的方法,及一些已有的并且已经用于规划的可满足过程,并对这些编码方法做进一步的研究,主要讨论领域知识在编码方法中的应用,提出在编码求解中加入领域知识的观点。
-
关键词
规划问题
CSP
SAT
领域知识
-
Keywords
Planning problem, CSP, SAT, Domain knowledge
-
分类号
TP311.13
[自动化与计算机技术—计算机软件与理论]
TN919.81
[自动化与计算机技术—计算机科学与技术]
-
