符号主义认为人工智能源于()。A. 数理逻辑B. 神经网络C. 信息检索D. 遗传算法

符号主义是人工智能领域的重要学派，其核心观点是通过符号操作实现智能。该学派强调使用形式化的符号系统（如数理逻辑）来表示知识，并通过规则进行推理和计算。因此，数理逻辑作为符号操作的理论基础，是符号主义的起源关键。

选项分析

• A. 数理逻辑：符号主义依赖形式化的符号系统，而数理逻辑提供了严格的逻辑推理框架（如命题逻辑、谓词逻辑），是符号操作的直接基础。
• B. 神经网络：属于连接主义学派，强调模拟人脑神经网络，与符号主义对立。
• C. 信息检索：属于计算机应用领域，与符号主义的逻辑基础无关。
• D. 遗传算法：属于进化计算技术，基于生物进化原理，与符号操作无直接联系。

结论

符号主义的理论根基是数理逻辑，因此正确答案为A。