决策支持系统的建模新方法：谓词与关系框架结合

该论文研究论文名为"用谓词和关系框架构造模型",主要针对决策支持系统的模型生成和管理进行深入探讨。作者汪时萍和夏安邦提出了一种创新的方法，即利用谓词逻辑和关系框架来构建模型，以便于模型的推理生成、更新和修改。这种方法旨在解决建模过程中遇到的非结构化问题，强调模型知识库在处理定量计算和定性分析融合的建模知识中的作用。 论文的核心内容首先介绍了决策支持系统的基本构成及其模型生成单元的重要性，特别强调了在不断变化的环境中动态构造适应性的模型需求，这需要引入人机交互和智能学习技术。为了实现这一点，作者提出了一种新的模型表示方法，它将模型分解为基本公式，每个公式采用谓词形式表达，这样可以保持模型组件的独立性，便于根据不同情况灵活调整。这种关系框架结构不仅增强了模型对环境变化的追踪能力，也提高了模型管理的智能化水平。 论文还提及了前人的研究成果，例如使用谓词演算表达建模知识以及将数据库管理技术引入模型管理，这些都是人工智能技术的应用实例。然而，本文的方法进一步发展了这些思路，提供了更为灵活和高效的方式来构建和管理模型，以满足现代决策支持系统的需求。 这篇论文为决策支持系统的模型设计提供了一种创新且实用的方法论，对于推动人工智能在模型构建领域的应用和发展具有重要意义。通过理解和应用论文中的概念和技术，可以提升决策支持系统的智能化程度，使其在实际应用中更具适应性和有效性。