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

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

1 LAMSADE - Laboratoire d'analyse et modélisation de systèmes pour l'aide à la décision
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]; Modélisation et simulation; Système multi-agents [cs.MA]

Jérôme Lang, Bruno Zanuttini. Knowledge-Based Programs as Plans - The Complexity of Plan Verification -. Proc. 20th Conference on European Conference on Artificial Intelligence (ECAI 2012), Aug 2012, France. 6 p. ⟨hal-00944347⟩