标签: 建模与推理