Abstract
Testing interactions in multi-agent systems is a complex task because of several reasons. Agents are distributed and can move through different nodes in a network, so their interactions can occur concurrently and from many different sites. Also, agents are autonomous entities with a variety of possible behaviours, which can evolve during their lives by adapting to changes in the environment and new interaction patterns. Furthermore, the number of agents can vary during system execution, from a few dozens to thousands or more. Therefore, the number of interactions can be huge and it is difficult to follow up their occurrence and relationships. In order to solve these issues we propose the use of a set of data mining tools, the ACLAnalyser, which processes the results of the execution of large scale multi-agent systems in a monitored environment. This has been integrated with an agent development toolset, the INGENIAS Development Kit, in order to facilitate the verification of multi-agent system models at the design level rather than at the programming level.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Bellifemine, F., Poggi, A., Rimassa, G.: Developing multi-agent systems with a FIPA compliant agent framework. Software Practice and Experience 31(2), 103–128 (2001)
Botía, J., Hernández, J.M., Gómez-Skarmeta, A.: Towards an approach for debugging MAS through the analysis of ACL messages. Computer Systems Science and Engineering 20 (2005)
Lam, D.N., Barber, K.S.: Comprehending agent software. In: Proc. of the Fourth Int. Joint Conference on Autonomous Agents and Multiagent Systems, pp. 586–593. ACM Press, New York (2005)
MacQueen, J.B.: Some methods for classification and analysis of multivariate observations. In: 5-th Berkeley Symposium on Mathematical Statistics and Probability, University of California Press, Berkeley (1967)
Müller, J.P.: The Design of Intelligent Agents. A Layered Approach. Springer, Heidelberg (1996)
Pavón, J., Gómez-Sanz, J., Fuentes, R.: The INGENIAS Methodology and Tools. In: Agent-Oriented Methodologies, pp. 236–276. Idea Group Publishing, USA (2005)
Poutakidis, D., Padgham, L., Winikoff, M.: Debugging multi-agent systems using design artifacts: The case of interaction protocols. In: AAMAS (2002)
Sudeikat, J., et al.: Validation of BDI Agents. In: Bordini, R.H., Dastani, M.M., Dix, J., El Fallah Seghrouchni, A. (eds.) PROMAS 2006. LNCS (LNAI), vol. 4411, pp. 185–200. Springer, Heidelberg (2007)
Wills, G., Keim, D.: Data Visualization for Domain Exploration. In: Handbook of Data Mining and Knowledge Discovery, pp. 226–232. Oxford University Press, Oxford (2002)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Botía, J.A., Gómez-Sanz, J.J., Pavón, J. (2006). Intelligent Data Analysis for the Verification of Multi-Agent Systems Interactions. In: Corchado, E., Yin, H., Botti, V., Fyfe, C. (eds) Intelligent Data Engineering and Automated Learning – IDEAL 2006. IDEAL 2006. Lecture Notes in Computer Science, vol 4224. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11875581_143
Download citation
DOI: https://doi.org/10.1007/11875581_143
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-45485-4
Online ISBN: 978-3-540-45487-8
eBook Packages: Computer ScienceComputer Science (R0)