Abstract
In this article, it is shown how the behaviour of a multi-agent system can be validated thanks to proof. At first, the method used is briefly presented [10]. Then, the variant notion is presented and an extension of this notion to prove MAS is introduced. In the third part, the proof technique is illustrated for the prey-predator problem: the behaviour of the predators can be induced from the failures in the proof process.
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
Bernon, C., Camps, V., Gleizes, M.-P., Picard, G.: Deigning agents’behaviours within the framework of adelfe methodology. In: Fourth International Workshop Engineering societies in the agents world (2003)
Bordini, R.H., Fisher, M., Visser, W., Wooldridge, M.: Verifiable multi-agent programs. In: Dastani, M., Dix, J., El Fallah Seghrouchni, A. (eds.) ProMAS (2004)
Daouas, T., Ghedira, K., Müller, J.-P.: A distributed approach for the flow shop problem. In: 3rd Interrnational conference on AI and applications, Le caire, Egypte (1995)
Demazeau, Y.: La plate-forme paco et ses applications. In: PRC-IA, editor, 2ème journée nationale du PRC-IA sur les systèmes multi-agents (1993)
d’Inverno, M., Kinny, D., Luck, M., Wooldridge, M.: A Formal Specification of dMARS. In: Rao, A., Singh, M.P., Wooldridge, M.J. (eds.) ATAL 1997. LNCS, vol. 1365, pp. 155–176. Springer, Heidelberg (1998)
Drogoul, A., Ferrand, N., Müller, J.-P.: Emergence: l’articulation du local au global. ARAGO 29, 105–135 (2004)
Ferber, J.: Les systèmes multi-agents. InterEditions (1995)
Fisher, M.: A survey of concurrent METATEM – the language and its applications. In: Gabbay, D.M., Ohlbach, H.J. (eds.) ICTL 1994. LNCS, vol. 827, pp. 480–505. Springer, Heidelberg (1994)
Georgé, J.-P.: The amas theory for complex problem solving based on self-organising cooperative agents. In: First European Workshop on Multi-Agents Systems (2003)
Simon, G., Flouret, M., Mermet, B.: A methodology to solve optimisation problems with MAS, application to the graph coloring problem. In: Scott, D. (ed.) AIMSA 2002. LNCS (LNAI), vol. 2443, p. 162. Springer, Heidelberg (2002)
Wooldridge, M., Jennings, N.R.: Pitfalls of agent-oriented development. In: Sycara, K.P., Wooldridge, M. (eds.) Proceedings of the 2nd International Conference on Autonomous Agents (Agents 1998), New York, 9-13, pp. 385–391. ACM Press, New York (1998)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2004 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Mermet, B., Fournier, D. (2004). Variant Extensions to Prove MAS Behaviours. In: Bussler, C., Fensel, D. (eds) Artificial Intelligence: Methodology, Systems, and Applications. AIMSA 2004. Lecture Notes in Computer Science(), vol 3192. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-30106-6_42
Download citation
DOI: https://doi.org/10.1007/978-3-540-30106-6_42
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-22959-9
Online ISBN: 978-3-540-30106-6
eBook Packages: Springer Book Archive