情報処理学会 第79回全国大会講演要旨

複合イベント処理は，データストリーム処理やIoTなどの流れを受け，近年大いに着目されている．一方，一階論理言語の一種であるEvent Calculusはイベントを論理的な枠組みで捉えられ，複合イベントを柔軟に定義できる．加えて，Event Calculusを扱う推論器も公開されているため，その高度な推論機能を活用した複合イベント処理が考えられる．そこで，本論文ではEvent Calculusに基づく複合イベント処理のフレームワークを示し，既存のデータストリーム管理システムとEvent Calculusの推論器を用いた実装について述べる．