Ponencia
NMUS: Structural Analysis for Improving the Derivation of All MUSes in Overconstrained Numeric CSPs
Autor/es | Martínez Gasca, Rafael
Valle Sevillano, Carmelo del Gómez López, María Teresa Ceballos Guerrero, Rafael |
Departamento | Universidad de Sevilla. Departamento de Lenguajes y Sistemas Informáticos |
Fecha de publicación | 2007 |
Fecha de depósito | 2020-03-09 |
Publicado en |
|
ISBN/ISSN | 978-3-540-75270-7 0302-9743 |
Resumen | Models are used in science and engineering for experimentation,
analysis, model-based diagnosis, design and planning/sheduling
applications. Many of these models are overconstrained Numeric Constraint
Satisfaction ... Models are used in science and engineering for experimentation, analysis, model-based diagnosis, design and planning/sheduling applications. Many of these models are overconstrained Numeric Constraint Satisfaction Problems (NCSP), where the numeric constraints could have linear or polynomial relations. In practical scenarios, it is very useful to know which parts of the overconstrained NCSP instances cause the unsolvability. Although there are algorithms to find all optimal solutions for this problem, they are computationally expensive, and hence may not be applicable to large and real-world problems. Our objective is to improve the performance of these algorithms for numeric domains using structural analysis. We provide experimental results showing that the use of the different strategies proposed leads to a substantially improved performance and it facilitates the application of solving larger and more realistic problems. |
Agencias financiadoras | Ministerio de Educación y Ciencia (MEC). España |
Identificador del proyecto | DIP2006-15476-C02-01 |
Cita | Martínez Gasca, R., Valle Sevillano, C.d., Gómez López, M.T. y Ceballos Guerrero, R. (2007). NMUS: Structural Analysis for Improving the Derivation of All MUSes in Overconstrained Numeric CSPs. En CAEPIA 2007: 12th Conference of the Spanish Association for Artificial Intelligence (160-169), Salamanca, España: Springer. |