摘要

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