基于动态约束满足的组合模型库
Compositional Model Repositories via Dynamic Constraint Satisfaction with Order-of-Magnitude Preferences
摘要：
主要的基于知识的方法来自动化模型构造，组合建模，采用一组特定的功能组件的模型。它的推理机制采用描述系统的组成交互组件的场景，并将其转换为有用的数学模型。本文提出了一种新的组合建模方法，旨在建立模型库。它在两个方面推进了这一领域。首先，它扩展了组合建模的应用领域，系统，不能很容易地描述在相互作用的功能组件，如生态系统。其次，它能够将用户偏好纳入模型选择过程。这些功能是通过铸造的组合建模问题作为一个基于活动的动态偏好约束满足的问题，其中的动态约束描述的部分模型的组合施加的限制和偏好对应的自动建模的用户。此外，通过使用数量级不同的符号值来表示偏好级别。
英文摘要：
The predominant knowledge-based approach to automated model construction, compositional modelling, employs a set of models of particular functional components. Its inference mechanism takes a scenario describing the constituent interacting components of a system and translates it into a useful mathematical model. This paper presents a novel compositional modelling approach aimed at building model repositories. It furthers the field in two respects. Firstly, it expands the application domain of compositional modelling to systems that can not be easily described in terms of interacting functional components, such as ecological systems. Secondly, it enables the incorporation of user preferences into the model selection process. These features are achieved by casting the compositional modelling problem as an activity-based dynamic preference constraint satisfaction problem, where the dynamic constraints describe the restrictions imposed over the composition of partial models and the preferences correspond to those of the user of the automated modeller. In addition, the preference levels are represented through the use of symbolic values that differ in orders of magnitude.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
