| 《计算机学报》文章摘要 全文下载 | |
| 文章题目 | 关于CTL与EAGLE两种规划扩展目标表示语言的语义比较 |
| 作者 | 黄巍1) 姜云飞2) 文中华3) 彭宏1) |
| 作者单位 | 1)(华南理工大学计算机科学与工程学院 广州 510641) 2)(中山大学软件研究所 广州 510275) 3)(湘潭大学信息工程学院 湖南湘潭 411105) |
| 发表年份 | 2009 |
| 发表月份 | 1期(86—96) |
| 文章摘要 | 摘要 在不确定的智能规划领域中，CTL和EAGLE是两种重要的扩展目标表示语言.虽然与CTL相比EAGLE具有可以表示规划意图和失败处理机制的特点，但是有关严格比较这两种目标表示语言语义的研究工作还不多.文章在规划的执行结构这一语义层次上对这两种语言做了严格的比较，证明了对于许多包括原来曾被认为无法用CTL表示的EAGLE规划目标而言，都存在着一个与之语义等价的CTL规划目标，并且进一步分析了这两种语言在表示规划目标和指导规划求解这两个层次上的优缺点. 关键词：不确定的智能规划；扩展的规划目标；执行结构；CTL；EAGLE DOI号: 10.3724/SP.J.1016.2009.00086 |