Knowledge-Based Programs as Plans - The Complexity of Plan Verification - (Extended Abstract)

Jérôme Lang (1) , Bruno Zanuttini (2)

1 MAD
2 Equipe MAD - Laboratoire GREYC - UMR6072

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.

Domaines: Intelligence artificielle [cs.AI]

Jérôme Lang, Bruno Zanuttini. Knowledge-Based Programs as Plans - The Complexity of Plan Verification - (Extended Abstract). Proc. 10th Conference on Logic and the Foundations of Game and Decision Theory (LOFT 2012), Jun 2012, Spain. 15 p. ⟨hal-00946845⟩