電子情報通信学会情報・システムソサイエティ
電子情報通信学会ヒューマンコミュニケーショングループ
情報処理学会
抄録
D-019
Event Calculusに基づく複合イベント処理について
◎
金山貴紀・石川佳治・杉浦健人（名大）
一階述語論理の一種であるEvent Calculusに基づく複合イベント処理について議論する．Event Calculusはイベントを論理的な枠組みで捉えるため，意味的な複合イベント処理が可能となる．複合イベント処理のフレームワークを示し，その実現手法について説明する．既存のデータストリーム管理システムとEvent Calculusを扱う推論器を用いた実装について述べる．
