離散PDDL+への時間的数値計画のコンパイル: 拡張版
arXiv cs.AI / 2026/3/13
📰 ニュースTools & Practical UsageModels & Research
要点
- 本論文は、継続的アクションを用いた時間的計画をPDDL+へ実用的にコンパイルし、アクションが自己重複しないという仮定のもとで意味論的忠実性を保持します。
- このコンパイルは多項式時間で実行され、計画の長さを一定係数の範囲で保持し、時間的計画をPDDL+へスケーラブルに翻訳できることを示します。
- 実験結果は、このアプローチが難度の高い時間的数値問題に対して現実的に有用であることを示しています。
- 本研究は、時間的数値計画と離散計画表現を結びつけることでPDDL+の有用性を拡張し、計画ツールや研究の方向性に影響を与える可能性があります。
要旨: PDDL+モデリング言語の導入以来、durative actions を用いた時間的計画（PDDL 2.1 におけるもの）はPDDL+へコンパイル可能であることが知られていた。しかし、それ以来、実用的なコンパイルは文献に示されていなかった。我々は、durative actions を含む時間的計画をPDDL+へ実用的にコンパイルし、意味論を完全に捉え、アクションの自己重複がないという仮定のみを前提とする。我々のコンパイルは多項式時間で、計画の長さを一定係数まで保持し、難易度の高い時間的数値問題に対して実用的な関連性があることを実験的に示している。
