流暢な微積分

流暢な計算は、動的領域を一階述語論理で表現するための形式体系です。これは状況計算の変種であり、主な違いは、状況が状態の表現とみなされる点です。二項関数記号${\displaystyle \circ }$は、ある状況で成り立つ事実を表す用語を連結するために使用されます。たとえば、箱がテーブルの上に置かれている状況などです。${\displaystyle s}$式で表される${\displaystyle \exists ts=on(box,table)\circ t}$フレーム問題は、ある動作の実行後の状況は、動作によって変更された条件を除いて、実行前の状況と同一であると断言することによって解決されます。例えば、箱をテーブルから床に移動させる動作は、次のように形式化されます。

${\displaystyle State(Do(move(box,table,floor),s))\circ on(box,table)=State(s)\circ on(box,floor)}$

この式は、移動後に項を追加した状態を示しています。${\displaystyle on(box,floor)}$そしてその用語を削除しました${\displaystyle on(box,table)}$公理は、${\displaystyle \circ }$このような公理が機能するためには、可換性と非冪等性が必要である。

• Fluent（人工知能）
• フレーム問題
• 状況計算
• イベント計算

• M. Thielscher (1998).流暢な微積分入門.人工知能に関する電子トランザクション, 2(3–4):179–192.
• M. Thielscher (2005).推論ロボット - ロボットエージェントのプログラミングの芸術と科学。応用論理シリーズ第33巻。Springer、ドルトレヒト。