英语翻译30.下面哪一个不是人工智能的主要应用领域.()A.模式识别 B.图灵测试 C.自动定理证明