3.2 建模自动推理机制概念模型的设计