模型的演绎生成方法及模型生成系统

摘要

模型的演绎生成方法将模型分解为原子公式,以知识元的形式表示。按照集成规则,通过知识推理和与用户交互,生成满足用户要求的复合模型。模型的求解过程是语义树的匹配过程。应用这一方法开发的积木式模型生成系统,实现了在动态求解环境中生成模型的功能。