Artificial intelligence 行动的量化

寻找一些例子，告诉我如何量化情境演算中的过度行为（可能还有fluent？）（Reiter 2001）

---

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

除了一些用于编码动态世界的公式外，其他所有公式都需要二阶逻辑（SOL）。特别是,

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

都可以用一阶逻辑（FOL）表示
对于某些领域，对上述项目使用SOL可能会更方便、更简洁，但对于有限领域，在上述项目的上下文中，始终可以将此类SOL转换为FOL，因此无需使用SOL（同样，对于上述项目）

通常情况下，使用情境演算的SOL需求仅来自一些“基本公理”，例如对情境进行归纳的公理

此外，根据特定的应用，可能不需要基于SOL的基本公理，因此整个世界都可以用以下术语进行专门描述。

---

我不是该领域的专家，但我认为在许多情况下，出于[逻辑]过滤、规划和时间投影的目的，我们可以不需要归纳，因此只依赖FOL。

非常感谢任何帮助！情境和事件是一阶的。你有没有提到有人说你需要二阶逻辑来和他们一起工作？这个问题似乎离题了，因为它不是关于编程的。