[論文レビュー] Instantaneous Reaction-Time in Dynamic-Consistency Checking of Conditional Simple Temporal Networks -- Extended version with an Improved Upper Bound --

Massimo Cairo, Carlo Comin+1 more|arXiv (Cornell University)|Aug 14, 2016

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

ひとこと要約

本稿は、観測に対して即座に反応するインスタントリアクションタイムを有する条件付き単純時系列ネットワーク（CSTNs）における動的整合性の形式的概念、$π$-DCを導入する。$π$-DC-チェックのための最初の健全かつ完全なアルゴリズムを提示し、標準的なDC-チェックへの還元により、(擬似)単一指数的時間計算量を達成する。さらに、$1$-DCへの還元によって、$|Σ_P|\cdot|V|$の要因の性能向上を達成する。

ABSTRACT

CSTNs is a constraint-based graph-formalism for conditional temporal planning. In order to address the DC-Checking problem, in [Comin and Rizzi, TIME 2015] we introduced epsilon-DC (a refined, more realistic, notion of DC), and provided an algorithmic solution to it. The epsilon-DC notion is interesting per se, and the epsilon-DC-Checking algorithm in [Comin and Rizzi, TIME 2015] rests on the assumption that the reaction-time satisfies epsilon > 0; leaving unsolved the question of what happens when epsilon = 0. In this work, we introduce and study pi-DC, a sound notion of DC with an instantaneous reaction-time (i.e. one in which the planner can react to any observation at the same instant of time in which the observation is made). Firstly, we demonstrate by a counter-example that pi-DC is not equivalent to 0-DC, and that 0-DC is actually inadequate for modeling DC with an instantaneous reaction-time. This shows that the main results obtained in our previous work do not apply directly, as they were formulated, to the case of epsilon=0. Motivated by this observation, as a second contribution, our previous tools are extended in order to handle pi-DC, and the notion of ps-tree is introduced, also pointing out a relationship between pi-DC and HyTN-Consistency. Thirdly, a simple reduction from pi-DC-Checking to DC-Checking is identified. This allows us to design and to analyze the first sound-and-complete pi-DC-Checking procedure. Remarkably, the time complexity of the proposed algorithm remains (pseudo) singly-exponential in the number of propositional letters. Finally, it is observed that the technique can be leveraged to actually reduce from pi-DC to 1-DC, this allows us to further improve the exponents in the time complexity of pi-DC-Checking.

研究の動機と目的

• 条件付き単純時系列ネットワーク（CSTNs）におけるインスタントリアクションタイムを伴う意味のある動的整合性の概念を形式化すること。
• 先行研究が$ε > 0$を仮定していたというギャップを埋めるために、$ε = 0$のケースを分析し、インスタントリアクションのモデル化に不十分であることを示すこと。
• $π$-DC-チェックのための健全かつ完全なアルゴリズムを開発し、インスタントリアクション制約下での正しさを保証すること。
• $π$-DC-チェックを$1$-DC-チェックに還元することで時間計算量を改善し、$|Σ_P|\cdot|V|$の要因の向上を達成すること。

提案手法

• 観測に対して即座に反応できる新たな健全な動的整合性の概念$π$-DCを導入する。
• 反例を構築することで、$π$-DCが$0$-DCと同値でないことを示し、$0$-DCがインスタントリアクションを適切にモデル化できないことを証明する。
• psツリーの概念を定義し、$π$-DCの分析を支援するとともに、ハイパートイムネットワーク（HyTNs）における整合性と関連付ける。
• $π$-DCを標準的なDC-チェックに還元する手法を提案し、既存のDC-チェックアルゴリズムの再利用を可能にする。
• スケーリング技術を導入：CSTN内のすべての重みを要因$ξ = |Σ_P|\cdot|V|^2 + 1$でスケーリングすることで、$1$-DC-チェックへの還元を可能にする。
• 実行時間の衝突を回避するためのシフトパラメータ$\eta \in [0,1)$を計算し、スケーリングされた解から$π$-ESを正しく再構築できるようにする。

実験結果

リサーチクエスチョン

• RQ1 $0$-DCは、CSTNsにおけるインスタントリアクションタイムを伴う動的整合性の概念と同値か？
• RQ2 観測の直後に即座に反応するという条件のもとで、$π$-DC-チェックのための健全かつ完全なアルゴリズムを設計できるか？
• RQ3 $π$-DCから$1$-DC-チェックへの還元は、正しさを保持するとともに時間計算量を改善するか？
• RQ4 $π$-DC-チェックの時間計算量は、命題記号の数に関して(擬似)単一指数的時間内に抑えられるか？
• RQ5 有効な実行戦略の再構築を保証するためのシフトパラメータ$\eta$の計算コストはどの程度か？

主な発見

• 本稿では、$π$-DCが$0$-DCと同値でないことが確立され、$0$-DCは構造的制限によりインスタントリアクションタイムを適切にモデル化できないことが示された。
• 標準的なDC-チェックへの還元に基づき、$π$-DC-チェックのための健全かつ完全なアルゴリズムが開発された。
• アルゴリズムの時間計算量は、命題記号の数$|P|$に関して(擬似)単一指数的であり、先行研究と一致する。
• $π$-DCを$1$-DC-チェックに還元することにより、元の$π$-DC-チェック手法に比べて$|Σ_P|\cdot|V|$の要因の時間計算量の向上が達成された。
• シフトパラメータ$\eta$は$O(|Σ_P|\cdot|V|^2)$の時間で計算可能であり、有効な実行戦略の効率的再構築を可能にする。
• 提案手法により、すべての実行時間が正しくシフトされ、順序付けられ、インスタントリアクション制約下でも動的整合性が保持される。