Conceitos essenciais
時間の流れを部分順序で捉え、ASPでのルーティングとスケジューリング手法を提案。
Resumo
著者らは、時間の流れを部分順序で捉え、ASPでのルーティングとスケジューリング手法を提案。
ルーティングにおける代替手法が興味深く、スケジューリングにおいてもASPでは実現不可能な微細なタイミング表現が必要。
産業規模のアプリケーションにこの手法を適用し、効果的性能を示している。
経験的分析を通じて効果的性能を実証している。
基本概念と記号体系(Introduction)
ASPは到達可能性表現に優れており、多エージェントパスファインディング問題に対処するための主要候補。
ルーティングとスケジュール管理が組み合わさった場合、微細なタイミング表現が困難。
時間の流れは部分順序で捉えられ、上限バウンド不要。複数回発生する同じアクションやフルーエントは区別不能。
衝突フリーな計画(Routing and Scheduling)
部分順序に基づく新しいエンコード技術は競合フリーかつパスベース。
微細なタイミング制約は巧妙な外部制約処理によって解決される。
重み付きMAPF問題(Weighted MAPF)
重み付きグラフでは安全期間σが導入され、競合フリーかつパスベースな計画が求められる。
Estatísticas
"ASP (Lifschitz 2019) を利用したルーティングとスケジュール管理"
"多エージェントパスファインディング問題"
"複数回発生する同じアクションやフルーエントは区別不能"