Abstract
Nowadays agent-oriented software engineering methodologies emphasize the importance of the environment in which a multiagent system (MAS) operate. Meanwhile, they do not propose any diagram to represent the environment and its effects on the MAS. So, we propose two diagrams that can be introduced in agent-oriented methodologies: an environment diagram representing environment evolution over time, and an agent diagram showing the MAS organization according to the agents’ roles and their relationships. Furthermore, many model checking techniques were defined to validate whether a MAS will solve the problem for which it is designed. However, these techniques do not consider the environment in their checking procedure. We propose a Situation Event Logic, an extension of modal logic, in which modal operators have a well defined scope over a set of situations. This logic is used to represent and infer knowledge from the environment and agent diagrams.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Bernon., C., Gleizes., G., Peyruqueou., S., Picard., G. ADELF, a Methodology for Adaptive Multi-Agent Systems Engineering. Workshop Notes of the Third International Workshop Engineering Societies in the agents world, 16–17 September 2002, Madrid, Spain, pp. 21–34.
Groe., G. State Event Logic. Phd thesis, Technical University Darmstadt. Darmstadt, Germany, 1996.
Hughes. G. E. et Cresswell. M. J.. An Introduction nto Modal Logic. Eds. Methuen and Co Ltd, 1968.
Iglesias., C. A., and Garijo., M., and Gonzales., J. C., and Velasco., R. Analysis and Design of Multi-Agent Systems using MAS-CommonKADS. In proceedings of the AAAI’97 Workshop on agent Theories, Architectures and Languages, Providence, USA, July, 1997.
Lespérance., Y., and Shapiro., S. On Agent-Oriented Requirements Engineering. Position paper for the Agent Oriented Information Systems (AOIS’99), Heidelberg, June 99, Germany.
Lespérance., Y., Kelley.,. G., Mylopoulos., J., and Yu., E. S. K. Modeling Dynamic Domains with ConGoLog. Advanced Information Systems Engineering. Proceedings of the 11th International Conference, CAiSE-99, Heidelberg, Germany, June 1999, LNCS vol. 1626, Springer-Verlag, Berlin. pp. 365–380.
Levesque., H., and Pirri., F., and Reiter., R. Foundations for the Situation Calculus. Linkoping Electronic Articles in Computer and Information Science, volume 3, 1998. http://www.ep.liu.se/ea/cis/1998/018.
McCarthy., J. Situation Calculus With Concurrent Events and Narrative. http://www-formal.stanford.edu/jmc/narrative/narrative.html, 2000.
Mellouli., S., Mineau., G., and Pascot., D. The Integrated Modeling of Multi-agent Systems and their Environment. In Proceedings of the First International Conference on Autonomous Agents and Multi-Agent Systems 2002 (AAMAS 2002), 15–19 July 2002, Bologna, Italy. (to appear).
Mellouli., S., Mineau., G., and Pascot., D. Multi-Agent System Design. In workshop notes of the Third International workshop Engineering Societies in the Agents World, 16–17 September 2002, Madrid, Spain. pp 127–138.
Odell., J., Parunak., V. D. H., and Bauer., B. Extending UML for Agents. Proceedings of the Agent-Oriented Information Systems Workshop at the 17th National Conference on Artificial Intelligence, Austin, Tx, pp 3–17, AOIS Workshop at AAAI 2000.
Omicini., A. SODA: Societies and Infrastructures in the Analysis and Design of Agent-based systems. Agent Oriented Software Engineering Workshop, 10 June 2000, Limerick, Ireland, pp 185–193.
Stone., P., Balch., T. and Kreatzschmarr., G. RoboCup-2000: Robot Soccer World Cup IV. SpringerVerlag, Berlin, 2001.
Wooldridge., M., and Jennings., N. R., and Kinny., D. The Gaia Methodology for Agent-Oriented Analysis and Design. Journal of Autonomous Agents and Multi-Agent Systems 3(3).
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2003 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Mellouli, S., Mineau, G., Moulin, B. (2003). Situation Event Logic for Early Validation of Multi-Agent Systems. In: Xiang, Y., Chaib-draa, B. (eds) Advances in Artificial Intelligence. Canadian AI 2003. Lecture Notes in Computer Science, vol 2671. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-44886-1_28
Download citation
DOI: https://doi.org/10.1007/3-540-44886-1_28
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-40300-5
Online ISBN: 978-3-540-44886-0
eBook Packages: Springer Book Archive