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

• 作者: 姜云飞 彭宏 文中华 黄巍
• 来源期刊: 计算机学报
• 学科: 工学
• 关键词: 不确定的智能规划 扩展的规划目标 执行结构 CTL EAGLE
• 年，卷（期）: 2009,（1）
• 所属期刊栏目: 研究论文与技术报告
• 页码范围: 86-96
• 页数: 11页
• 分类号: TP18
• 字数: 12157字
• 语种: 中文
• DOI: 10.3724/SP.J.1016.2009.00086

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	文中华	湘潭大学信息工程学院	37	143	7.0	10.0
2	彭宏	华南理工大学计算机科学与工程学院	188	2058	24.0	34.0
3	姜云飞	中山大学软件研究所	84	1013	18.0	28.0
4	黄巍	华南理工大学计算机科学与工程学院	3	28	2.0	3.0