Temporal verification of reactive systems: safety
Temporal verification of reactive systems: safety
The Baldwin effect in the immune system: learning by somatic hypermutation
Adaptive individuals in evolving populations
RoboCup-97: Robot Soccer World Cup I
RoboCup-97: Robot Soccer World Cup I
Integrating Learning with Motor Schema-Based Control for a Robot Soccer Team
RoboCup-97: Robot Soccer World Cup I
Artificial immune systems---today and tomorrow
Natural Computing: an international journal
An adaptative agent architecture for holonic multi-agent systems
ACM Transactions on Autonomous and Adaptive Systems (TAAS)
Formal driven prototyping approach for multiagent systems
International Journal of Agent-Oriented Software Engineering
Theoretical advances in artificial immune systems
Theoretical Computer Science
Automatic Estimation of Camera Position in Robot Soccer
IMVIP '08 Proceedings of the 2008 International Machine Vision and Image Processing Conference
Programming Robosoccer agents by modeling human behavior
Expert Systems with Applications: An International Journal
Advances in artificial immune systems
IEEE Computational Intelligence Magazine
Heterogeneous formal specification based on Object-Z and statecharts: semantics and verification
Journal of Systems and Software
KES-AMSTA'11 Proceedings of the 5th KES international conference on Agent and multi-agent systems: technologies and applications
Intelligent machine agent architecture for adaptive control optimization of manufacturing processes
Advanced Engineering Informatics
Hi-index | 0.00 |
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.