高效开放世界推理用于规划

我们考虑在知识不完整且动作确定的情况下进行推理与规划的问题。我们引入了一种称为 PSIPLAN 的知识表示方案，能够有效表示代理人知识的不完整性，同时在对象集合未知或无限的情况下，允许进行正确、完整且可计算的推理。我们提出了一种针对 PSIPLAN 中动作执行后状态更新的程序，该程序正确、完整且仅具有多项式复杂度。状态更新无需考虑知识状态对应的所有可能世界的结果。因此，PSIPLAN 下的规划无需直接操作可能世界。PSIPLAN 表示为 PSIPOP 规划算法所支撑，该算法能够处理带或不带例外的量化目标，而其他领域无关的规划器尚未展示实现这一点。PSIPLAN 已在 Common Lisp 中实现，并用于协作界面上的规划应用。