从研究的角度不同，对人工智能的研究可分两大阵营：（）和（）。其中（）的理论基础为数理逻辑。