Abstract
The paper presents an algorithm to propagate an n-ary constraint (with n greater than 2) specifying the relative positions of points in a three-dimensional rigid group. The variables to restrict are the positions (x, y, and z coordinates) of the points, and we assume the variable domains are cuboids, with the faces orthogonal to the coordinate axes. This algorithm is part of PSICO (Processing Structural Information with Constraint programming and Optimisation), a method we are developing to integrate experimental and theoretical data to solve protein structures [1,2]. We also present some preliminary results, and explain how this algorithm can be used to combine theoretical information such as secondary structure prediction or homology modelling with Nuclear Magnetic Resonance (NMR) data.
This is a preview of subscription content, log in via an institution to check access.
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
Krippahl, L., Barahona, P.: PSICO: Solving Protein Structures with Constraint Programming and Optimisation. Constraints 7, 317–331 (2002)
Krippahl, L., Barahona, P.: Applying Constraint Programming to Protein Structure Determination. In: Principles and Practice of Constraint Programming, pp. 289–302. Springer, Heidelberg (1999)
Revesz, P.: Refining Restriction Enzyme Genome Maps. Constraints 2, 361 (1997)
Backofen, R.: Constraint Techniques for Solving the Protein Structure Prediction Problem. In: Maher, M.J., Puget, J.-F. (eds.) CP 1998. LNCS, vol. 1520, pp. 72–86. Springer, Heidelberg (1998)
Leishman, S., Gray, P.M.D., Fothergill, J.E.: ASSASSIN: A Constraint Based Assignment System for Protein 2D Nuclear Magnetic Resonance, Applications and Innovations in Expert Systems II. In: Milne, R., Montgomery, A. (eds.) Proceedings of Expert Systems 1994, Cambridge, December 1994, pp. 263–280 (1994)
Zimmerman, D.E., Kulikowski, C.A., Montelione, G.T.: A constraint reasoning system for automating sequence-specific resonance assignments from multidimensional protein NMR spectra. Ismb 1, 447–455 (1993)
Güntert, P., Mumenthaler, C., Wüthrich, K.: Torsion angle dynamics for NMR structure calculation with the new program DYANA. J. Mol. Biol. 273, 283–298 (1997)
Stahovich, T., Davis, R., Shrobe, H.: Qualitative rigid-body mechanics. Artificial Intelligence 119(1-2), 19–60 (2000)
Beldiceanu, N., Guo, Q., Thiel, S.: Non-overlapping Constraints between Convex Polytopes. In: Walsh, T. (ed.) CP 2001. LNCS, vol. 2239, p. 392. Springer, Heidelberg (2001)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2003 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Krippahl, L., Barahona, P. (2003). Propagating N-Ary Rigid-Body Constraints. In: Rossi, F. (eds) Principles and Practice of Constraint Programming – CP 2003. CP 2003. Lecture Notes in Computer Science, vol 2833. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-45193-8_31
Download citation
DOI: https://doi.org/10.1007/978-3-540-45193-8_31
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-20202-8
Online ISBN: 978-3-540-45193-8
eBook Packages: Springer Book Archive