NMUS: structural analysis for improving the derivation of All MUSes in overconstrained numeric CSPs

• Gasca, R. M. ^[1] ; Valle, C. del ^[1] ; Gómez López, M. T. ^[1] ; Ceballos, R. ^[1]
  1. [1] Universidad de Sevilla

     Universidad de Sevilla

     Sevilla, España

     
• Localización: XII Conferencia de la Asociación Española para la Inteligencia Artificial: (CAEPIA 2007). Actas / coord. por Daniel Borrajo Millán, Luis Castillo Vidal, Juan Manuel Corchado Rodríguez, Vol. 1, 2007, ISBN 978-84-611-8847-5, págs. 37-46
• Idioma: inglés
• Texto completo no disponible (Saber más ...)
• Resumen

  • Models are used in science and engineering for experimentation, analysis, model-based diagnosis, design and planning/schedulling 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.