8、离散规划的逻辑表示与方法探索

离散规划的逻辑表示与方法探索

1. 逻辑在离散规划中的应用

在离散规划问题中，许多情况下状态空间极为庞大，例如可能达到 10¹⁰⁰ 个状态。为了避免算法对整个状态空间进行探索来解决问题，人们投入了大量精力构建问题的隐式编码。逻辑基表示在离散规划中得到了广泛应用，主要有以下几个原因：
- 历史原因 ：在 20 世纪 50 年代至 80 年代，这类表示是大多数人工智能研究的基础。
- 紧凑表示 ：它能够非常紧凑地表示某些类型的规划问题，类似于压缩方案。例如，像 010101… 这样有规律的字符串可以很好地压缩，但随机比特串则难以压缩。离散规划中，有些问题具有规律性，能够紧凑表达；而有些则难以找到这样的表示，这也是多年来规划研究中提出多种表示逻辑的原因。
- 输出方便 ：许多离散规划算法在大型软件系统中实现，最终需要向用户提供完整的计划。逻辑基表示便于生成逻辑清晰的输出，解释达到目标的步骤。

然而，逻辑基表示也存在缺点，即难以进行泛化。在许多应用中，需要将连续空间、不可预测性、感知不确定性和多决策者等概念纳入规划，这也是目前使用状态空间表示的主要原因，因为它易于扩展和适应各种问题。但研究逻辑基表示仍然很重要，它有助于理解离散规划研究与其他问题（如运动规划和微分约束下的规划）之间的关系。

2. STRIPS 类表示

2.1 STRIPS 类规划的定义

STRIPS 类表示是离散规划问题中最常见的逻辑基表示。它源于斯坦福研究所问题求解器（STanford Research Institute Prob