Unifying and Certifying Top-Quality Planning

要約

実際のシナリオで計画ツールの利用が増えているため、複数の高品質な計画を作成することへの関心が高まっています。
その結果、最高品質の計画という一般的な枠組みの下に、それぞれ独自の定義を持つさまざまな計算問題が短期間に導入されました。
この研究では、既存の定義が支配関係に基づいて 1 つに統合できることを示します。
したがって、異なる計算問題は単に異なる支配関係に対応します。
統一された定義を考慮すると、解決不可能性と最適性に関する既存の認証を活用して、ソリューションの最高品質を認証できるようになりました。
我々は、既存の文献に見られるタスク変換をさまざまな最高品質の計画問題の効率的な認定に使用できることを示し、ループのない最高品質の計画を効率的に認定するための新しい変換を提案します。

要約(オリジナル)

The growing utilization of planning tools in practical scenarios has sparked an interest in generating multiple high-quality plans. Consequently, a range of computational problems under the general umbrella of top-quality planning were introduced over a short time period, each with its own definition. In this work, we show that the existing definitions can be unified into one, based on a dominance relation. The different computational problems, therefore, simply correspond to different dominance relations. Given the unified definition, we can now certify the top-quality of the solutions, leveraging existing certification of unsolvability and optimality. We show that task transformations found in the existing literature can be employed for the efficient certification of various top-quality planning problems and propose a novel transformation to efficiently certify loopless top-quality planning.

arxiv情報

提供元, 利用サービス

arxiv.jp, Google