对归纳推理建模