×

zbMATH — the first resource for mathematics

Towards a model for an immune system. (English) Zbl 1077.68784
Coello Coello, Carlos A. (ed.) et al., MICAI 2002: Advances in artificial intelligence. 2nd Mexican international conference, Mérida, Yucatán, Mexico, April 22–26, 2002. Proceedings. Berlin: Springer (ISBN 3-540-43475-5). Lect. Notes Comput. Sci. 2313, 401-410 (2002).
Summary: Immune systems of life forms have been a rich source of inspiration to computer scientists. Problem solving strategies, borrowing ideas from the immune system analogy, have been successfully applied to challenging problems of modern computing. However, no formal model of a typical immune system has so far been proposed. This paper reports on an experiment towards modelling an immune system using process algebra. Our model of the immune system separates individual components. Each element is specified in terms of its observable behaviour. This paper also provides a formal specification of some properties of an immune system, including robustness and self-stabilisation. It outlines the sort of mechanisms that are required to formally verify the resulting model.
For the entire collection see [Zbl 0992.00042].
MSC:
68T05 Learning and adaptive systems in artificial intelligence
92C50 Medical applications (general)
PDF BibTeX XML Cite
Full Text: Link