Abstract
Variables annotations in over-constrained problems enable to express preferences for optimal solution selection using preferences on variables. The basic interpretation of variables’ annotations is presented and correspondence with hierarchical CSP is described. New local comparator for constraint hierarchy is proposed and used for solving constraints with variables’ annotations. The relationships between standard locally-better comparator and the new one are clarified. The potential application areas of variables annotations are also mentioned.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Benhamou, F.: Interval Constraint Logic Programming. In: Podelski, A.(nted.): Constraint Programming: Basics and Trends. Lecture Notes in Computer Science, Vol. 910. Springer-Verlag, Berlin Heidelberg New York (1995) 1–21
Borning, A., Anderson, R., Freeman-Benson, B.: Indigo: A Local Propagation Algorithm for Inequality Constraints. Proceedings of the 1996 ACM Symposium on User Interface Software and Technology (1996) 129–136
Borning, A., Anderson, R., Freeman-Benson, B.: The Indigo Algorithm. Tech. Rep. TR-96-05-01, Department of Computer Science and Engineering University of Washington (1996)
Borning, A., Freeman-Benson, B., Wilson, M.: Constraint Hierarchies. Lisp and Symbolic Computation5, No. 3 (1992) 223–270
Freuder, E.C., Mackworth, A.K. (eds.): Constrained-Based Reasoning. MIT Press, (1994). Reprinted from Artificial Intelligence 58, No. 1–3 (1992)
Rudova, H.: Constraints with Variables Annotations. Tech. Rep. FIMU-RS-98-04, Faculty of Informatics Masaryk University, http://www.fi.muni.cz/informatics/reports (1998)
Rudova, H.: Constraints with Variables Annotations. In:Prade, H.: 13th European Conference on Artificial Intelligence, John Wiley & Sons, Ltd 1998) 261–262
Van Hentenryck, P.: Constraint Satisfaction in Logic Programming. MIT Press 1989
Wilson, M., Borning, A.: Hierarchical Constraint Logic Programming. Journal of Logic Programming 16, No. 3,4 (1993) 227–318
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1998 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Rudova, H. (1998). Constraints with Variables’ Annotations and Constraint Hierarchies. In: Rovan, B. (eds) SOFSEM’ 98: Theory and Practice of Informatics. SOFSEM 1998. Lecture Notes in Computer Science, vol 1521. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-49477-4_33
Download citation
DOI: https://doi.org/10.1007/3-540-49477-4_33
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-65260-1
Online ISBN: 978-3-540-49477-5
eBook Packages: Springer Book Archive