人工智能学派符号主义的主要研究方法是（）

A.用仿生学的方法，通过研究人脑的工作模型，搞清人类智能的本质

B.应用进化论的思想进行人工智能的研究

C.研究逻辑演绎在计算机上的实现方