Abstract
Constraint satisfaction problems consist of finding a value assignment to a set of variables such that all constraints on these variables are satisfied. In various application areas (e.g., engineering domains), domain values are actually used to denote complex objects, whose structure then must be derived by additional constraints. Greater effectiveness and a shorter problem description can be achieved by a component-oriented constraint formalism that allows explicit specification of the relationship between a component and its fixed attributes. To this goal, we introduce attribute functions into constraint networks. We define a variant of interchangeability suitable for these extended problems, based on computing domain partitions depending on attribute function values of the constraint variables, and give an algorithm for computing these partitions. By a slight modification of the key constraint filtering and search procedures, the domain partitions can be used to increase efficiency of the majority of existing algorithms for such problems.
This work was supported by Siemens Austria AG under project grant CSS (GR 21/96106/4).
Preview
Unable to display preview. Download preview PDF.
References
Rina Dechter. From Local to Global Consistency. Artificial Intelligence, 55:87–107, 1992.
Eugene C. Freuder. Eliminating Interchangeable Values in Constraint Satisfaction Problems. In Proc. AAAI Conf., pages 227–233, 1991.
Hector Geffner and Judea Pearl. An Improved Constraint-Propagation Algorithm for Diagnosis. In Proc. 10th IJCAI, pages 1105–1111, 1987.
Robert M. Haralick and Gordon L. Elliott. Increasing Tree Search Efficiency for Constraint Satisfaction Problems. Artificial Intelligence, 14:263–313, 1980.
Alois Haselböck. Exploiting Interchangeabilities in Constraint Satisfaction Problems. In Proceedings of the International Joint Conference on Artificial Intelligence, 1993. To appear.
Alois Haselböck and Markus Stumptner. A Constraint-Based Architecture for Assembling Large-Scale Technical Systems. In Proc. IEA/AIE Conf., pages 18–25, Edinburgh, June 1993. Gordon and Breach Science Publishers. Also Tech. Report DBAI-CSP-TR 92/3.
Michael Kifer and Georg Lausen. F-Logic: A Higher-Order Language for Reasoning about Objects, Inheritance and Scheme. Communications of the ACM, pages 134–146, 1989.
Sanjay Mittal and Felix Frayman. Making Partial Choices in Constraint Reasoning Problems. In Proceedings AAAI Conference, pages 631–636, July 1987.
Sanjay Mittal and Felix Frayman. Towards a Generic Model of Configuration Tasks. In Proc. 11th IJCAI, pages 1395–1401. Morgan Kaufmann Publishers, Inc., August 1989.
Alan K. Mackworth, Jan A. Mulder, and William S. Havens. Hierarchical Arc Consistency: Exploiting Structured Domains in Constraint Satisfaction Problems. Computational Intelligence, 1(3):118–126, 1985.
Sanjay Mittal and Bernard Nadel. Constraint Reasoning: Theory and Applications. Tutorial SP4 of the AAAI-90, 1990.
Peter Struss. Extensions to ATMS-based Diagnosis. In J.S. Gero, editor, Artificial Intelligence in Engineering: Diagnosis and Learning, Southampton, 1988.
Jeffrey van Baalen. Automated Design of Specialized Representations. Artificial Intelligence, 54:121–198, 1992.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1993 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Haselböck, A., Stumptner, M. (1993). Attribute-specific interchangeability in constraint satisfaction problems. In: Filgueiras, M., Damas, L. (eds) Progress in Artificial Intelligence. EPIA 1993. Lecture Notes in Computer Science, vol 727. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-57287-2_52
Download citation
DOI: https://doi.org/10.1007/3-540-57287-2_52
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-57287-9
Online ISBN: 978-3-540-48036-5
eBook Packages: Springer Book Archive