Notes:
SPARK (SRI Procedural Agent Realization Kit) is an agent execution framework developed by SRI International to support intelligent assistants through procedural reasoning and task management. Designed as part of the DARPA-funded CALO (Cognitive Assistant that Learns and Organizes) project, SPARK integrates a Belief-Desire-Intention (BDI) model with a flexible plan execution engine capable of adapting to dynamic environments. It enables agents to carry out complex tasks by interpreting procedural models written in a portable process language (PPL) and executing them with real-time reactivity. SPARK supports modular agent behavior and explanation generation and has been deployed in applications such as the CALO Task Manager, PTIME (personal time management assistant), and proactive desktop assistants. It has also been used to explore agent teaming, mixed-initiative interaction, adjustable autonomy, and task explanation through integration with tools like Inference Web. Widely cited in multi-agent systems literature, SPARK serves as both a foundational execution component and a testbed for research into AI-assisted personal productivity tools.
Resources:
See also:
100 Best Intelligent Agent Videos | Artificial Intelligence Middleware
Balke, T., & Gilbert, N. (2014). How do agents make decisions? A survey. Journal of Artificial Societies and Social Simulation, 17(4). Retrieved from jasss.soc.surrey.ac.uk
Banda, S. R. (2011). Coordination of hierarchical command and control services [Doctoral dissertation, North Carolina A&T State University]. Digital Library.
Bergeron-Guyard, A., Lavigne, V., Poussart, D., Gouin, D., & others. (2014). Intelligence virtual analyst capability: Governing concepts and science and technology roadmap (Technical Report). Defense Technical Information Center.
Case, D. R. (2012). An animated pedagogical agent for assisting novice programmers within a desktop computer environment [Doctoral dissertation, Staffordshire University]. Staffordshire University Research Repository.
Glass, A. (2011). Explanation of adaptive systems [Doctoral dissertation]. Stanford University.
Glass, A., McGuinness, D. L., da Silva, P. P., & others. (2008). Trustable task processing systems. Künstliche Intelligenz, 22(2), 32-37.
Gou, Y. (n.d.). A computational framework for behaviour adaptation: The case for agents and business processes [Doctoral dissertation]. University of Wollongong Research Online.
Hussain, A. (2013). Personal smart assistant for digital media and advertisement [Doctoral dissertation]. University of Western Ontario.
Khan, B. A. (2011). Applying multi-agent software system to support citywide mobile learning [Master’s thesis]. Norwegian University of Science and Technology.
McGuinness, D. (2008). Development of semantic web-markup languages, web services, rules, explanation, querying, proof and reasoning (Technical Report). Defense Technical Information Center.
McGuinness, D. L., Glass, A., Wolverton, M., & others. (2007). Explaining task processing in cognitive assistants that learn. In AAAI Spring Symposium on Interaction Challenges for Intelligent Assistants (pp. 67-74). AAAI Press.
McGlothlin, D. E. (2018). Symbolic language improvements needed to facilitate neural human/computer communication protocols [Doctoral dissertation]. ProQuest Dissertations & Theses Global.
Morley, D., & Myers, K. (2004). The SPARK agent framework. In Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems (pp. 714-721). IEEE Computer Society.
Morley, D., & Myers, K. (2004). Balancing formal and practical concerns in agent design. In AAAI Workshop on Declarative Agent Languages and Technologies (pp. 1-8). AAAI Press.
Myers, K., Berry, P., Blythe, J., Conley, K., Gervasio, M., McGuinness, D. L., Morley, D., Pfeffer, A., Pollack, M., & Tambe, M. (2007). An intelligent personal assistant for task and time management. AI Magazine, 28(2), 47-61.
Pokahr, A., & Braubach, L. (2009). A survey of agent-oriented development tools. In Multi-Agent Programming: Languages, Tools and Applications (pp. 289-329). Springer.
Rendón Sallard, T., & Sànchez-Marrè, M. (2006). A review on multi-agent platforms and environmental decision support systems simulation tools (Technical Report). Universitat Politècnica de Catalunya.
Serban, R., Guo, H., & Salden, A. (2012). Common hybrid agent platform–sustaining the collective. In 2012 13th ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing (pp. 669-674). IEEE.
Subramanian, R. A., Kumar, S., & Cohen, P. R. (2006). Integrating joint intention theory, belief reasoning, and communicative action for generating team-oriented dialogue. In Proceedings of the National Conference on Artificial Intelligence (Vol. 21, pp. 1212-1218). AAAI Press.