7.7 知识推理与知识计算