论文部分内容阅读
本文提出一种具有智能的积木式建模方法,将模型分解成基本单元,用原子公式表示其结构,并用谓词表示模型的基本要素,通过谓词演算产生复合模型,由关系框架把子模型连接在一起。积木式建模方法依靠建模知识库的支持。对于新的问题求解环境,系统具有学习的功能,使用户能在变化的环境中直接建模。从而体现了模型能跟踪环境变化的特点。
In this paper, a smart building block modeling method is proposed. The model is decomposed into basic units, the structure of which is expressed by atomic formula, the basic elements of the model are expressed by predicates, the compound model is generated by predicate calculus, and the sub-model is connected by together. Building block modeling methods rely on modeling knowledge base support. For a new problem solving environment, the system has a learning function that allows users to model directly in a changing environment. Thus reflecting the characteristics of the model can track changes in the environment.