SPARK is a new agent framework, being developed at the Artificial Intelligence Center of SRI International. Its design has been strongly influenced by its predecessor, PRS, and is based on the same Belief Desire Intention (BDI) model of rationality. The motivations for the development of SPARK include: support for development of large-scale agent applications, principled representation of procedures that will enable validation and automated synthesis, flexibility in the delivery platform ...