摘要： 数字序列抗原内部存在许多语义特征，针对抗原进行语义识别可以提高系统检测的准确性。基于抗原的相对时序关系，该文采用了一阶逻辑作为抗原和淋巴细胞的基本描述语言，以扩展逻辑程序构造淋巴细胞的时间语义逻辑模型，给出了淋巴细胞的逻辑表示形式。基于逻辑程序的稳定模型语义学，用稳定模型语义计算作为新的淋巴细胞的匹配算法。借鉴遗传归纳逻辑程序GILP 的基本思想，给出了新的淋巴细胞的演化算法。

关键词: 人工免疫；逻辑程序；异常检测

Abstract: There are many semantics in digit sequence antigen space. It can improve the accuracy of system detection to recognize upon the semantics of antigens. Based on the interval temporal of antigens, this paper founds a interval temporal model of lymphocytes with extended logic programming using first logic as description of antigens and lymphocytes. As the semantics model of logic program, the matching rule of new lymphocytes is to compute the stable model of lymphocytes and antigens. Based on GILP, this paper introduces an evolutionary algorithm of the new lymphocytes.

Key words: Artificial immunology; Logic programming; Anomaly-based detection