Declarative & Procedural Goals in Intelligent Agent Systems