A formal model of an artificial immune system

The paper presents a mathematical model based on the features of antigen-antibody bindings in the immune system. In the natural immune system, local binding of immune cells and molecules to antigenic peptides is based generally on the behavior of surface proteins. In particular, immune cells contain proteins on their receptors, and apparently, these proteins play the key role both in immune response and recognition processes. In this work, we consider the immune cells in the form of formal B-cell and formal T-cell and develop a mathematical model of their interactions. We refer this model as the formal immune system (FIS). The paper provides an analysis of a network of bindings (or interactions) among the formal proteins of the FIS.