論文の概要: Routing and Scheduling in Answer Set Programming applied to Multi-Agent Path Finding: Preliminary Report
- arxiv url: http://arxiv.org/abs/2403.12153v1
- Date: Mon, 18 Mar 2024 18:09:47 GMT
- ステータス: 処理完了
- システム内更新日: 2024-03-20 18:31:46.205459
- Title: Routing and Scheduling in Answer Set Programming applied to Multi-Agent Path Finding: Preliminary Report
- Title（参考訳）: 多元経路探索に応用した解集合プログラミングにおけるルーティングとスケジューリング:予備報告
- Authors: Roland Kaminski, Torsten Schaub, Tran Cao Son, Jiří Švancara, Philipp Wanko,
- Abstract要約: We present alternative approach to routing and schedule in Answer Set Programming (ASP)
その考え方は、アクションや流線型に付随する時間ステップではなく、部分的な順序で時間の流れを捉えることである。
これはまた、計画の長さの固定された上界の必要性を廃止する。
- 参考スコア（独自算出の注目度）: 1.2864531964337733
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: We present alternative approaches to routing and scheduling in Answer Set Programming (ASP), and explore them in the context of Multi-agent Path Finding. The idea is to capture the flow of time in terms of partial orders rather than time steps attached to actions and fluents. This also abolishes the need for fixed upper bounds on the length of plans. The trade-off for this avoidance is that (parts of) temporal trajectories must be acyclic, since multiple occurrences of the same action or fluent cannot be distinguished anymore. While this approach provides an interesting alternative for modeling routing, it is without alternative for scheduling since fine-grained timings cannot be represented in ASP in a feasible way. This is different for partial orders that can be efficiently handled by external means such as acyclicity and difference constraints. We formally elaborate upon this idea and present several resulting ASP encodings. Finally, we demonstrate their effectiveness via an empirical analysis.
- Abstract（参考訳）: 本稿では、ASP(Answer Set Programming)におけるルーティングとスケジューリングの代替手法を提案し、マルチエージェントパス探索の文脈でそれらを探索する。
その考え方は、アクションや流動性に付随する時間ステップではなく、部分的な順序で時間の流れを捉えることである。
これはまた、計画の長さの固定された上界の必要性を廃止する。
この回避のトレードオフは、(一部)時間軌道は、同じ作用や流線型の複数の発生がもはや区別できないため、非循環でなければならないことである。
このアプローチはルーティングをモデリングする興味深い代替手段を提供するが、きめ細かいタイミングをASP.NETで表現できないため、スケジューリングの代替にはならない。
これは、非巡回性や差分制約といった外部手段で効率的に処理できる部分順序に対して異なる。
我々はこのアイデアを正式に詳述し、いくつかのASPエンコーディングを提示する。
最後に,実験解析による有効性を示す。
関連論文リスト
- Diffusion Meets Options: Hierarchical Generative Skill Composition for Temporally-Extended Tasks [12.239868705130178]
線形時間論理(LTL)によって規定された命令に基づいて計画の生成と更新を行うデータ駆動階層型フレームワークを提案する。
提案手法は,オフラインの非専門家データセットから階層的強化学習を用いて,時間的タスクを選択肢の連鎖に分解する。
バッチ生成における行列誘導後サンプリング手法を考案し,拡散生成オプションの速度と多様性を向上する。
論文 参考訳（メタデータ） (2024-10-03T11:10:37Z) - Temporally Grounding Instructional Diagrams in Unconstrained Videos [51.85805768507356]
本稿では,ビデオ中の命令図中のクエリ列を同時にローカライズするという課題について検討する。
既存のほとんどのメソッドは、クエリの固有の構造を無視しながら、一度に1つのクエリをグラウンドすることに焦点を当てている。
ステップダイアグラムの視覚的特徴を包括的にペアリングして構築した複合クエリを提案する。
ステップ図のグラウンド化のためのIAWデータセットと自然言語クエリのグラウンド化のためのYouCook2ベンチマークに対するアプローチの有効性を示す。
論文 参考訳（メタデータ） (2024-07-16T05:44:30Z) - Deciphering Movement: Unified Trajectory Generation Model for Multi-Agent [53.637837706712794]
任意の軌道をマスク入力として処理する統一軌道生成モデルUniTrajを提案する。
具体的には,空間特徴抽出のためのトランスフォーマーエンコーダ内に埋め込まれたゴースト空間マスキング(GSM)モジュールを導入する。
バスケットボール-U,サッカー-U,サッカー-Uの3つの実用的なスポーツゲームデータセットをベンチマークして評価を行った。
論文 参考訳（メタデータ） (2024-05-27T22:15:23Z) - A Formal Metareasoning Model of Concurrent Planning and Execution [22.963769931698874]
この作業は、計画と実行を同時に行う、原則付きタイムアウェアエグゼクティブの基盤となるものです。
時間内に解決可能な特別事例を特定し, 欲求解アルゴリズムを開発し, 探索問題から抽出した事例を検証した結果, 有望な実用性を実現する方法がいくつか見出された。
論文 参考訳（メタデータ） (2023-03-05T13:05:26Z) - Answer-Set Programming for Lexicographical Makespan Optimisation in
Parallel Machine Scheduling [18.286430978487388]
我々は、シーケンス依存のセットアップ時間とリリース日を持つ並列マシン上で、困難なスケジューリング問題に対処する。
個々のマシンを非到達順に配置し、結果として生じるロバスト性を語彙的に最小化する。
実験の結果,ASPは実際にこの問題に対して有望なKRRパラダイムであり,最先端のCPおよびMIPソルバと競合していることがわかった。
論文 参考訳（メタデータ） (2022-12-18T12:43:24Z) - Decomposition Strategies and Multi-shot ASP Solving for Job-shop Scheduling [7.977161233209228]
ジョブショップスケジューリング問題(JSP、Job-shop Scheduling Problem)は、ジョブを含むタスクをできるだけ早く完了するように、マシンを共有するタスクをシーケンスに配置する、よく知られた、困難な最適化問題である。
本稿では,ASP(Multi-shot Answer Set Programming)の解法を用いて,操作を逐次スケジュールし,最適化可能な時間窓への問題分解について検討する。
論文 参考訳（メタデータ） (2022-05-16T09:33:00Z) - Better than the Best: Gradient-based Improper Reinforcement Learning for
Network Scheduling [60.48359567964899]
パケット遅延を最小限に抑えるため,制約付き待ち行列ネットワークにおけるスケジューリングの問題を考える。
我々は、利用可能な原子ポリシーよりも優れたスケジューラを生成するポリシー勾配に基づく強化学習アルゴリズムを使用する。
論文 参考訳（メタデータ） (2021-05-01T10:18:34Z) - A Feedback Scheme to Reorder a Multi-Agent Execution Schedule by
Persistently Optimizing a Switchable Action Dependency Graph [65.70656676650391]
複数の自動誘導車両 (AGV) が共通作業空間をナビゲートし, 様々な作業を行う。
一つのアプローチは、Action Dependency Graph (ADG)を構築し、そのルートに沿って進むとAGVの順序を符号化する。
ワークスペースが人間やサードパーティロボットのような動的障害によって共有されている場合、AGVは大きな遅延を経験することができる。
本稿では,各AGVの経路完了時間を最小限に抑えるために,非循環ADGを繰り返し修正するオンライン手法を提案する。
論文 参考訳（メタデータ） (2020-10-11T14:39:50Z) - Dynamic Multi-Robot Task Allocation under Uncertainty and Temporal
Constraints [52.58352707495122]
本稿では,不確実性およびマルチエージェント協調の下での逐次意思決定における重要な計算課題を分離するマルチロボット割当アルゴリズムを提案する。
都市におけるマルチアームコンベヤベルトピック・アンド・プレイスとマルチドローン配送ディスパッチの2つの異なる領域における広範囲なシミュレーション結果について検証を行った。
論文 参考訳（メタデータ） (2020-05-27T01:10:41Z) - Query Resolution for Conversational Search with Limited Supervision [63.131221660019776]
本稿では,双方向トランスフォーマに基づくニューラルクエリ解決モデルQuReTeCを提案する。
我々はQuReTeCが最先端モデルより優れており、また、QuReTeCのトレーニングに必要な人為的なデータ量を大幅に削減するために、我々の遠隔監視手法が有効であることを示す。
論文 参考訳（メタデータ） (2020-05-24T11:37:22Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。