[論文レビュー] Composite Event Recognition for Maritime Monitoring (Industry Paper)

Manolis Pitsikalis, Alexander Artikis+4 more|arXiv (Cornell University)|Jun 24, 2019

Maritime Navigation and Safety被引用数 2

ひとこと要約

本論文では、実時間での船舶行動の危険・懸念・違法な行動を、形式的に規定された複合イベントを通じて検出するためのリアルタイム海上監視システムを提示する。本システムは、ドメインエキスパートが設計した海上パターンを活用することで、実際の船舶位置および地理的情報データストリーム上で、高い予測精度と計算効率を達成する。

ABSTRACT

Maritime monitoring systems support safe shipping as they allow for the real-time detection of dangerous, suspicious and illegal vessel activities. We present such a system using the Run-Time Event Calculus, a composite event recognition system with formal, declarative semantics. For effective recognition, we developed a library of maritime patterns in close collaboration with domain experts. We present a thorough evaluation of the system and the patterns both in terms of predictive accuracy and computational efficiency, using real-world datasets of vessel position streams and contextual geographical information

研究の動機と目的

• 海上環境における危険・懸念・違法な船舶行動をリアルタイムで検出するためのシステムを開発すること。
• ランタイム・イベント計算を用いて、信頼性があり解釈可能な検出が可能な形式的で宣言的意味論をイベント認識に確保すること。
• ドメインエキスパートと協働して検証された海上パターンのライブラリを構築し、複合イベント検出に用いること。
• 実際の船舶位置および地理的情報データを用いて、システムの予測精度と計算パフォーマンスを評価すること。

提案手法

• 本システムは、時間経過における複合イベント認識を目的とした、形式論理に基づくフレームワーク「ランタイム・イベント計算」を採用している。
• ドメインエキスパートと共同で開発された、海上に特化したイベントパターンのキュレート済みライブラリを用い、複雑な船舶行動をモデル化している。
• イベント検出は、文脈的な地理的情報で拡張されたリアルタイムの船舶位置ストリームの継続的分析によって駆動されている。
• システムは宣言的仕様によるイベント定義をサポートしており、正確で保守性の高いルール定義を可能としている。
• 認識処理はリアルタイムで実行され、ストリームデータおよびイベントパターンマッチングの効率的処理が可能である。

実験結果

リサーチクエスチョン

• RQ1 複合イベントをどのように形式的かつ宣言的にモデル化することで、リアルタイムでの複雑な海上脅威を検出できるか？
• RQ2 本システムは、実世界のデータを用いて、危険または違法な船舶行動をどれほど正確に同定できるか？
• RQ3 本システムは、大容量の船舶位置ストリームを処理する際、低レイテンシを維持しながらどれほど効率的に処理できるか？
• RQ4 ドメインエキスパートが設計した海上パターンは、関連するイベント意味論をどれほど効果的に捉えているか？

主な発見

• 形式的に規定されたパターンを用いることで、本システムは複雑な海上イベントの検出において高い予測精度を達成した。
• ランタイム・イベント計算により、形式的意味論を備えた信頼性があり解釈可能な複合イベント認識が可能になった。
• 本システムは強力な計算効率を示しており、大規模な船舶位置ストリームのリアルタイム処理に適している。
• ドメインエキスパートとの協働により、堅牢で意味的に意味のある海上イベントパターンのライブラリが構築された。