Event Calculus(イベントカルキュラス)とは
Event Calculusとは、出来事と時間を手がかりに、どの状態がいつ成り立つかを表すための論理形式です。たとえば「田中さんが部長に就任した」「別の日に退任した」という出来事から、その間は部長であると考えるような仕組みです。AIに時系列の知識を扱わせる時、何が起きたかと、その結果どの状態が続くかを分けて考える助けになります。
英語表記：Event Calculus
状態は出来事から始まり終わる
日常のデータでは、出来事と状態が混ざりがちです。「契約を締結した」は出来事で、「契約が有効である」は状態です。Event Calculusは、出来事が状態の期間を始めたり終えたりする形で整理します。CRMや契約管理でも、いつ何が発生し、その結果どの状態が続いているのかを分けると、AIによる検索や説明が正確になりやすいでしょう。
フレーム問題とのつながり
AIで時間を扱う時は、「変わったこと」だけでなく「変わっていないこと」も問題になります。Event Calculusは、出来事によって始まった状態が、終わらせる出来事が来るまで続くと考える形式です。これはフレーム問題を読む時の補助線になるでしょう。変化を全部書くのではなく、続いている前提をどう扱うかが焦点です。
Topic消す代わりに終わりを足す
KowalskiとSergotの論文では、データベース更新を、新しい知識を知識ベースへ加えることとして統一的に扱う見方が示されています。情報を単に削除するのではなく、その情報が成り立つ期間の終わりを表す知識を足すという発想です。履歴を残す業務システムにも通じる考え方です。
Event Calculusに関するよくある質問
- Event Calculusはイベント管理ツールですか？
- ツール名ではなく、出来事と時間から状態を表す論理の考え方です。予定表やイベント運営の管理とは別の意味で使われます。
- Event Calculusはどんな場面の理解に役立ちますか？
- 契約、人事、設備状態など、出来事によって状態が始まり終わるデータを考える時に役立ちます。履歴を消さずに説明したい業務と相性があります。
