A Generic Technique for Synthesizing Bounded Finite-State Controllers.
ICAPS'13: Proceedings of the Twenty-Third International Conference on International Conference on Automated Planning and Scheduling(2013)
摘要
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 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络