論文の概要: Flexible FOND Planning with Explicit Fairness Assumptions
- arxiv url: http://arxiv.org/abs/2103.08391v1
- Date: Mon, 15 Mar 2021 13:57:07 GMT
- ステータス: 処理完了
- システム内更新日: 2021-03-16 19:27:37.712487
- Title: Flexible FOND Planning with Explicit Fairness Assumptions
- Title（参考訳）: 明示的公平性を考慮したフレキシブルFOND計画
- Authors: Ivan D. Rodriguez and Blai Bonet and Sebastian Sardina and Hector
Geffner
- Abstract要約: 完全可観測型非決定論的計画(fond)において命題的目標条件に達する問題を考える。
強周期FOND計画とQNP計画はいずれもFOND計画の特別な事例であり、この形態の公平性を仮定して組み合わせることができる。
- 参考スコア（独自算出の注目度）: 16.654542986854896
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: We consider the problem of reaching a propositional goal condition in
fully-observable non-deterministic (FOND) planning under a general class of
fairness assumptions that are given explicitly. The fairness assumptions are of
the form A/B and say that state trajectories that contain infinite occurrences
of an action a from A in a state s and finite occurrence of actions from B,
must also contain infinite occurrences of action a in s followed by each one of
its possible outcomes. The infinite trajectories that violate this condition
are deemed as unfair, and the solutions are policies for which all the fair
trajectories reach a goal state. We show that strong and strong-cyclic FOND
planning, as well as QNP planning, a planning model introduced recently for
generalized planning, are all special cases of FOND planning with fairness
assumptions of this form which can also be combined. FOND+ planning, as this
form of planning is called, combines the syntax of FOND planning with some of
the versatility of LTL for expressing fairness constraints. A new planner is
implemented by reducing FOND+ planning to answer set programs, and the
performance of the planner is evaluated in comparison with FOND and QNP
planners, and LTL synthesis tools.
- Abstract（参考訳）: 完全可観測型非決定論的計画(fond)において、明確に与えられた公平性仮定の一般クラスの下で命題的目標条件に達する問題を考える。
公平性の仮定は A/B の形であり、状態 s における A からの作用の無限発生と B からの作用の有限発生を含む状態の軌跡は、その可能な結果のそれぞれが続く s における作用の無限発生も含まなければならない。
この条件に違反する無限軌跡は不公平と見なされ、解は全ての公正軌跡が目標状態に達するための方針である。
一般化計画のために最近導入された計画モデルであるQNP計画とともに、強大かつ強大なFOND計画が、この形態の公平性を仮定したFOND計画の特別な事例であることを示す。
FOND+プランニングは、この形式のプランニングと呼ばれ、FONDプランニングの構文と、フェアネス制約を表現するLTLの汎用性を組み合わせたものである。
セットプログラムに回答するためにFOND+計画を減らして新しいプランナを実装し、FONDおよびQNP計画者、およびLTL合成ツールと比較してプランナの性能を評価します。
関連論文リスト
- Randomized Transport Plans via Hierarchical Fully Probabilistic Design [1.9540085115923316]
バランスよく正規化されたマストランスポート計画の設計のための最適ランダム化戦略を開発した。
決定論的かつ規則化された最適輸送(OT)戦略を置き換えるもので、一定の等価な計画しか得られない。
HFPD-OTにより、より多様な契約のサブセットの募集が可能になる。
論文 参考訳（メタデータ） (2024-08-04T18:24:02Z) - PDDLEGO: Iterative Planning in Textual Environments [56.12148805913657]
テキスト環境における計画は、現在のモデルにおいても長年にわたる課題であることが示されている。
我々は,あるサブゴールの部分的な計画に導く計画表現を反復的に構築するPDDLEGOを提案する。
数ショットのPDDLEGOで作成するプランは,Coin Collectorシミュレーションでエンドツーエンドのプランを生成するよりも43%効率がよいことを示す。
論文 参考訳（メタデータ） (2024-05-30T08:01:20Z) - LLM-Assist: Enhancing Closed-Loop Planning with Language-Based Reasoning [65.86754998249224]
従来のルールベースプランナとLCMベースのプランナを併用した,新しいハイブリッドプランナを開発した。
当社のアプローチでは,既存のプランナが苦労する複雑なシナリオをナビゲートし,合理的なアウトプットを生成すると同時に,ルールベースのアプローチと連携して作業する。
論文 参考訳（メタデータ） (2023-12-30T02:53:45Z) - PRP Rebooted: Advancing the State of the Art in FOND Planning [20.36372743108606]
FONDプランニングは、ロボット計画から対話エージェント設計、リアクティブ合成に至るまで、一般的な計画パラダイムである。
本研究では,これまで最も強力なFONDプランナーの足跡を踏襲して,新たな最先端技術を確立する。
我々のプランナーであるPR2は、総合的なベンチマークスイートを表す18のドメインのうち17の領域において、4つの主要なFONDプランナーより決定的に優れています。
論文 参考訳（メタデータ） (2023-12-18T19:40:41Z) - Planning as In-Painting: A Diffusion-Based Embodied Task Planning
Framework for Environments under Uncertainty [56.30846158280031]
具体的AIのためのタスクプランニングは、最も難しい問題の1つだ。
In-paintingとしての計画」というタスク非依存の手法を提案する。
提案するフレームワークは,様々な具体的AIタスクにおいて,有望なパフォーマンスを実現する。
論文 参考訳（メタデータ） (2023-12-02T10:07:17Z) - Probabilistic contingent planning based on HTN for high-quality plans [8.23558342809427]
本稿では,HTNプランナとして High-Quality Contingent Planner (HQCP) を提案する。
HQCPは、部分的に観測可能な環境で高品質な計画を生成する。
HTN計画の形式は部分的な可観測性に拡張され、コストについて評価される。
論文 参考訳（メタデータ） (2023-08-14T03:55:14Z) - Lifted Sequential Planning with Lazy Constraint Generation Solvers [28.405198103927955]
本稿では,Lzy Clause Generation(LCG)に基づく制約プログラミング(CP)へのアプローチを用いて,オープンな可能性について検討する。
本稿では,いわゆるリフト型因果エンコーディングに基づく新しいCPモデルを提案する。
提案手法は,計画手順の少ない計画インスタンスに対して,最適な逐次計画における最先端の手法と非常によく比較可能であることを報告する。
論文 参考訳（メタデータ） (2023-07-17T04:54:58Z) - AdaPlanner: Adaptive Planning from Feedback with Language Models [56.367020818139665]
大規模言語モデル(LLM)は、最近、シーケンシャルな意思決定タスクの自律的エージェントとして機能する可能性を実証している。
本研究では,LLMエージェントが環境フィードバックに応じて自己生成計画を適応的に改善することのできるクローズドループアプローチであるAdaPlannerを提案する。
幻覚を緩和するために,様々なタスク,環境,エージェント機能にまたがる計画生成を容易にするコードスタイルのLCMプロンプト構造を開発した。
論文 参考訳（メタデータ） (2023-05-26T05:52:27Z) - Semantic Probabilistic Layers for Neuro-Symbolic Learning [83.25785999205932]
我々は構造化出力予測(SOP)のための予測層を設計する。
予測が事前に定義されたシンボリック制約のセットと一致していることを保証するため、任意のニューラルネットワークにプラグインすることができる。
我々のセマンティック確率層(SPL)は、構造化された出力空間上で複雑な相関や制約をモデル化することができる。
論文 参考訳（メタデータ） (2022-06-01T12:02:38Z) - 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)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。