In the present work the issue of decomposing a configuration problem is approached in a framework where the domain knowledge is represented in a structured way by using a KL-One like language and whole-part relations play a major role in defining the structure of the configurable objects. The representation formalism provides also a constraint language for expressing complex relations among components and subcomponents. The paper presents a notion of boundness among constraints which assures that two components not involved in a same set of bound constraints can be independently configured. The computation of {\em boundness} among constraints is the basis for partitioning constraints associated with each component to be configured. Such a partitioning induces a decomposition of the configuration problem into independent subproblems.

Problem Decomposition in Configuration

MAGRO, Diego;TORASSO, Pietro;ANSELMA, LUCA
2002

Abstract

In the present work the issue of decomposing a configuration problem is approached in a framework where the domain knowledge is represented in a structured way by using a KL-One like language and whole-part relations play a major role in defining the structure of the configurable objects. The representation formalism provides also a constraint language for expressing complex relations among components and subcomponents. The paper presents a notion of boundness among constraints which assures that two components not involved in a same set of bound constraints can be independently configured. The computation of {\em boundness} among constraints is the basis for partitioning constraints associated with each component to be configured. Such a partitioning induces a decomposition of the configuration problem into independent subproblems.
Configuration Workshop
Lione (Francia)
2002
Proc. Configuration Workshop held at ECAI 2002
ECAI
50
55
Configuration; Problem Decomposition; Interaction between Constraints
D. MAGRO; P. TORASSO; L. ANSELMA
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/2318/18701
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
social impact