Consistency-Based Configuration
Consistency-Based Configuration
复制标题
基于一致性的配置
DOI：
--
复制
发表时间：
1999
期刊：
影响因子：
--
通讯作者：
G. Friedrich
中科院分区：
文献类型：
--
作者：
G. Friedrich;M. Stumptner;G. Friedrich
自动配置的研究是知识系统的一个传统的核心应用领域，其商业相关性正在增加，但不存在普遍同意的基本形式表示方案。基于一个小的简化的例子，采取了一个部署的配置应用程序的知识库，我们描述了配置知识的基础上类比经典的一致性诊断方法。配置问题是用描述零件库和需求集的逻辑理论形式化描述的，配置是满足零件库和需求的一组组件和连接。我们提出了一个“参考算法”inanalogto标准的HS-Dag诊断算法，并显示如何基于CSP的配置表示可以表示的一致性为基础的表示。该表示的各个部分在商业COCOS配置工具所使用的表示语言中具有直接对应物。
Research in automated configuration is a traditional core application area for knowledge-based systems that is increasing in commercial relevance, but there exists no generally agreed basic for- mal representation scheme. Based on a small simplified example taken out of the knowledge base of an deployed configuration appli- cation, we describe a configuration knowledge based on an analogy to the classic consistency based diagnosis approach. A configuration problem is formally described in terms of a logic theory that depicts a part library and set of requirements, and a configuration is a set of components and connections that satisfy the library and require- ments. Wepropose a "reference algorithm" inanalogy tothe standard HS-Dag diagnosis algorithm and show how CSP-based configuration representations can be expressed in terms of the consistency-based representation. The various parts of that representation possess direct counterparts in the representation language used by the commercial COCOS configuration tool.