論文の概要: Hierarchical Termination Analysis for Generalized Planning
- arxiv url: http://arxiv.org/abs/2212.02823v1
- Date: Tue, 6 Dec 2022 08:37:21 GMT
- ステータス: 処理完了
- システム内更新日: 2022-12-07 16:42:44.128016
- Title: Hierarchical Termination Analysis for Generalized Planning
- Title（参考訳）: 一般化計画のための階層的終了解析
- Authors: Siddharth Srivastava
- Abstract要約: 本稿では,潜在的に有用な汎用計画の解析と同定のための新しいアプローチを提案する。
グラフの解析に基づく古典的な結果に基づいて、新しいアルゴリズムにおいて、一般化されたプランをより小さなコンポーネントに分解する。
分析の結果,本手法は既存の手法よりもはるかに大規模な汎用計画の終了を効果的に識別できることが示唆された。
- 参考スコア（独自算出の注目度）: 26.288236123430117
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- Abstract: This paper presents a new approach for analyzing and identifying potentially
useful generalized plans. It presents a new conceptual framework along with an
algorithmic process for assessing termination and reachability related
properties of generalized plans. The presented framework builds upon classic
results on the analysis of graphs to decompose generalized plans into smaller
components in a novel algorithm for conducting a hierarchical analysis for
termination of arbitrary generalized plans. Theoretical analysis of the new
framework establishes soundness of the presented algorithms and shows how it
goes beyond existing approaches; empirical analysis illustrates the scope of
this approach. Our analysis shows that this new approach can effectively
identify termination for a significantly larger class of generalized plans than
was possible using existing methods.
- Abstract（参考訳）: 本稿では,潜在的に有用な汎用計画の解析と同定のための新しいアプローチを提案する。
一般化計画の終了と到達可能性に関する特性を評価するアルゴリズム的プロセスとともに,新しい概念的枠組みを提案する。
提案フレームワークは、任意の一般化計画の終了のための階層的解析を行う新しいアルゴリズムにおいて、一般化計画をより小さな構成要素に分解するグラフ解析に基づく古典的な結果に基づいている。
新しいフレームワークの理論的解析は、提示されたアルゴリズムの健全性を確立し、既存のアプローチを超えた方法を示す。
分析の結果,この新しい手法は既存手法よりもはるかに大きな汎用計画の終了を効果的に特定できることがわかった。
関連論文リスト
- Parallel Strategies for Best-First Generalized Planning [51.713634067802104]
汎用計画(GP)は、複数の古典的な計画インスタンスを解くことができるアルゴリズムのようなソリューションの自動合成を研究するAIの研究分野である。
現在の進歩の1つはBest-First Generalized Planning (BFGP) の導入である。
本稿では,並列探索手法をBFGPに適用し,性能ギャップを埋める上で重要な要素であることを示す。
論文 参考訳（メタデータ） (2024-07-31T09:50:22Z) - Simple Hierarchical Planning with Diffusion [54.48129192534653]
拡散に基づく生成法は、オフラインデータセットによる軌跡のモデリングに有効であることが証明されている。
階層型および拡散型プランニングの利点を組み合わせた高速かつ驚くほど効果的な計画手法である階層型ディフューザを導入する。
我々のモデルは、より高いレベルで「ジャンピー」な計画戦略を採用しており、より大きな受容場を持つことができるが、計算コストは低い。
論文 参考訳（メタデータ） (2024-01-05T05:28:40Z) - On the Prospects of Incorporating Large Language Models (LLMs) in
Automated Planning and Scheduling (APS) [23.024862968785147]
本稿では, LLMのユニークな応用に基づく8つのカテゴリを, 計画問題の諸側面に対処するために検討する。
我々のレビューから得られた重要な洞察は、LLMの真の可能性は、従来のシンボリックプランナーと統合されたときに広がります。
論文 参考訳（メタデータ） (2024-01-04T19:22:09Z) - Consciousness-Inspired Spatio-Temporal Abstractions for Better Generalization in Reinforcement Learning [83.41487567765871]
Skipperはモデルベースの強化学習フレームワークである。
これは、与えられたタスクをより小さく、より管理しやすいサブタスクに自動的に一般化する。
環境の関連部分には、スパースな意思決定と集中した抽象化を可能にする。
論文 参考訳（メタデータ） (2023-09-30T02:25:18Z) - Towards Ontology-Mediated Planning with OWL DL Ontologies (Extended
Version) [7.995360025953931]
本稿では,計画仕様とオントロジーを分離し,インターフェースを用いて連携する新しい手法を提案する。
これにより、計画の専門家は慣れ親しんだ形式主義で作業できるが、既存のドメインは専門家によって容易に統合され拡張できる。
既存の計画ツールで処理される古典的な計画問題に、全てを仲介する計画問題を書き換えることが目的だ。
論文 参考訳（メタデータ） (2023-08-16T08:05:53Z) - Forethought and Hindsight in Credit Assignment [62.05690959741223]
我々は、前向きモデルや後向きモデルによる後向き操作による予測として使われる計画の利益と特異性を理解するために活動する。
本稿では,予測を(再)評価すべき状態の選択に主眼を置いて,計画におけるモデルの利用について検討する。
論文 参考訳（メタデータ） (2020-10-26T16:00:47Z) - Divide-and-Conquer Monte Carlo Tree Search For Goal-Directed Planning [78.65083326918351]
暗黙的な逐次計画の仮定に代わるものを検討する。
本稿では,最適計画の近似を行うため,Divide-and-Conquer Monte Carlo Tree Search (DC-MCTS)を提案する。
計画順序に対するこのアルゴリズム的柔軟性は,グリッドワールドにおけるナビゲーションタスクの改善に繋がることを示す。
論文 参考訳（メタデータ） (2020-04-23T18:08:58Z) - STRIPS Action Discovery [67.73368413278631]
近年のアプローチでは、すべての中間状態が欠如している場合でも、アクションモデルを合成する古典的な計画が成功している。
アクションシグネチャが不明な場合に,従来のプランナーを用いてSTRIPSアクションモデルを教師なしで合成するアルゴリズムを提案する。
論文 参考訳（メタデータ） (2020-01-30T17:08:39Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。