-
题名一种计算动作派生前提的激活集的改进方法
被引量：13
- 1
-
-
作者
蒋志华
姜云飞
-
机构
中山大学信息科技学院软件研究所
-
出处
《计算机学报》
EI
CSCD
北大核心
2007年第12期2061-2073,共13页
-
文摘
动作的派生前提和动作删除效果的"连锁反应"是处理派生规划问题中的难点问题,基于激活集的方法是一种简单、有效的方法,但是激活集的计算时间往往过多,文中提出一种新的方法来计算激活集.LPG-td规划系统所提出的激活集是与状态有关的并且需要在规则图上反复计算,而文中提出的激活集是与状态无关的,通过规则分裂来对规则集进行"基化",使得寻找激活集的时间逐渐地由指数级降为线性级.实现了一个新的能够处理派生规划问题的规划系统LPGSIAS,通过对基准问题的求解,表明LPGSIAS比LPG-td在大部分情况下更高效.与状态无关的激活集可以方便地转化为与状态有关的激活集,文中通过提出一种求解与状态无关的激活集的改进方法来加快对派生规划问题的求解速度.
-
关键词
智能规划
派生规划问题
激活集
基化
-
Keywords
AI planning
derived planning domains
activation sets
ground out
-
分类号
TP182
[自动化与计算机技术—控制理论与控制工程]
-
