形势微积分

形势微积分是一种逻辑形式主义，用于表示和推理动态领域。

情境微积分将变化的情景表示为一组一阶逻辑公式。该微积分的基本元素是。可以在世界中执行的行动描述世界状态的通式情境一个领域被一些公式形式化，即。行动先决条件公理，每个行动都有一个继承状态公理，每个通式都有一个描述世界在各种情况下的公理情况微积分的基础公理一个简单的机器人世界将被作为一个运行的例子来模拟。

情境计算的主要元素是行动、通量和情境。在对世界的描述中，通常还涉及一些对象。情境微积分是基于一个有三种分类的领域：行动、情境和对象，其中对象包括所有不是行动或情境的东西。每种类型的变量都可以被使用。虽然动作、情况和对象是域的元素，但通量被建模为谓词或函数。

行动构成了领域的一个分类。可以使用行动分类的变量。行动可以被量化。来模拟机器人移动到一个新的位置一个特殊的谓词Poss被用来表示一个动作何时可以执行。

在情境计算中，动态世界被建模为通过一系列情境的进展，这是世界中各种行动的结果。一个情境代表一个行动发生的历史。在这里描述的Reiter版本的情境微积分中，一个情境并不代表一个状态，一个情境是一个有限的行动序列。周期。它不是一个状态，不是一个快照，而是一个历史。在任何行动被执行之前的情况通常被表示为并称为初始状况。

执行一个行动所产生的新情况用函数符号do来表示（其他一些参考文献也使用result）。这个函数符号有一个情境和一个行动作为参数，还有一个情境作为结果，后者是在给定情境中执行给定行动所产生的情境。情况是行动的序列，而不是状态，这一事实被一个公理所强制执行，它指出.如果情况是状态的话，这个条件就没有意义了，因为在两个不同的状态下执行的两个不同的动作可以导致相同的状态。表示执行动作的序列，而不是对执行后的状态的描述。

语句的真值可能会发生变化，其模型是关系型流变，即以某种情况为最终参数的谓词。也可以用功能通式，即把一个情况作为其最终参数的函数。