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

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

较

黄巍;姜云飞;文中华;彭宏

【期刊名称】《计算机学报》 【年(卷),期】2009(032)001

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

【关键词】不确定的智能规划;扩展的规划目标;执行结构;CTL;EAGLE 【作者】黄巍;姜云飞;文中华;彭宏

【作者单位】华南理工大学计算机科学与工程学院,广州,510641;中山大学软件研究所,广州,510275;湘潭大学信息工程学院,湖南,湘潭,411105;华南理工大学计算机科学与工程学院,广州,510641 【正文语种】中文 【中图分类】TP18 【相关文献】

1.RRL:对语义Web上Ontology表示语言OWL的一种扩展方案 [J], 叶琳莉;

黄日茂

2.多目标线性规划两种解法的比较 [J], 韩滏慧; 张志宏 3.浅析“爱…不…”格式表示的两种语义 [J], 祁兆洁

4.试论语言结构的两个维度及其相互关系并比较英汉两种语言的结构特点 [J], 马建强

5.比较英汉两种语言中具象诗语言学机制以促进比较文学的发展 [J], 白晋明

以上内容为文献基本信息，获取文献全文请下载