这个有点向从符号推理切换到概率统计，然后又切换回符号推理的感觉；