• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文会议>International Conference on Artificial Intelligence Planning and Scheduling; 2000414-17; Breckenridge,CO(US) >Object Transition Sequences: A New Form of Abstraction for HTN Planners
【24h】

Object Transition Sequences: A New Form of Abstraction for HTN Planners

机译：对象转换序列：HTN规划人员的一种新的抽象形式

获取原文
获取原文并翻译 | 示例
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

This paper presents EMS, an implemented HTN planning algorithm using a novel form of abstraction. A plan is viewed as a set of dynamic objects taking part in sequences of transitions. EMS builds up plans using an Expand then Make-Sound cycle: a plan is built up by constructing and expanding a tree of networks at different levels of abstraction, where a network contains object transition sequences. A network is made sound by adjusting the pre and postconditions of all the object transition sequences it contains, and proving the sequence in between is sound. As new objects are discovered in the detailed levels of the hierarchically developing plan, the pre and postconditions of their transition sequences are passed up to a parent network in the hierarchy which must then be made sound. The main benefits of EMS are that it processes an expressive, declarative input language based on object hierarchies; it is efficient in its reasoning, in that object transition sequences can be manipulated independently of objects of unrelated sorts, and reasoning about condition achievement is performed locally in a network; and it provides a clear, sound algorithm with the potential of application to complex applications.
机译：本文介绍了EMS，这是一种使用新型抽象形式实现的HTN规划算法。计划被视为一组动态对象，它们参与过渡序列。 EMS使用先扩展后再构建的周期来构建计划：通过构建和扩展处于不同抽象级别的网络树来构建计划，其中网络包含对象转换序列。通过调整网络包含的所有对象转换序列的前提条件和后置条件，使网络健全，并证明两者之间的顺序是合理的。当在分层开发计划的详细级别中发现新对象时，其过渡序列的前置条件和后置条件将传递到层次结构中的父网络，然后必须使父网络变得合理。 EMS的主要好处是，它基于对象层次结构处理表达性，声明性输入语言。它的推理效率很高，因为可以独立于无关种类的对象操纵对象转换序列，并且关于条件实现的推理是在网络中本地进行的。它提供了清晰，合理的算法，具有潜在的适用于复杂应用程序的潜力。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

  • 客服微信

  • 服务号