| 《计算机学报》文章摘要 全文下载 | |
| 文章题目 | 一种计算动作派生前提的激活集的改进方法 |
| 作者 | 蒋志华1),2) 姜云飞1) |
| 作者单位 | 1)(中山大学信息科技学院软件研究所 广州 510275) 2)(暨南大学计算机科学系 广州 510632) |
| 发表年份 | 2007 |
| 发表月份 | 12期(2061—2073) |
| 文章摘要 | 摘要 动作的派生前提和动作删除效果的“连锁反应”是处理派生规划问题中的难点问题,基于激活集的方法是一种简单、有效的方法,但是激活集的计算时间往往过多,文中提出一种新的方法来计算激活集.LPG-td规划系统所提出的激活集是与状态有关的并且需要在规则图上反复计算,而文中提出的激活集是与状态无关的,通过规则分裂来对规则集进行“基化”,使得寻找激活集的时间逐渐地由指数级降为线性级.实现了一个新的能够处理派生规划问题的规划系统LPGSIAS,通过对基准问题的求解,表明LPGSIAS比LPG-td在大部分情况下更高效.与状态无关的激活集可以方便地转化为与状态有关的激活集,文中通过提出一种求解与状态无关的激活集的改进方法来加快对派生规划问题的求解速度. 关键词：智能规划；派生规划问题；激活集；基化 |