具有感知作用域的基于状态的回归公式<br>和不完全信息
A State-Based Regression Formulation for Domains with Sensing Actions<br> and Incomplete Information
摘要：
我们提出了一个基于状态的回归函数规划域的代理不具有完整的信息，并可能有感测行动。我们认为二进制域和采用三值表征域与传感行动来定义回归函数。我们证明了我们的回归公式的稳健性和完整性相对于进展的定义。更具体地说，我们证明了（i）通过回归获得的规划问题的计划确实是该规划问题的级数解，以及（ii）对于通过级数找到的每个计划，使用回归获得该计划或等效计划。
英文摘要：
We present a state-based regression function for planning domains where an agent does not have complete information and may have sensing actions. We consider binary domains and employ a three-valued characterization of domains with sensing actions to define the regression function. We prove the soundness and completeness of our regression formulation with respect to the definition of progression. More specifically, we show that (i) a plan obtained through regression for a planning problem is indeed a progression solution of that planning problem, and that (ii) for each plan found through progression, using regression one obtains that plan or an equivalent one.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
