[論文レビュー] Knowledge-Based Programs as Plans: Succinctness and the Complexity of Plan Existence

Jérôme Lang, Bruno Zanuttini|arXiv (Cornell University)|Oct 23, 2013

Logic, Reasoning, and Knowledge参考文献 5被引用数 9

ひとこと要約

この論文は、人工知能分野における知識ベースプログラム（KBPs）と従来の計画の関係を形式化し、KBPsが標準計画と比較して指数的により短く表現可能であることを示している一方で、実行時の計算コストが高くなることを明らかにした。KBPsが行動方針のコンパクトな表現としての理論的基盤を提供し、指数的かつ明確な短縮性のギャップを証明するとともに、不完全知識下での計画存在の計算複雑性を分析した。

ABSTRACT

Knowledge-based programs (KBPs) are high-level protocols describing the course of action an agent should perform as a function of its knowledge. The use of KBPs for expressing action policies in AI planning has been surprisingly overlooked. Given that to each KBP corresponds an equivalent plan and vice versa, KBPs are typically more succinct than standard plans, but imply more on-line computation time. Here we make this argument formal, and prove that there exists an exponential succinctness gap between knowledge-based programs and standard plans. Then we address the complexity of plan existence. Some results trivially follow from results already known from the literature on planning under incomplete knowledge, but many were unknown so far.

研究の動機と目的

• 知識ベースプログラム（KBPs）と従来の計画の間の同等性を形式化すること。
• 計画表現における短縮性と計算効率のトレードオフを調査すること。
• 不完全知識下での有効な計画が存在するかどうかを特定する問題の複雑性を分析すること。
• KBPsと標準計画の間の短縮性ギャップの理論的境界を確立すること。
• 不確実性下の計画において、KBPsを高水準な行動方針として使用するための形式的枠組みを提供すること。

提案手法

• エージェントの知識状態に基づいて行動を規定するプロトコルとしてKBPsを形式化すること。
• すべてのKBPが同等の標準計画に対応し、逆にすべての標準計画に対しても同等のKBPが存在することを証明し、双対写像を確立すること。
• 論理的および計算複雑性の技術を用いて、KBP表現と標準計画のサイズを比較すること。
• 不完全知識下での計画存在問題の複雑性を分析し、計画と知識論的論理の先行研究結果を活用すること。
• KBPsが標準計画と比較して指数的圧縮を達成できることを示すこと。
• TARK 2013および不完全知識下での計画に関する先行研究の結果を活用し、新たな複雑性境界を導出すること。

実験結果

リサーチクエスチョン

• RQ1 知識ベースプログラムは、標準計画と比較して、より短く表現可能か。もしそうなら、どの程度短くできるか？
• RQ2 KBPの実行に要する計算コストは、標準計画と比較してどの程度か？
• RQ3 特にKBP表現を用いる場合に、不完全知識下での計画存在の複雑性はどの程度か？
• RQ4 表現力とサイズの観点から、KBPsと標準計画の間に正式な関係は存在するか？
• RQ5 不完全知識下でも正しさを保ちながら、KBPsは計画表現のサイズをどの程度まで削減できるか？

主な発見

• 知識ベースプログラムと標準計画の間には指数的短縮性ギャップが存在し、KBPsは同じ計画を指数的に少ない記号数で表現可能である。
• KBPsは標準計画よりもコンパクトであるが、実行時にはより高い計算時間が必要となる。
• 不完全知識下での計画存在の複雑性は形式的に分析されており、一部の結果は計画と知識論的論理の先行研究に基づいている。
• 本論文は、KBPsが標準計画と意味論的に同等であるだけでなく、行動方針の表現としてより簡潔であることも確立した。
• 理論的枠組みにより、KBPsがAI計画における高水準で短縮された代替手段として機能可能であることが確認された。
• 形式的証明と、特にTARK 2013および関連する不完全知識下での計画研究に根ざした先行文献との関連性により、結果が裏付けられている。