Abstract
As agent systems become more sophisticated, there is a growing need for agent-oriented debugging, maintenance, and testing methods and tools. This paper presents the Tracing Method and accompanying Tracer tool to help debug agents by explaining actual agent behavior in the implemented system. The Tracing Method captures dynamic run-time data by logging actual agent behavior, creates modeled interpretations in terms of agent concepts (e.g. beliefs, goals, and intentions), and analyzes those models to gain insight into both the design and the implemented agent behavior. An implementation of the Tracing Method is the Tracer tool, which is demonstrated in a target-monitoring domain. The Tracer tool can help (1) determine if agent design specifications are correctly implemented and guide debugging efforts and (2) discover and examine motivations for agent behaviors such as beliefs, communications, and intentions.
Access provided by Autonomous University of Puebla. Download to read the full chapter text
Chapter PDF
Similar content being viewed by others
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
Wooldridge, M., Jennings, N.R., Kinny, D.: The GAIA methodology for agent-oriented analysis and design. Journal of Autonomous Agents and Multi-Agent Systems 3, 285–312 (2000)
DeLoach, S.A., Wood, M.F., Sparkman, C.H.: Multiagent systems engineering. International Journal of Software Engineering and Knowledge Engineering 11, 231–258 (2001); World Scientific Publishing Company
Dignum, V., Vazquez-Salceda, J., Dignum, F.: OMNI: Introducing social structure, norms and ontologies into agent organizations. In: Second International Workshop on Programming Multi-Agent Systems at the Third International Joint Conference on Autonomous Agents and Multi-Agent Systems, New York, NY, pp. 91–102 (2004)
JADE: Java agent development framework (2000), http://sharon.cselt.it/projects/jade/
Nwana, H.S., Ndumu, D.T., Lee, L.C., Collis, J.C.: ZEUS: A toolkit for building distributed multi-agent systems. In: Etzioni, O., Muller, J.P., Bradshaw, J.M. (eds.) Third International Conference on Autonomous Agents, Seattle, WA, pp. 360–361. ACM Press, New York (1999)
Poslad, S., Buckle, P., Hadingham, R.: The FIPA-OS agent platform: Open source for open standards. In: Fifth International Conference and Exhibition on the Practical Application of Intelligent Agents and Multi-Agents, Manchestor, UK, pp. 355–368 (2000)
Gasser, L., Braganza, C., Herman, N.: MACE: A flexible testbed for distributed AI research. In: Huhns, M.N. (ed.) Distributed Artificial Intelligence, pp. 119–152. Morgan Kaufmann, San Mateo (1987)
Doi, T., Yoshioka, N., Tahara, Y., Honiden, S.: Bridging the gap between AUML and implementation using FOPL. In: Second International Workshop on Programming Multi-Agent Systems at the Third International Joint Conference on Autonomous Agents and Multi-Agent Systems, New York, NY, pp. 69–78 (2004)
Braubach, L., Pokahr, A., Lamersdorf, W., Moldt, D.: Goal representation for BDI agent systems. In: Second International Workshop on Programming Multi-Agent Systems at the Third International Joint Conference on Autonomous Agents and Multi-Agent Systems, New York, NY, pp. 9–20 (2004)
Jennings, N.R.: Agent-oriented software engineering. In: Garijo, F.J., Boman, M. (eds.) MAAMAW 1999. LNCS, vol. 1647, pp. 1–7. Springer, Heidelberg (1999)
Ross, R., Collier, R., O’Hare, G.M.: AF-APL – bridging principles & practice in agent oriented languages. In: Second International Workshop on Programming Multi-Agent Systems at the Third International Joint Conference on Autonomous Agents and Multi-Agent Systems, New York, NY, pp. 21–33 (2004)
Suna, A., Fallah-Seghrouchni, A.E.: A mobile agents platform: Architecture, mobility and security elements. In: Second International Workshop on Programming Multi-Agent Systems at the Third International Joint Conference on Autonomous Agents and Multi-Agent Systems, New York, NY, pp. 57–66 (2004)
Devanbu, P.T.: GENOA- a customizable, language- and front-end independent code analyzer. In: Fourteenth International Conference on Software Engineering, Melbourne, Australia, pp. 307–319 (1992)
Biggerstaff, T.J., Mitbander, B.G., Webster, D.: Program understanding and the concept assignment problem. Communications of the ACM 37, 72–83 (1994)
Barber, K.S., Lam, D.: Enabling abductive reasoning for agent software comprehension. In: 18th International Joint Conference on Artificial Intelligence Workshop on Agents and Automated Reasoning, Acapulco, Mexico, pp. 7–13 (2003)
Sun Microsystems, Inc.: Java Logging API (2002), http://java.sun.com/j2se/1.4/docs/guide/util/logging
Grahlmann, B., Pohl, C.: Profiting from SPIN in PEP. In: SPIN 1998 Workshop (1998)
Bose, P.: Automated translation of uml models of architectures for verification and simulation using SPIN. In: IEEE International Conference on Automated Software Engineering, pp. 102–109 (1999)
Barber, K.S., Graser, T.J., Holt, J.: Providing early feedback in the development cycle through automated application of model checking to software architectures. In: 16th International Conference on Automated Software Engineering, San Diego, CA, pp. 341–345 (2001)
Bordini, R.H., Fisher, M., Pardavila, C., Wooldridge, M.: Model checking AgentSpeak. In: Rosenschein, J.S., Sandholm, T., Michael, W., Yokoo, M. (eds.) Second International Joint Conference on Autonomous Agents and Multi-Agent Systems, Melbourne, Australia, pp. 409–416. ACM Press, New York (2003)
Edmonds, B., Bryson, J.: The insufficiency of formal design methods. In: Third International Joint Conference on Autonomous Agents and Multi-Agent Systems, pp. 938–946 (2004)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Lam, D.N., Barber, K.S. (2005). Debugging Agent Behavior in an Implemented Agent System. In: Bordini, R.H., Dastani, M., Dix, J., El Fallah Seghrouchni, A. (eds) Programming Multi-Agent Systems. ProMAS 2004. Lecture Notes in Computer Science(), vol 3346. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-32260-3_6
Download citation
DOI: https://doi.org/10.1007/978-3-540-32260-3_6
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-24559-9
Online ISBN: 978-3-540-32260-3
eBook Packages: Computer ScienceComputer Science (R0)