Paper Info
Title
Knowledge-Based Programs as Plans - The Complexity of Plan Verification.
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 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.
Year
DOI
Venue
2012
10.3233/978-1-61499-098-7-504
Frontiers in Artificial Intelligence and Applications
DocType
Volume
ISSN
Conference
242
0922-6389
Citations 
PageRank 
References 
8
0.51
7
Authors
2
Name
Order
Citations
PageRank
Jérôme Lang1867.04
Bruno Zanuttini228925.43