論文の概要: Execution Flexibility in Automated Planning: A Comparative Evaluation of Deordering and Reordering Strategies
- arxiv url: http://arxiv.org/abs/2609.16822v1
- Date: Tue, 15 Sep 2026 08:24:32 GMT
- ステータス: 翻訳完了
- システム内更新日: 2026-09-16 14:56:08.413091
- Title: Execution Flexibility in Automated Planning: A Comparative Evaluation of Deordering and Reordering Strategies
- Title（参考訳）: 自動計画における実行フレキシビリティ:デオーダとリオーダ戦略の比較評価
- Abstract要約: 本研究は, 部分順序計画, 生産者-消費者関係の形式化, および, 発注・再発注戦略など, 計画実行の柔軟性を高めるための概念について述べる。
順序付け、アクションハンドリング、パラメータハンドリング、計画構造、シーケンシャル、複雑さなどにわたってそれらの機能を分析し、ベンチマークでそれらを評価します。
中心的な発見は、ブロックレベルのグループ化とサブプラン置換によって因果依存性を再構築するブロックの順序付けに基づくアプローチは、最小順序付けの理論的保証にもかかわらず、MaxSATベースのアプローチを大幅に上回っていることである。
- 参考スコア（独自算出の注目度）: 0.5599792629509229
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: This study covers foundational concepts for enhancing plan-execution flexibility, including partial-order planning, the producer-consumer-threat formalism, and a range of deordering and reordering strategies. Creating a partial-order plan from a sequential one by removing unnecessary ordering constraints is a practical way to improve execution flexibility, and several methods have been proposed for this task. This study analyzes their capabilities across ordering, action handling, parameter handling, plan structure, concurrency, and complexity, and evaluates them against each other on a shared benchmark. The central finding is that block deordering-based approaches, which restructure causal dependencies through block-level grouping and subplan substitution, substantially outperform MaxSAT-based approaches despite the latter's theoretical guarantees of minimum reordering. The reason is structural: minimum reordering optimizes within the causal structure already present in the plan, whereas block deordering-based methods change that structure, exposing orderings that would otherwise appear necessary. A further distinction is practical: block deordering-based methods are anytime algorithms that always return a valid result, while MaxSAT-based methods fail entirely on a substantial portion of plans and offer no partial solution when they do. Block substitution further extends the parallel execution by formalizing non-concurrency constraints, though its impact is limited to domains with resource-based interactions. On efficiency, block deordering-based approaches achieve the highest flex gain per unit of computation time, while MaxSAT-based encodings incur large computational overhead.
- Abstract（参考訳）: 本研究は, 部分順序計画, 生産者-消費者関係の形式主義, 発注・再発注戦略など, 計画実行の柔軟性を高めるための基本概念について述べる。
不要な順序付け制約を取り除き、逐次的な順序付け計画を作成することは、実行の柔軟性を向上させるための実用的な方法であり、このタスクのためにいくつかの方法が提案されている。
本研究は、順序付け、アクションハンドリング、パラメータハンドリング、計画構造、並行処理、複雑度にわたってそれらの能力を分析し、共有ベンチマークでそれらを相互に評価する。
中心的な発見は、ブロックレベルのグループ化とサブプラン置換によって因果依存性を再構築するブロックの順序付けに基づくアプローチは、最小順序付けの理論的保証にもかかわらず、MaxSATベースのアプローチを大幅に上回っていることである。
最小の順序付けは計画にすでに存在する因果構造内で最適化されるのに対して、ブロックの順序付けに基づくメソッドはその構造を変え、それ以外は必要と思われる順序付けを公開する。
ブロックデオーダに基づくメソッドは、常に有効な結果を返すアルゴリズムであり、MaxSATベースのメソッドは、計画のかなりの部分で完全に失敗し、実行時に部分的な解決策を提供しない。
ブロック置換は、リソースベースの相互作用を持つドメインに限られるが、非並行性制約を形式化し、並列実行をさらに拡張する。
効率面では、ブロックデオーダに基づくアプローチは計算時間当たりの最大フレキシブルゲインを達成する一方、MaxSATベースのエンコーディングは計算オーバーヘッドが大きい。
関連論文リスト
- Programming over Thinking: Efficient and Robust Multi-Constraint Planning [54.77940831026738]
SCOPEは、クエリ固有の推論をジェネリックコード実行から切り離すフレームワークである。
SCOPEは、コストとレイテンシを下げながら最先端のパフォーマンスを達成する。
論文 参考訳（メタデータ） (2026-01-14T02:58:07Z) - A Clustering-Based Variable Ordering Framework for Relaxed Decision Diagrams for Maximum Weighted Independent Set Problem [4.312746668772342]
この研究は、変数順序付けのための新しいクラスタリングベースのフレームワークを導入する。
固定されていない変数の完全な集合に動的順序付けを適用する代わりに、最初にプリミティブ変数をクラスタに配置する。
次に、この構造分解を利用して順序付けプロセスの導出を行い、分割の探索空間を著しく削減する。
論文 参考訳（メタデータ） (2025-12-17T08:49:38Z) - DynaAct: Large Language Model Reasoning with Dynamic Action Spaces [58.298135359318024]
コンパクトなアクション空間を自動構築する新しいフレームワークtextscDynaActを提案する。
当社のアプローチは,大幅な遅延を発生させることなく,効率的な推論を維持しながら,全体的なパフォーマンスを著しく向上させる。
論文 参考訳（メタデータ） (2025-11-11T09:47:13Z) - PlanGEN: A Multi-Agent Framework for Generating Planning and Reasoning Trajectories for Complex Problem Solving [89.60370366013142]
制約,検証,選択という3つの重要な要素を持つモデルに依存しない,スケーラブルなエージェントフレームワークであるPlanGENを提案する。
具体的には、推論時間アルゴリズムの性能を向上させるために、制約誘導反復検証を提案する。
論文 参考訳（メタデータ） (2025-02-22T06:21:56Z) - Planning with OWL-DL Ontologies (Extended Version) [6.767885381740952]
フルパワー表現型DLをサポートするブラックボックスを提案する。
主要なアルゴリズムは、OWLによるPDDLへの計画仕様の書き直しに依存している。
いくつかのドメインからのベンチマークセットの実装を評価した。
論文 参考訳（メタデータ） (2024-08-14T13:27:02Z) - Improving Execution Concurrency in Partial-Order Plans via Block-Substitution [0.0]
部分順序計画 (Partial-Order Plan, POP) は2つのアクションを相互に順序付けせずに実現し、異なるシーケンスでのアクション実行の柔軟性を提供する。
この研究は、POPを並列計画に変換する非並行制約の条件を定式化する。
本アルゴリズムでは,ブロック内のコヒーレントな動作をカプセル化することにより,POPの順序付けを排除し,置換の候補部分計画としてブロックを利用する。
論文 参考訳（メタデータ） (2024-06-25T23:36:13Z) - Improving Plan Execution Flexibility using Block-Substitution [0.0]
AI計画における部分順序プランは、制約の少ない性質のため、実行の柔軟性を促進する。
プランの順序変更は、計画内の不要なアクション順序を削除し、プランの順序変更は、アクション順序の最小化のために任意に修正する。
本研究は,従来の計画整理・順序変更戦略とは対照的に,計画外の行動に代えて計画の柔軟性を向上させる。
論文 参考訳（メタデータ） (2024-06-05T09:30:48Z) - Object Representations as Fixed Points: Training Iterative Refinement
Algorithms with Implicit Differentiation [88.14365009076907]
反復的洗練は表現学習に有用なパラダイムである。
トレーニングの安定性とトラクタビリティを向上させる暗黙の差別化アプローチを開発する。
論文 参考訳（メタデータ） (2022-07-02T10:00:35Z) - On Constraints in First-Order Optimization: A View from Non-Smooth
Dynamical Systems [99.59934203759754]
本稿では,スムーズな制約付き最適化のための一階法について紹介する。
提案手法の2つの特徴は、実現可能な集合全体の投影や最適化が避けられることである。
結果として得られるアルゴリズムの手順は、制約が非線形であっても簡単に実装できる。
論文 参考訳（メタデータ） (2021-07-17T11:45:13Z) - Modularity in Reinforcement Learning via Algorithmic Independence in
Credit Assignment [79.5678820246642]
提案手法は, 事前決定の順序に対して, スパース変化のみを必要とする伝達問題に対して, 政策段階の手法よりも, より標本効率が高いことを示す。
我々は最近提案された社会的意思決定の枠組みをマルコフ決定プロセスよりもよりきめ細かい形式主義として一般化する。
論文 参考訳（メタデータ） (2021-06-28T21:29:13Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。