符号主义学派，注重知识表达和逻辑推理，例如：知识图谱，专家系统等