Show all publications

Formal Specification of an Immune Based Agent Architecture

Open DOI PageDownload Bibliography in Open DocumentDownload Bibliography in HTMLDownload BibTeXDownload RISDownload Bibliographical Ontology (RDF)
Authors:
Details:
In Engineering Applications of Artificial Intelligence, vol. 23(4), pp. 505-513, 2010.
DOI: 10.1016/j.engappai.2009.12.003.
Abstract:
The natural immune system is a subject of great research interests because it provides powerful and flexible information processing capability as a decentra- lized intelligent system. The immune system constitutes an excellent model of adaptive cooperation at the local level and of emergent behaviour at the global level. These concepts can be applied in the Multi-Agent Systems field where au- tonomous agents interact in order to solve a common goal. There exists several theories to explain immunological phenomena and software models to simulate various components in the immune system. This paper presents a formal spe- cification of the idiotypic network theory viewed as an agent architecture. The specification gives a precise and non ambiguous description of this architecture which is validated through the automatic generation of traces and interesting properties are proven. This specification constitutes a starting point for un- derstanding, reuse and implementations of this architecture. The approach is illustrated with the robot soccer simulation example.
Keywords:
Artificial Immune System, Formal methods, Agent architecture
Publication Category:
International journal with reading committee
Copyright 2010-2018 © Laboratoire Électronique Informatique Image - Université Bourgogne Franche-Comté - Privacy policy