Repositorio de producción científica de la Universidad de Sevilla

Structural Constraint-Based Modeling and Reasoning with Basic Configuration Cells

Opened Access Structural Constraint-Based Modeling and Reasoning with Basic Configuration Cells

Citas

buscar en

Estadísticas
Icon
Exportar a
Autor: Martínez Gasca, Rafael
Ortega Ramírez, Juan Antonio
Toro Bonilla, Miguel
Departamento: Universidad de Sevilla. Departamento de Lenguajes y Sistemas Informáticos
Fecha: 2001
Publicado en: CP 2001: 7th International Conference on Principles and Practice of Constraint Programming (2001), p 595-599
ISBN/ISSN: 978-3-540-42863-3
Tipo de documento: Ponencia
Resumen: 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 paradigm...
[Ver más]
Cita: 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.
Tamaño: 410.8Kb
Formato: PDF

URI: http://hdl.handle.net/11441/65633

DOI: 10.1007/3-540-45578-7_46

Ver versión del editor

Mostrar el registro completo del ítem


Esta obra está bajo una Licencia Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 Internacional

Este registro aparece en las siguientes colecciones