6.2 基于符号的知识推理