用谓词和关系框架构造模型

本文根据对决策支持系统(DSS)的研究提出了用谓词和关系框架构造模型的方法,使模型能用推理的方法生成、更新或修改,并利用建模知识库解决建模活动中的非结构化问题。建模知识的特点是定量计算与定性分析的交融。我们给出了将陈述式推理程序和过程式程序相结合的知识表示方法来表示建模知识。这种模型表示方法,能增强模型对环境的跟踪能力和提高模型管理的智能水平。     

具有智能的积木式建模方法

本文提出一种具有智能的积木式建模方法,将模型分解成基本单元,用原子公式表示其结构,并用谓词表示模型的基本要素,通过谓词演算产生复合模型,由关系框架把子模型连接在一起。积木式建模方法依靠建模知识库的支持。对于新的问题求解环境,系统具有学习的功能,使用户能在变化的环境中直接建模。从而体现了模型能跟踪环境变化的特点。