• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文会议>Proceedings of the Twenty-Third International conference on Automated planning and Scheduling >A Generic Technique for Synthesizing Bounded Finite-State Controllers
【24h】

A Generic Technique for Synthesizing Bounded Finite-State Controllers

机译：一种有界有限状态控制器的通用合成技术

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

摘要

Finite-state controllers are a compact and effective plan representation for agent widely used in AI. In this paper, we propose a generic framework and related solver for synthesizing bounded finite-state controllers, and show its instantiations to three different applications, including generalized planning, planning programs and service composition under partial observability and controllability. We show that our generic solver is sound and complete, and amenable to heuristics that take into account the structure of the specific target instantiation. Experiments show that instantiations of our solver to the problems above often outperform tailored approaches in the literature. This suggests that our proposal is a promising base point for future research on finite-state controller synthesis.
机译：有限状态控制器是AI中广泛使用的代理的紧凑而有效的计划表示形式。在本文中，我们提出了一种用于合成有限有限状态控制器的通用框架和相关求解器，并在部分可观性和可控性下，将其实例化为三种不同的应用程序，包括广义规划，规划程序和服务组合。我们表明，通用求解器是健全而完整的，并且适合考虑特定目标实例化结构的启发式方法。实验表明，我们对上述问题的求解器实例化通常优于文献中量身定制的方法。这表明我们的建议是未来有限状态控制器综合研究的有希望的基础。

著录项

相似文献

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

客服邮箱：kefu@zhangqiaokeyan.com

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

  • 客服微信

  • 服务号