Presentation
Structural Constraint-Based Modeling and Reasoning with Basic Configuration Cells
Author/s | Martínez Gasca, Rafael
Ortega Ramírez, Juan Antonio Toro Bonilla, Miguel |
Department | Universidad de Sevilla. Departamento de Lenguajes y Sistemas Informáticos |
Publication Date | 2001 |
Deposit Date | 2017-11-03 |
Published in |
|
ISBN/ISSN | 978-3-540-42863-3 0302-9743 |
Abstract | Configuration tasks are an important application area in engineering
design. The proposed solving techniques use either a constraintbased
framework or a logic-based approach. We propose a methodology
to obtains desired ... Configuration tasks are an important application area in engineering design. The proposed solving techniques use either a constraintbased framework or a logic-based approach. We propose a methodology to obtains desired configuration using basic configuration cells(BCC). They are built by means of the predefined components and connections of the given configuration problem. In practical applications of configuration tasks the BCCs and configuration goals are represented according to object-oriented programming paradigm. They are mapped into a numeric constraint satisfaction problem. The transformation of a basic configuration cell into a new one generates a sequence of numeric constraint satisfaction problems. We propose an algorithm that solves this sequence of problems in order to obtain a configuration solution according to the desired requirements or that detects inconsistencies in the requirements. The integration of objectoriented and constraint programming paradigms allows us to achieve a synergy that produces results that could not be obtained if each one were working individually. |
Citation | Martínez Gasca, R., Ortega Ramírez, J.A. y Toro Bonilla, M. (2001). Structural Constraint-Based Modeling and Reasoning with Basic Configuration Cells. En CP 2001: 7th International Conference on Principles and Practice of Constraint Programming (595-599), Paphos, Cyprus: Springer. |
Files | Size | Format | View | Description |
---|---|---|---|---|
Structural Constraint-Based ... | 410.8Kb | [PDF] | View/ | |