Constructive problem solving : a model construction approach towards configuration
Constructive problem solving : a model construction approach towards configuration
复制标题
建设性问题解决：配置的模型构建方法
DOI：
--
复制
发表时间：
1995
期刊：
影响因子：
--
通讯作者：
W. Nutt
中科院分区：
文献类型：
--
作者：
M. Buchheit;R. Klein;W. Nutt
在本文中，我们给出了一个形式化的配置作为任务来构建一个给定的规范，这是理解为一个有限的逻辑公式，一个模型，满足规格。在这种方法中，规范由两部分组成。一部分描述了域、可能的组件以及它们之间的相互依赖关系。另一部分指定要配置的特定对象。用于表示有关配置问题的知识的语言集成了三个子语言，允许表达约束、建立分类和定义规则。我们给出了一个健全的演算，其中一个可以计算配置问题的解决方案，如果它们存在，并允许一个认识到，规范是不一致的。特别地，可以使用微积分来检查给定的配置是否满足规范。
In this paper we give a formalisation of configuration as the task to construct for a given specification, which is understood as a finite set of logical formulas, a model that satisfies the specification. In this approach, a specification consists of two parts. One part describes the domain, the possible components, and their interdependencies. The other part specifies the particular object that is to be configured. The language that is used to represent knowledge about configuration problems integrates three sublanguages that allow one to express constraints, to build up taxonomies, and to define rules. We give a sound calculus by which one can compute solutions to configuration problems if they exist and that allows one to recognize that a specification is inconsistent. In particular, the calculus can be used in order to check whether a given configuration satisfies the specification.