Show all publications

Formal Specification of Holonic Multi-Agent Systems Framework

Download PDFDownload Bibliography in Open DocumentDownload Bibliography in HTMLDownload BibTeXDownload RISDownload Bibliographical Ontology (RDF)
Authors:
Details:
In Proc. of 5th International Conference on Computational Science- ICCS 2005, Lecture Notes in Computer Science 3516, Springer-Verlag, 2005.
ISBN 978-3-540-26044-8.
Abstract:
Even if software agents and multi-agent systems (MAS) are recognized as both useful abstractions and effective technologies for modeling and building complex distributed applications, they are still difficult to engineer. When massive number of autonomous components interact it is very difficult to predict the behavior of the system and guarantee that the desired functionalities will be fulfilled. Moreover, it seems improbable that a rigid unscalable organization could handle a real world problem. This paper presents a holonic framework where agents exhibit self-organization according to the tasks at hand. We specify formally this framework and prove some properties on the possible evolutions of these systems.
Keywords:
HolonicMulti -Agent Systems, self-organised system, formal specification, model checking
Publication Category:
International conference with proceedings
Copyright 2010-2019 © Laboratoire Connaissance et Intelligence Artificielle Distribu√©es - Université Bourgogne Franche-Comté - Privacy policy