学习中的规划

本文引入了一种规划与学习（Planning while Learning）框架，其中智能体在行为仅部分知晓的环境中被赋予要实现的目标。我们讨论了各种计划设计过程的可计算性。我们指出，对于大型自然类的规划与学习系统，计划可以在合理时间内呈现并验证。然而，即使对于简单类的系统，算法性地构思计划也似乎不可计算。我们强调离线计划设计过程的作用，指出在大多数自然情况下，验证（投影）部分可以以高效的算法方式进行。