Consistency-Based Configuration

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.