Event calculus とは

イベントの計算は、1986年にRobert KowalskiとMarek Sergotによって最初に発表されたイベントとその効果を表現し、推論するための論理的言語です。これは1990年代のMurray ShanahanとRob Millerによって拡張されました。変化についての推論のための他の言語と同様に、イベント計算は、フルエントに対するアクションの効果を表します。ただし、イベントはシステムの外部にあることもあります。イベント計算では、特定の時点での流動性の値、与えられた時点で起こるイベント、およびその効果を指定することができます。