Implementing an abstraction framework for soft constraints

Authors:
Alberto Delgado;Jorge Andrés Pérez;Camilo Rueda
Affiliations:
Pontificia Universidad Javeriana, Cali, Colombia;Pontificia Universidad Javeriana, Cali, Colombia;Pontificia Universidad Javeriana, Cali, Colombia
Venue:
SARA'05 Proceedings of the 6th international conference on Abstraction, Reformulation and Approximation
Year:
2005

Citing 5
Cited 0

Radio Link Frequency Assignment

Constraints
Abstracting soft constraints: framework, properties, examples

Artificial Intelligence
AbsCon: A Prototype to Solve CSPs with Abstraction

CP '01 Proceedings of the 7th International Conference on Principles and Practice of Constraint Programming
Semirings for Soft Constraint Solving and Programming (LECTURE NOTES IN COMPUTER SCIENCE)

Semirings for Soft Constraint Solving and Programming (LECTURE NOTES IN COMPUTER SCIENCE)
Implementing semiring-based constraints using mozart

MOZ'04 Proceedings of the Second international conference on Multiparadigm Programming in Mozart/Oz

Quantified Score

Hi-index	0.00

Visualization

Abstract

Soft constraints are flexible schemes for modeling a wide spectrum of problems. A model based on a hierarchy of abstractions of soft constraint problems has been proposed before. We describe an efficient implementation of this scheme aimed at solving real life problems. Our system is integrated into the Mozart language in such a way that user control of the abstraction mechanism is straightforward.We explain how we adapted the theoretical results for our purposes and describe the experiences in this adaptation. We give comparative analysis of our system with respect to an implementation using soft constraints without the abstraction mechanism. Our tests show good performance results for over-constrained problems in real settings.