基于矩阵运算的基于归结原理的自动推理算法,人工智能程序设计