[論文レビュー] A Temporal Logic for Uncertain Events and An Outline of A Possible Implementation in An Extension of PROLOG

Soumitra Dutta|arXiv (Cornell University)|Mar 27, 2013

Constraint Satisfaction and Optimization参考文献 9被引用数 4

ひとこと要約

本稿では、時間区間における出来事の発生可能性を表現するためにファジィ集合を用いることで、不確実な出来事に関する推論を可能にする時間論理を提案する。この論理は拡張されたPROLOGシステムと統合されており、ファジィ時間論理と論理プログラミングに裏付けられた一貫性があり、計算的に扱いやすい枠組みを通じて、不確実な出来事間の時間的関係に対する効果的な推論を可能にする。

ABSTRACT

There is uncertainty associated with the occurrence of many events in real life. In this paper we develop a temporal logic to deal with such uncertain events and outline a possible implementation in an extension of PROLOG. Events are represented as fuzzy sets with the membership function giving the possibility of occurrence of the event in a given interval of time. The developed temporal logic is simple but powerful. It can determine effectively the various temporal relations between uncertain events or their combinations. PROLOG provides a uniform substrate on which to effectively implement such a temporal logic for uncertain events

研究の動機と目的

• 時間の経過に伴って発生が不確実な出来事のモデル化と推論のための形式的枠組みを開発すること。
• 時間区間における出来事の発生可能性を表すために、メンバーシップ関数が発生の可能性の度合いを符号化するファジィ集合を用いること。
• 不確実な出来事間の時間的関係を効果的に計算できる、計算的に効率的な論理システムの設計。
• 知識表現と推論のための拡張PROLOG環境における論理の実装の概要。
• AIアプリケーションにおける不確実な時間的推論を処理するための一貫性があり、ルールベースの基盤を提供すること。

提案手法

• 出来事は時間区間上でファジィ集合としてモデル化され、メンバーシップ関数が各時刻における発生可能性を示す。
• 不確かな出来事間の時間的関係は、メンバーシップ関数へのファジィ論理演算を用いて導出される。
• 古典的時間論理を拡張し、出来事のタイミングにおける真の度合いと不確実性を扱えるようにする。
• ファジィ統合とファジィ推論規則を用いて、ファジィ時間的推論をサポートするPROLOGの拡張が提案される。
• ルールベースの枠組み内での論理的演繹を通じて、不確実な出来事の組み合わせに関する照会と推論が可能である。
• 実装は、PROLOGのパターンマッチングとバックトラッキングメカニズムを活用し、不確実性下での時間的関係の効率的計算を実現する。

実験結果

リサーチクエスチョン

• RQ1 どのようにして時間論理を拡張し、発生が不確実な出来事について効果的に推論できるようにするか？
• RQ2 時間区間における出来事の発生可能性を符号化するのに適した形式的表現は何か？
• RQ3 ファジィ集合をPROLOGのような論理プログラミング枠組みに統合し、不確実な時間的出来事をモデル化するにはどうすればよいか？
• RQ4 ファジィ論理を用いて、不確実な出来事間で効果的に計算可能な時間的関係は何か？
• RQ5 PROLOGの拡張は、不確実な時間的出来事に関する推論のための効率的で一貫性のある基盤を提供できるか？

主な発見

• 提案された時間論理は、ファジィメンバーシップ関数を用いて、出来事のタイミングにおける不確実性を効果的に捉え、推論可能である。
• 論理はファジィ集合演算を通じて、不確実な出来事間の時間的関係（例：前後、重複など）の計算を可能にする。
• 拡張されたPROLOGシステムとの統合により、不確実な時間的データに対する推論のための実用的で効率的なメカニズムが提供される。
• フレームワークは、不確実な出来事の組み合わせの推論を可能とし、複雑な時間的照会の評価を可能にする。
• ファジィ時間論理を論理プログラミング環境内で使用するというアプローチの実現可能性が示された。
• 実装は計算的に実行可能であり、効率的な推論を実現するためにPROLOGの既存の推論アーキテクチャを活用していることが示された。