您的位置： 专家智库 > >

广东省科技攻关计划(2007B01020044)

作品数：1 被引量：0H指数：0
相关作者：彭宏黄巍文中华姜云飞更多>>
相关机构：中山大学华南理工大学湘潭大学更多>>
发文基金：国家自然科学基金广东省自然科学基金广东省科技攻关计划更多>>
相关领域：自动化与计算机技术更多>>

文献类型

  • 1篇中文期刊文章

领域

  • 1篇自动化与计算...

主题

  • 1篇语义
  • 1篇语义比较
  • 1篇CTL
  • 1篇EAGLE

机构

  • 1篇湘潭大学
  • 1篇华南理工大学
  • 1篇中山大学

作者

  • 1篇姜云飞
  • 1篇文中华
  • 1篇黄巍
  • 1篇彭宏

传媒

  • 1篇计算机学报

年份

  • 1篇2009
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
关于CTL与EAGLE两种规划扩展目标表示语言的语义比较
2009年
在不确定的智能规划领域中,CTL和EAGLE是两种重要的扩展目标表示语言.虽然与CTL相比EAGLE具有可以表示规划意图和失败处理机制的特点,但是有关严格比较这两种目标表示语言语义的研究工作还不多.文章在规划的执行结构这一语义层次上对这两种语言做了严格的比较,证明了对于许多包括原来曾被认为无法用CTL表示的EAGLE规划目标而言,都存在着一个与之语义等价的CTL规划目标,并且进一步分析了这两种语言在表示规划目标和指导规划求解这两个层次上的优缺点.
黄巍姜云飞文中华彭宏
关键词：CTLEAGLE
全选 清除 导出
共1页<1>
聚类工具0