模型优先推理

将问题表示与问题解决分开的范式。在推理之前，显式构建问题空间的模型。所有后续推理都严格在该模型内进行。