1.6 符号主义人工智能
符号主义的根本原理就是逻辑推理，逻辑推理的数学理论就是数理逻辑。
因此符号主义的人工智能就是基于数理逻辑的人工智能。
人的推理包括逻辑推理和直觉推理，人的推理是逻辑推理和直觉推理的结合。
显然，逻辑推理和直觉推理是不一样的，两者对人的学习都至关重要。
逻辑推理的数学理论是数理逻辑。然而，长期以来，没有一个直觉推理的数学理论。
为正确理解推理这一概念，这里提出：
定义 1.1 和定义 1.2 表明了逻辑推理和直觉推理的本质区别。定
义 1.1 和定义 1.2 同时还表明，建立推理的数学理论的一个不可逾越 的障碍是建立层谱抽象的数学理论。我们第一次建立了这样一个理论，具体参见本白皮书第十章。
一个基本观察是人的推理是逻辑推理和直觉推理的结合或融合。由于符号主义的人工智能就是基于逻辑推理的人工智能，符号主义的人工智能技术不可能实现直觉推理，从而不可能实现人的推理。这就是符号主义人工智能的根本缺陷。
然而我们并不知道：符号主义人工智能的边界在哪里？这仍然是一个重要的科学问题。