• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文会议>Proceedings of the Twentieth international conference on automated planning and scheduling >Shopper: A System for Executing and Simulating Expressive Plans
【24h】

Shopper: A System for Executing and Simulating Expressive Plans

机译：购物者：执行和模拟表达计划的系统

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

摘要

We present Shopper, a plan execution engine that facilitates experimental evaluation of plans and makes it easier for planning researchers to incorporate replanning. Shopper interprets the LTML plan language, which extends PDDL in two major ways: with more expressive control structures, and with support for semantic web services modeled on OWL-S. LTML's command structures include not only conventional ones such as branching, iteration, and procedure calls, but also features needed to handle HTN plans, such as precondition-filtered method choice. Unlike conventional programming languages, LTML supports interaction with the agent's belief store, so that its execution semantics line up with those assumed by planners. LTML actions extend PDDL actions in having outputs as well as effects, which means that they can support actions that sense the world; an important special case of this is semantic web services, which reveal information about a state hidden from the agent. To support experimentation as well as action in the real world, Shopper accommodates multiple, swappable implementations of its primitive action API. For example, one may interact with real web services through SOAP and WSDL, or with simulated web services through local procedure calls. We describe novel features of LTML, the interpretation strategy, swappable back-ends, and the implementation.
机译：我们介绍了Shopper，这是一个计划执行引擎，可促进对计划的实验评估，并使计划研究人员更容易纳入重新计划。 Shopper解释了LTML计划语言，该语言以两种主要方式扩展了PDDL：具有更具表现力的控制结构以及对基于OWL-S建模的语义Web服务的支持。 LTML的命令结构不仅包括常规的命令结构（例如分支，迭代和过程调用），还包括处理HTN计划所需的功能，例如前提条件过滤的方法选择。与传统的编程语言不同，LTML支持与代理的信念存储区进行交互，因此其执行语义与计划人员所假定的语义一致。 LTML动作将PDDL动作扩展为具有输出和效果，这意味着它们可以支持感知世界的动作；一个重要的特殊情况是语义Web服务，它揭示了对代理隐藏的状态的信息。为了支持现实世界中的实验和动作，Shopper容纳了其原始动作API的多个可交换实现。例如，可以通过SOAP和WSDL与实际的Web服务交互，或者通过本地过程调用与模拟的Web服务交互。我们描述了LTML的新颖功能，解释策略，可交换后端以及实现。

著录项

相似文献

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

客服邮箱：kefu@zhangqiaokeyan.com

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

  • 客服微信

  • 服务号