5.2 基于符号逻辑的知识推理