Formal specification of an immune based agent architecture

• Published in: Engineering applications of artificial intelligence Vol. 23; no. 4; pp. 505 - 513
• Main Authors: Hilaire, Vincent, Lauri, Fabrice, Gruer, Pablo, Koukam, Abderrafia, Rodriguez, Sebastian
• Format: Journal Article
• Language: English
• Published: Elsevier Ltd 01.06.2010
• Subjects: Agent architecture; Agent oriented software engineering; Agents (artificial intelligence); Architecture; Artificial immune system; Expert systems; Formal specification; Holonic multi-agent systems; Immune systems; Mathematical models; Robots; Specifications; Agent oriented software engineering; Holonic multi-agent systems; Agent architecture; Formal specification; Artificial immune system
• ISSN: 0952-1976; 1873-6769
• DOI: 10.1016/j.engappai.2009.12.003

The natural immune system is a subject of great research interests because it provides powerful and flexible information processing capability as a decentralized 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 autonomous 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 specification 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 understanding, reuse and implementations of this architecture. The approach is illustrated with the robot soccer simulation example.