并行计划与执行的形式化元推理模型
A Formal Metareasoning Model of Concurrent Planning and Execution
摘要：
在现实世界中计划和行动的代理人必须处理时间随着他们的计划而流逝的事实。当时间紧迫时，可能没有足够的时间在采取行动之前完成对计划的搜索。通过在搜索结束之前开始执行，通过使规划和执行并发来获得搜索时间。然而，这会带来做出不正确的行动选择的风险，特别是如果行动是不可逆转的。这种机会和风险之间的权衡是本文所要解决的问题。我们的主要贡献是正式定义为一个抽象的元推理问题的设置。我们发现抽象的问题是难以解决的。然而，我们确定的特殊情况下，可解决的多项式时间，开发贪婪的解决方案的算法，并通过测试的实例搜索问题，找到几种方法，实现有前途的实际性能。这项工作为一个有原则的时间意识的执行者同时计划和执行奠定了基础。
英文摘要：
Agents that plan and act in the real world must deal with the fact that time passes as they are planning. When timing is tight, there may be insufficient time to complete the search for a plan before it is time to act. By commencing execution before search concludes, one gains time to search by making planning and execution concurrent. However, this incurs the risk of making incorrect action choices, especially if actions are irreversible. This tradeoff between opportunity and risk is the problem addressed in this paper. Our main contribution is to formally define this setting as an abstract metareasoning problem. We find that the abstract problem is intractable. However, we identify special cases that are solvable in polynomial time, develop greedy solution algorithms, and, through tests on instances derived from search problems, find several methods that achieve promising practical performance. This work lays the foundation for a principled time-aware executive that concurrently plans and executes.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
