SPARK (SRI Procedural Agent Realization Kit) is a new agent framework,
under development at the Artificial Intelligence Center of SRI International.
SPARK builds on the success of its predecessor, PRS,
and shares the same Belief Desire Intention (BDI) model of rationality.
SPARK has been developed to support the construction of large-scale, practical agent
systems, and contains sophisticated mechanisms for encoding and controlling
agent behavior. At the same time, SPARK has a well-defined semantic model
that is intended to support reasoning about the agents' knowledge and execution.
SPARK is available under the OSI-approved New BSD open-source license.
The SPARK IDE is also
available as a plug-in for the Eclipse