Knowledge-Based Programs as Plans - The Complexity of Plan Verification

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 underlooked. Given that to each KBP corresponds an equivalent plan and vice versa, KBPs are typically more succinct than standard plans, but imply more online computation time. Here we compare KBPs and standard plans according to succinctness and to the complexity of plan verification.

Authors

• Jérôme Lang
• Bruno Zanuttini

Keywords

No keywords are indexed for this paper.