【题目】：1959年华裔科学家王浩用计算机证明了《数学原理》中全部150条一阶逻辑以及200条命题逻辑定理，其应用的人工智能方法属于（ ）。
A.符号主义
B.联结主义
C.行为主义
D.自由主义