[論文レビュー] The Reaction RuleML Classification of the Event / Action / State Processing and Reasoning Space

Adrian Paschke|ArXiv.org|Nov 10, 2006

Logic, Reasoning, and Knowledge参考文献 54被引用数 8

ひとこと要約

この論文は、イベント、アクション、ステート処理における反応ルールを表現するためのXMLシリアル化言語であるReaction RuleMLを紹介する。本研究は、イベント駆動型推論における多様なアプローチを分類・統合し、ECAルールを時間的インターバルに基づく知識表現とトランザクション論理と統合することで、動的システムにおける意味的推論のためのコン pact で実用的なフレームワークを提供する。

ABSTRACT

Reaction RuleML is a general, practical, compact and user-friendly XML-serialized language for the family of reaction rules. In this white paper we give a review of the history of event / action /state processing and reaction rule approaches and systems in different domains, define basic concepts and give a classification of the event, action, state processing and reasoning space as well as a discussion of relevant / related work

研究の動機と目的

• 異なる分野におけるイベント、アクション、ステート処理の既存のアプローチを統一・分類すること。
• 動的システムにおけるイベント、アクション、ステートに関する推論のための整合的な概念的空間を定義すること。
• Reaction RuleMLを、標準的でコンパクトかつ使いやすい反応ルールを表現するための言語として導入すること。
• ECAルールを時間的インターバルに基づく知識表現とトランザクション更新論理と統合すること。
• イベント駆動型動的環境における推論のための形式的基盤を、標準化されたルール言語を用いて提供すること。

提案手法

• 反応ルールを標準形式で表現するためのXMLシリアル化言語としてReaction RuleMLを提唱する。
• その背後にある形式的枠組みに基づいて、イベント／アクション／ステート処理分野における既存のシステムやアプローチを分類する。
• ECA（イベント・条件・アクション）ルールを時間的インターバルに基づく知識表現と統合し、時間経過に伴うステートの変化をモデル化する。
• トランザクション更新論理とイベント駆動型ルール処理を組み合わせることで、状態保持型で持続的な推論を可能にする。
• 異なるシステムやモデルをイベント／アクション／ステート推論空間内でマッピング・関連付けるための形式的分類フレームワークを用いる。
• 概念的基盤、設計原則、システム統合パターンを提示するため、ホワイトペーパー形式を採用する。

実験結果

リサーチクエスチョン

• RQ1 イベント、アクション、ステート処理における多様なアプローチを体系的に分類し、関連付ける方法は何か？
• RQ2 イベント駆動型推論における統一ルール言語に必要な形式的および実用的要件は何か？
• RQ3 ECAルールをどのように拡張すれば、時間的およびトランザクション的意味論を備えた動的ステートの進化をモデル化できるか？
• RQ4 イベント処理に適したコンパクトで拡張可能かつ使いやすいXMLベースのルール言語の主な設計原則は何か？
• RQ5 反応ルールをどのように標準化し、異種のシステムや分野間で相互運用可能にするか？

主な発見

• Reaction RuleMLは、イベント駆動型システムにおける反応ルールを表現するための標準的でコンパクトかつ拡張可能なXMLベースの構文を提供する。
• 分類フレームワークは、イベント／アクション／ステート処理分野における多様なシステムやモデルを的確にマッピング・関連付けることに成功した。
• ECAルールと時間的インターバルに基づく知識表現の統合により、時間経過に伴うステート進化の正確なモデル化が可能になった。
• ECAルールとトランザクション更新論理の組み合わせにより、動的環境における持続的で状態保持型の推論が可能になった。
• 本アプローチにより、異なるアプリケーション分野間でルールベースのシステムの相互運用性と再利用性が実現された。
• ホワイトペーパーは、イベント駆動型意味的推論分野における将来の標準化およびツール開発の基盤を確立した。