論文の概要: Robotic Planning under Hierarchical Temporal Logic Specifications
- arxiv url: http://arxiv.org/abs/2308.10393v1
- Date: Sun, 20 Aug 2023 23:53:13 GMT
- ステータス: 処理完了
- システム内更新日: 2023-08-22 15:37:48.474952
- Title: Robotic Planning under Hierarchical Temporal Logic Specifications
- Title(参考訳): 階層型時間論理仕様に基づくロボット計画
- Authors: Xusheng Luo, Shaojun Xu, Ruixuan Liu, Changliu Liu
- Abstract要約: 時間論理仕様を用いたロボット計画のための階層構造を提案する。
我々のモデルは、複数のレベルの構成仕様を持ち、より優れた構文的簡潔さ、より良い解釈可能性、より効率的なプランニングなどの利点を提供する。
シミュレーション実験の結果, 階層型の表現力の増強と提案手法の有効性が示された。
- 参考スコア(独自算出の注目度): 9.99593273031106
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: Past research into robotic planning with temporal logic specifications,
notably Linear Temporal Logic (LTL), was largely based on singular formulas for
individual or groups of robots. But with increasing task complexity, LTL
formulas unavoidably grow lengthy, complicating interpretation and
specification generation, and straining the computational capacities of the
planners. In order to maximize the potential of LTL specifications, we
capitalized on the intrinsic structure of tasks and introduced a hierarchical
structure to LTL specifications. In contrast to the "flat" structure, our
hierarchical model has multiple levels of compositional specifications and
offers benefits such as greater syntactic brevity, improved interpretability,
and more efficient planning. To address tasks under this hierarchical temporal
logic structure, we formulated a decomposition-based method. Each specification
is first broken down into a range of temporally interrelated sub-tasks. We
further mine the temporal relations among the sub-tasks of different
specifications within the hierarchy. Subsequently, a Mixed Integer Linear
Program is utilized to generate a spatio-temporal plan for each robot. Our
hierarchical LTL specifications were experimentally applied to domains of
robotic navigation and manipulation. Results from extensive simulation studies
illustrated both the enhanced expressive potential of the hierarchical form and
the efficacy of the proposed method.
- Abstract(参考訳): 時間論理仕様を用いたロボット計画に関する過去の研究、特に線形時間論理(LTL)は、主に個々のロボットやグループの特異な公式に基づいていた。
しかし、タスクの複雑さが増すにつれて、ltlの公式は避けられないほど長くなり、解釈や仕様作成を複雑にし、プランナーの計算能力に負担がかかる。
LTL仕様の可能性を最大化するために,タスクの本質的な構造に着目し,LTL仕様に階層構造を導入した。
フラットな構造とは対照的に、階層モデルは複数のレベルの構成仕様を持ち、より構文的簡潔さ、解釈可能性の向上、より効率的な計画などの利点を提供する。
この階層的時間論理構造の下でのタスクに対処するために,分解に基づく手法を定式化した。
各仕様は最初、時間的相互関係のサブタスクに分解される。
さらに,階層内の異なる仕様のサブタスク間の時間的関係についても考察する。
その後、混合整数線形プログラムを利用して各ロボットの時空間計画を生成する。
階層型ltl仕様はロボットナビゲーションと操作の領域に実験的に適用した。
大規模シミュレーション実験の結果,階層型の表現能力の向上と提案手法の有効性が示された。
関連論文リスト
- Optimal Integrated Task and Path Planning and Its Application to
Multi-Robot Pickup and Delivery [10.530860023128406]
本稿では,最適なタスクプランナと最適なパスプランナを組み合わせた,汎用的なマルチロボット計画機構を提案する。
統合プランナーは、タスクプランナーとパスプランナーの相互作用を通じて、ロボットに対して最適な衝突のない軌道を生成する。
論文 参考訳(メタデータ) (2024-03-02T17:48:40Z) - Simultaneous Task Allocation and Planning for Multi-Robots under
Hierarchical Temporal Logic Specifications [10.007538582534302]
構文と意味論の要件を持つ仕様に階層構造を導入し、それらがフラットな仕様よりも表現力が高いことを証明します。
我々は,マルチロボットシステムの計画の合成に探索に基づくアプローチを採用し,タスク割り当てと計画の同時実行を実現した。
論文 参考訳(メタデータ) (2024-01-08T16:35:13Z) - Learning adaptive planning representations with natural language
guidance [90.24449752926866]
本稿では,タスク固有の計画表現を自動構築するフレームワークであるAdaについて述べる。
Adaは、プランナー互換の高レベルアクション抽象化と、特定の計画タスク領域に適応した低レベルコントローラのライブラリを対話的に学習する。
論文 参考訳(メタデータ) (2023-12-13T23:35:31Z) - Conformal Temporal Logic Planning using Large Language Models [29.57952582715011]
本稿では,複数のハイレベルなサブタスクを遂行する移動ロボットの新たな動作計画問題に対処する。
これらのサブタスクは、時間的および論理的な順序で達成されるべきである。
我々の目標は、NLベースの原子命題に基づいて定義されたタスクを満たすロボットプランを設計することである。
論文 参考訳(メタデータ) (2023-09-18T19:05:25Z) - Robot Task Planning Based on Large Language Model Representing Knowledge
with Directed Graph Structures [2.3698227130544547]
本研究では,人間の専門知識をLLMと組み合わせたタスクプランニング手法を提案し,LLMプロンプトテンプレートであるThink_Net_Promptを設計した。
さらに,タスクを段階的に分解し,タスクツリーを生成して各タスクの計画量を削減する手法を提案する。
論文 参考訳(メタデータ) (2023-06-08T13:10:00Z) - Faith and Fate: Limits of Transformers on Compositionality [109.79516190693415]
3つの代表的構成課題にまたがる変圧器大言語モデルの限界について検討する。
これらのタスクは、問題をサブステップに分割し、これらのステップを正確な答えに合成する必要があります。
実験結果から,多段階合成推論を線形化部分グラフマッチングに還元することにより,トランスフォーマーLLMが構成課題を解くことが示唆された。
論文 参考訳(メタデータ) (2023-05-29T23:24:14Z) - Fast Inference and Transfer of Compositional Task Structures for
Few-shot Task Generalization [101.72755769194677]
本稿では,タスクがサブタスクグラフによって特徴づけられる,数発の強化学習問題として定式化する。
我々のマルチタスクサブタスクグラフ推論器(MTSGI)は、トレーニングタスクから、まず、サブタスクグラフの観点から、一般的なハイレベルなタスク構造を推測する。
提案手法は,2次元グリッドワールドおよび複雑なWebナビゲーション領域において,タスクの共通基盤構造を学習し,活用し,未知のタスクへの適応を高速化する。
論文 参考訳(メタデータ) (2022-05-25T10:44:25Z) - Procedures as Programs: Hierarchical Control of Situated Agents through
Natural Language [81.73820295186727]
エージェント命令と制御のための階層的な手続き的知識を表現する強力な手法である,プログラムとしての手続きの形式化を提案する。
NL命令に対するIQAおよびALFREDデータセット上で、このフレームワークをインスタンス化する。
論文 参考訳(メタデータ) (2021-09-16T20:36:21Z) - Multi-Agent Reinforcement Learning with Temporal Logic Specifications [65.79056365594654]
本研究では,時間論理仕様を満たすための学習課題を,未知の環境下でエージェントのグループで検討する。
我々は、時間論理仕様のための最初のマルチエージェント強化学習手法を開発した。
主アルゴリズムの正確性と収束性を保証する。
論文 参考訳(メタデータ) (2021-02-01T01:13:03Z) - Dynamic Multi-Robot Task Allocation under Uncertainty and Temporal
Constraints [52.58352707495122]
本稿では,不確実性およびマルチエージェント協調の下での逐次意思決定における重要な計算課題を分離するマルチロボット割当アルゴリズムを提案する。
都市におけるマルチアームコンベヤベルトピック・アンド・プレイスとマルチドローン配送ディスパッチの2つの異なる領域における広範囲なシミュレーション結果について検証を行った。
論文 参考訳(メタデータ) (2020-05-27T01:10:41Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。