基于数据归约的模型设计

作者：郭玉霞

来源：电脑编程技巧与维护, 2022, (01): 90-92.

DOI：10.16184/j.cnki.comprg.2022.01.004

• 模型
• 归约
• 归约查询
• 推理过程

讨论了模型管理系统设计中模型表示方法、模型操作的实现方法、模型执行的具体过程。提出了一个模型表示的形式化方法,通过可量化、可陈述化、可公式化描述使得模型表示与基于规则逻辑的数据表示、基于归约的推理过程相兼容。使用推理机制,作为模型处理的基础,提高了模型实例化的有效性。