单项选择题

A.源于数理逻辑
B.认为人的认知基元是符号
C.人工智能的核心问题是知识表示、知识推理
D.认为智能不需要知识、不需要表示、不需要推理