artificial-intelligence - 量化行动

Question

寻找向我展示如何在情景演算中量化过度行动（也许是流利的？）的例子（Reiter 2001）。

我理解动作、流利和情境之间的区别，但为什么它们需要用二阶逻辑来表示？为什么不使用第一顺序？你能解释一下吗？

Answer 1

除了少数用于编码动态世界的公式外，所有公式都需要二阶逻辑 (SOL)。尤其，

• 初始状态的[属性]
• 行动先决条件
• 动作效果
• 后继状态公理（用于规避“框架问题”）

都可以用一阶逻辑（FOL）表示。
对于某些域，将 SOL 用于上述项目可能更方便- 更简洁 - 但 AFAIK，对于有限域，始终可以在上述项目的上下文中将此类 SOL 转换为 FOL，因此 SOL没有必要（再次，对于上述项目）。

通常情况下对 SOL 的需求仅来自一些“基础公理”，例如对 Situations 执行归纳的公理。

此外，根据特定应用，可能不需要基于 SOL 的基础公理，因此整个世界都可以用 FOL 来专门描述。
我不是该领域的专家，但我认为在许多情况下，为了 [逻辑] 过滤、规划、时间投影，我们可以消除对归纳的需要，因此只依赖 FOL。