[論文レビュー] The Dynamic Controllability of Conditional STNs with Uncertainty

Luke Hunsberger, Roberto Posenato+1 more|arXiv (Cornell University)|Dec 10, 2012

Constraint Satisfaction and Optimization参考文献 6被引用数 45

ひとこと要約

この論文は、作業の時間的制約、条件付き実行、不確実な所要時間を統合する形式的枠組みとして、不確実性を伴う条件付き単純時系列ネットワーク（CSTNU）を導入する。CSTNUの動的制御可能性を定義し、過去の観測に基づいてすべての制約を満たす戦略が存在するかどうかをチェックするための整合的な制約伝搬ルールを提示する。これは、STN、CSTP、STNUの先行研究を一般化するものである。

ABSTRACT

Recent attempts to automate business processes and medical-treatment processes have uncovered the need for a formal framework that can accommodate not only temporal constraints, but also observations and actions with uncontrollable durations. To meet this need, this paper defines a Conditional Simple Temporal Network with Uncertainty (CSTNU) that combines the simple temporal constraints from a Simple Temporal Network (STN) with the conditional nodes from a Conditional Simple Temporal Problem (CSTP) and the contingent links from a Simple Temporal Network with Uncertainty (STNU). A notion of dynamic controllability for a CSTNU is defined that generalizes the dynamic consistency of a CTP and the dynamic controllability of an STNU. The paper also presents some sound constraint-propagation rules for dynamic controllability that are expected to form the backbone of a dynamic-controllability-checking algorithm for CSTNUs.

研究の動機と目的

• ビジネスおよび医療ワークフローにおける時間的制約、不確実なタスク所要時間、条件付き分岐をモデル化する形式的枠組みの必要性に対処すること。
• 単純時系列ネットワーク（STN）、条件付き単純時系列問題（CSTP）、不確実性を伴う単純時系列ネットワーク（STNU）といった既存のモデルを統合し、一つの包括的で一貫した形式的体系に一般化すること。
• CSTNUの動的制御可能性を定義し、CSTPの動的整合性およびSTNUの動的制御可能性の一般化として位置づけ、不確実性下でも堅牢な実行を保証すること。
• CSTNUにおける動的制御可能性を効率的にチェックするためのアルゴリズム的検証を支援する整合的な制約伝搬ルールの開発。
• ワークフローにおける履歴依存的制御可能性とCSTNUにおける動的制御可能性の間の形式的関係を確立し、将来的に同値性を証明することを目的とする。

提案手法

• STNの拡張としてCSTNUを提案し、CSTP由来の条件付きノードとSTNU由来の連動リンクを統合することで、不確実性と条件付き実行をモデル化する。
• 制約を形式 (Y − X ≤ δ, α) として定義し、ここで α は制約が適用されるシナリオを制限する命題的ラベルである。
• 戦略が将来の不確実な所要時間や分岐選択に関係なく、過去の観測に基づくのみですべての制約を満たす必要があるという動的制御可能性の概念を導入する。
• 論理的依存関係に基づいて制約を再書き換えするラベル変更ルールを含む、制約伝搬ルールを開発する。
• ラベル変更ルールを適用してより強い制約を導出する：例えば、(X − p? ≤ −w, αβ) と組み合わせて (Y − X ≤ v, βγp) を、(Y − X ≤ v, αβγ) と (Y − X ≤ v, ¬αβγp) に置き換える。
• 論理的推論とシナリオベースの分析を用いて、伝搬ルールの整合性を証明し、導出された制約がすべての関連するシナリオで有効であることを保証する。

実験結果

リサーチクエスチョン

• RQ1 時間的制約、不確実な所要時間、および連動制約を統合的にモデル化できるように、時系列ネットワークをどのように拡張できるか？
• RQ2 不確実性と条件付き分岐が存在する状況下でも堅牢な実行を保証する、動的制御可能性の適切な一般化とは何か？
• RQ3 このような一般化されたネットワークにおける動的制御可能性を効率的にチェックできる制約伝搬ルールを設計できるか？
• RQ4 CSTNUにおける動的制御可能性条件は、CSTPにおける動的整合性およびSTNUにおける動的制御可能性という既存の概念とどのように関係するか？
• RQ5 ワークフローにおける履歴依存的制御可能性とCSTNUにおける動的制御可能性の間には、形式的に同値関係があるのだろうか？

主な発見

• CSTNUフレームワークは、時間的制約、条件付き実行、およびラベル化された制約を伴う連動リンクを統合することで、STN、CSTP、STNUを効果的に一般化している。
• CSTNUにおける動的制御可能性は、将来の不確実な所要時間や分岐結果に関係なく、過去の観測に基づく戦略がすべての制約を満たす可能性を保証する形で定義されている。
• ラベル変更ルールが整合的であることが証明された：もし (X − p? ≤ −w, αβ) と (Y − X ≤ v, βγp) が成り立つならば、αβγ が真であるすべてのシナリオで (Y − X ≤ v, αβγ) も成り立つ必要がある。
• 元の制約 (Y − X ≤ v, βγp) は、(Y − X ≤ v, αβγ) と (Y − X ≤ v, ¬αβγp) に置き換え可能であり、ラベルの包含関係により前者が優位である。
• ラベル変更を含む伝搬ルールは整合的であり、CSTNUにおける動的制御可能性のチェックを効率的に行うアルゴリズムの核となることが期待される。
• 本論文は、ワークフローが履歴依存的制御可能であるための必要十分条件が、その背後にあるCSTNUが動的制御可能であることであるという基礎を築いた。この同値性の証明は、将来的な研究を目的としている。