关于CTL与EA GLE两种规划扩展目标表示语言的语义比较

摘要：

在不确定的智能规划领域中,CTL和EAGLE是两种重要的扩展目标表示语言.虽然与CTL相比EAGLE具有可以表示规划意图和失败处理机制的特点,但是有关严格比较这两种目标表示语言语义的研究工作还不多.文章在规划的执行结构这一语义层次上对这两种语占做了严格的比较,证明了对于许多包括原来曾被认为无法用CTL表示的EAGLE规划目标而言,都存在着一个与之语义等价的CTL规划目标,并且进一步分析了这两种语言在表示规划目标和指导规划求解这两个层次上的优缺点.

关键词：不确定的智能规划、扩展的规划目标、执行结构、CTL、EAGLE

所属期刊栏目：32

分类号：TP18(自动化基础理论)

资助基金：国家自然科学基金60773201;广东省自然科学基金07006474;广东省科技攻关项目基金2007B01020044

在线出版日期：2009-04-08（万方平台首次上网日期，不代表论文的发表时间）

页数：共11页

页码：86-96