|
|||||
|
|
| 关于CTL与E_AG_(LE)两种规划扩展目标表示语言的语义比较 | |
| 引用本文： | 黄巍,姜云飞,文中华,彭宏.关于CTL与E_AG_(LE)两种规划扩展目标表示语言的语义比较[J].计算机学报,2009,32(1). |
| 作者姓名： | 黄巍 姜云飞 文中华 彭宏 |
| 作者单位： | 1. 华南理工大学计算机科学与工程学院,广州,510641 2. 中山大学软件研究所,广州,510275 3. 湘潭大学信息工程学院,湖南,湘潭,411105 |
| 基金项目： | 国家自然科学基金，广东省自然科学基金，广东省科技攻关项目 |
| 摘 要： | 在不确定的智能规划领域中,CTL和EAGLE是两种重要的扩展目标表示语言.虽然与CTL相比EAGLE具有可以表示规划意图和失败处理机制的特点,但是有关严格比较这两种目标表示语言语义的研究工作还不多.文章在规划的执行结构这一语义层次上对这两种语占做了严格的比较,证明了对于许多包括原来曾被认为无法用CTL表示的EAGLE规划目标而言,都存在着一个与之语义等价的CTL规划目标,并且进一步分析了这两种语言在表示规划目标和指导规划求解这两个层次上的优缺点. |
| 关 键 词： | 不确定的智能规划 扩展的规划目标 执行结构 |
A Comparison of Semantics of Extended Goals Expressed in CTL and E_AG_(LE) |
|
| HUANG Wei,JIANG Yun-Fei,WEN Zhong-Hua,PENG Hong.A Comparison of Semantics of Extended Goals Expressed in CTL and E_AG_(LE)[J].Chinese Journal of Computers,2009,32(1). | |
| Authors: | HUANG Wei JIANG Yun-Fei WEN Zhong-Hua PENG Hong |
| Affiliation: | School of Computer Science & Engineering;South China University of Technology;Guangzhou 510641;Software Research Institute;Sun Yat-Sen University;Guangzhou 510275;College of Information Engineering;Xiangtan University;Xiangtan;Hunan 411105 |
| Abstract: | In automated planning under uncertainty,extended goals are often expressed as temporal logic formulas,particularly as CTL(computation tree logic) formulas and EAGL E formulas.Though it is said that the capability of representing the "intentional" aspects of goals and the possibility of dealing with failure are the main new features of EAGL E with respect to CTL,there is not enough work devoted to formal comparison of semantics of these two languages.According to the formal semantics of EAGL E and CTL goals ... |
| Keywords: | CTL EAGLE |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ | |