寻找示例，向我展示如何量化情境演算中的行为（也许是流感？）（Reiter 2001）。
我理解动作，流畅和情境之间的区别，但为什么它们需要用二阶逻辑表示？为什么不使用第一个订单？你能解释一下吗？
答案 0 :(得分：1)
除了用于编码动态世界的几个公式之外的所有公式都需要二阶逻辑（SOL）。特别是，
都可以用一阶逻辑（FOL）表示 对于某些域，它可能方便 - 并且更简洁 - 在上面的项目中使用SOL，但是AFAIK，总是可以在列出的项目的上下文中将这样的SOL转换为FOL 上面，对于有限域，因此SOL不是必要的（同样，对于上述项目）。
通常情况微积分对SOL的需求仅来自一些“基础公理”，例如在情境中执行归纳的公理。
此外，根据具体应用，可能不需要基于SOL的基础公理，因此整个世界可以用FOL专门描述。
我不是该领域的专家，但我认为在许多情况下，出于[逻辑]过滤，计划，时间投影的目的，我们可以取消对归纳的需求，因此仅仅依赖于FOL。 / p>