論文の概要: 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エンコーディングを提示する。
最後に,実験解析による有効性を示す。
関連論文リスト
- Tree-Planner: Efficient Close-loop Task Planning with Large Language
Models [65.16099990195016]
Tree-Plannerは、大きな言語モデルでタスクプランニングを3つの異なるフェーズに再構成する。
Tree-Plannerは高い効率を維持しながら最先端のパフォーマンスを実現する。
論文 参考訳(メタデータ) (2023-10-12T17:59:50Z) - BayOTIDE: Bayesian Online Multivariate Time series Imputation with
functional decomposition [32.949946593688864]
交通やエネルギーといった現実のシナリオでは、値やノイズが欠けている巨大な時系列データが広く観測され、不規則にサンプリングされる。
多くの計算法が提案されているが、そのほとんどは局所的な水平線で動作するため、長いシーケンスを適合サイズのパッチのバッチに分割することでモデルが訓練される。
ほとんど全ての手法は、観測は通常のタイムスタンプでサンプリングされ、異なるアプリケーションから生じる複雑な不規則なサンプル時系列を扱うことができないと仮定する。
論文 参考訳(メタデータ) (2023-08-28T21:17:12Z) - A Formal Metareasoning Model of Concurrent Planning and Execution [22.963769931698874]
この作業は、計画と実行を同時に行う、原則付きタイムアウェアエグゼクティブの基盤となるものです。
時間内に解決可能な特別事例を特定し, 欲求解アルゴリズムを開発し, 探索問題から抽出した事例を検証した結果, 有望な実用性を実現する方法がいくつか見出された。
論文 参考訳(メタデータ) (2023-03-05T13:05:26Z) - Continuous-time convolutions model of event sequences [53.36665135225617]
イベントシーケンスデータの巨大なサンプルは、eコマース、ヘルスケア、ファイナンスなど、さまざまなドメインで発生します。
利用可能なデータの量とクライアント毎のイベントシーケンスの長さは典型的には大きいため、長期的なモデリングが必要である。
時間内の事象の一様発生に適した連続畳み込みニューラルネットワークに基づくCOTIC法を提案する。
論文 参考訳(メタデータ) (2023-02-13T10:34:51Z) - Answer-Set Programming for Lexicographical Makespan Optimisation in
Parallel Machine Scheduling [18.286430978487388]
我々は、シーケンス依存のセットアップ時間とリリース日を持つ並列マシン上で、困難なスケジューリング問題に対処する。
個々のマシンを非到達順に配置し、結果として生じるロバスト性を語彙的に最小化する。
実験の結果,ASPは実際にこの問題に対して有望なKRRパラダイムであり,最先端のCPおよびMIPソルバと競合していることがわかった。
論文 参考訳(メタデータ) (2022-12-18T12:43:24Z) - 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) - A Multiperiod Workforce Scheduling and Routing Problem with Dependent
Tasks [0.0]
我々は新しいワークフォーススケジューリングとルーティング問題について研究する。
この問題では、顧客は企業からサービスを要求する。
サービスに属するタスクは異なるチームによって実行され、顧客は1日に1回以上訪問することができる。
論文 参考訳(メタデータ) (2020-08-06T19:31:55Z) - 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)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。