[論文レビュー] A Situation Calculus-based Approach To Model Ubiquitous Information Services

Wenyu Dong, Ke Xu+1 more|ArXiv.org|Nov 28, 2003

Logic, Reasoning, and Knowledge参考文献 14被引用数 11

ひとこと要約

本稿は、自律的でありながらも情報サービスを提供するユビキタス環境をモデル化するための拡張された状況計算フレームワークを提案する。進化に必要な状態変化を捉えるために決定的フラウエンツを導入し、有効性に基づくサービスポリシーを統合する。本手法の有効性を検証するため、文脈に応じたカレンダーサービス（ACS）を用いて実証し、決定論的アクションと有効性を保証するポリシーが、動的環境下での自律的かつアプリケーション固有の意思決定を可能にすることを示している。

ABSTRACT

This paper presents an augmented situation calculus-based approach to model autonomous computing paradigm in ubiquitous information services. To make it practical for commercial development and easier to support autonomous paradigm imposed by ubiquitous information services, we made improvements based on Reiter's standard situation calculus. First we explore the inherent relationship between fluents and evolution: since not all fluents contribute to systems' evolution and some fluents can be derived from some others, we define those fluents that are sufficient and necessary to determine evolutional potential as decisive fluents, and then we prove that their successor states wrt to deterministic complex actions satisfy Markov property. Then, within the calculus framework we build, we introduce validity theory to model the autonomous services with application-specific validity requirements, including: validity fluents to axiomatize validity requirements, heuristic multiple alternative service choices ranging from complete acceptance, partial acceptance, to complete rejection, and validity-ensured policy to comprise such alternative service choices into organic, autonomously-computable services. Our approach is demonstrated by a ubiquitous calendaring service, ACS, throughout the paper.

研究の動機と目的

• システムが動的で文脈に依存する環境に適応する必要がある、ユビキタス情報サービスにおける自律的行動のモデリングという課題に取り組む。
• 標準的な状況計算の限界を克服するため、システムの進化に必要かつ十分なフラウエンツを同定する。
• アプリケーション固有の制約やサービスポリシーをモデル化するための有効性理論を導入する。
• 有効性条件に基づくヒューリスティックなサービス選択（完全、部分的、または拒否）を通じて、自律的意思決定を可能にする。
• 実世界の事例として、ユビクアスコンピューティングにおける適応型カレンダーサービス（ACS）を用いて、実用的適用性を示す。

提案手法

• システムの進化可能性を決定するのに必要かつ十分であるフラウエンツを「決定的フラウエンツ」と定義する。
• 決定論的複合アクション下での決定的フラウエンツの後続状態が、マルコフ性を満たすことを証明し、記憶のない状態遷移を保証する。
• アプリケーション固有の制約とサービス要件を形式的に公理化するための「有効性フラウエンツ」を導入する。
• 複数のサービス選択（完全、部分的、または拒否）を有効性条件に基づいて統合する「有効性を保証するポリシー」メカニズムを開発する。
• 状況計算と有効性理論を組み合わせた形式的微積分フレームワークを構築し、動的環境下での自律的行動をモデル化する。
• フレームワークを事例研究に適用：ユビクアスカレンダーサービス（ACS）を用い、アクションと有効性ルールがサービスの適応をどのように制御するかを示す。

実験結果

リサーチクエスチョン

• RQ1 状況計算は、動的文脈を伴うユビクアス情報サービスにおける自律的行動をモデル化するために、どのように拡張可能か？
• RQ2 システムの進化を決定づけるために不可欠なフラウエンツは何か？ そして、それらは形式的にどのように同定され、分離可能か？
• RQ3 アクションに基づく推論に有効性制約を形式的に統合することで、サービスの正しさと適応性を保証するにはどうすればよいか？
• RQ4 部分的または完全なサービス拒否といった、さまざまな有効性条件下での自律的意思決定を可能にするメカニズムは何か？
• RQ5 提案されたフレームワークは、文脈に応じたカレンダーサービスのような実世界のユビクアスサービスに実用的に適用可能か？

主な発見

• 本稿は、「決定的フラウエンツ」を明確に同定し、形式的に定式化した。これは、システムの進化を決定づける最小限の状態変数集合であり、効率的な推論を可能にする。
• 決定論的アクション下での決定的フラウエンツの後続状態がマルコフ性を満たすことを証明した。これにより、本フレームワークが確率的および動的推論と整合することを保証する。
• 有効性フラウエンツと有効性を保証するポリシーの統合により、文脈的制約に基づくサービス受容、拒否、または部分的履行を体系的かつ整合的に扱えるようになった。
• 本手法は、実際に動作するユビクアスカレンダーサービス（ACS）のモデルを通じて実証された。動的で文脈に依存する条件下での自律的意思決定の仕組みが明確に示された。
• 本フレームワークは、アプリケーション固有のポリシーと制約を明確にサポートする、形式的かつ拡張可能な基盤を提供する。これは、ユビクアスコンピューティングにおける自律的サービスのモデリングに好適である。