Declarative planning in procedural agent architectures

Highlights：

• Our main contribution is a mapping between traditional generic agent languages (which serve as the blueprint for most modern agent languages) and classic planning formalisms.

• This gives an agent greater runtime flexibility, using its plan library and domain knowledge to respond quickly when possible, but planning when pre-encoded plan structures are insufficient.

• This paper expands on work in the context of BDI plan generation and plan library expansion, adding a formal underpinning to the planning architecture and detailing its properties.