Constraint Reasoning in Deep Biomedical Models

  • Jorge Cruz
  • Pedro Barahona
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 2780)


Deep biomedical models are often expressed by means of differential equations. Despite their expressive power, they are difficult to reason about and make decisions, given their non-linearity and the important effects that the uncertainty on data may cause. For this reason traditional numerical simulations may only provide a likelihood of the results obtained. In contrast, we propose in this paper the use of a constraint reasoning framework able to make safe decision notwithstanding some degree of uncertainty, and illustrate this approach in the diagnosis of diabetes and the tuning of drug design.


Constraint Satisfaction Problem Variable Domain Expressive Power Initial Domain Safe Decision 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Ackerman, E., Gatewood, L., Rosevar, J., Molnar, G.: Blood Glucose Regulation and Diabetes. In: Concepts and Models of Biomathematics, pp. 131–156. Marcel Dekker, New York (1969)Google Scholar
  2. 2.
    Benhamou, F., McAllester, D., Van Hentenryck, P.: CLP(Intervals) revisited. In: Logic Programming Symposium, pp. 124–131. MIT Press, Cambridge (1994)Google Scholar
  3. 3.
    Cleary, J.G.: Logical Arithmetic. Future Computing Systems 2(2), 125–149 (1987)Google Scholar
  4. 4.
    Collavizza, H., Delobel, F., Rueher, M.: A Note on Partial Consistencies over Continuous Domains. In: Principles and Practice of Constraint Programming, pp. 147–161. Springer, Heidelberg (1998)Google Scholar
  5. 5.
    Cruz, J., Barahona, P., Benhamou, F.: Integrating Deep Biomedical Models into Medical Decision Support Systems: An Interval Constraints Approach. In: Procs. AI in Medicine and Medical Decision Making, Aalborg, pp. 185–194. Springer, Heidelberg (1999)Google Scholar
  6. 6.
    Cruz, J., Barahona, P.: Handling Differential Equations with Constraints for Decision Support. In: Frontiers of Combining Systems, pp. 105–120. Springer, Heidelberg (2000)CrossRefGoogle Scholar
  7. 7.
    Cruz, J., Barahona, P.: Global Hull Consistency with Local Search for Continuous Constraint Solving. In: 10th Portuguese Conference on AI., pp. 349–362. Springer, Heidelberg (2001)Google Scholar
  8. 8.
    Cruz, J., Barahona, P.: Maintaining Global Hull Consistency with Local Search for Continuous CSPs. In: 1st International Workshop on Global Constrained Optimization and Constraint Satisfaction, Sophia-Antipolis, France (2002)Google Scholar
  9. 9.
    Cruz, J.: Constraint Reasoning for Differential Equations. PhD thesis, submitted (2003)Google Scholar
  10. 10.
    Sam-Haroud, D., Faltings, B.V.: Consistency Techniques for Continuous Constraints. Constraints 1(1,2), 85–118 (1996)CrossRefMathSciNetGoogle Scholar
  11. 11.
    Janssen, M., Van Hentenryck, P., Deville, Y.: Optimal Pruning in Parametric Differential Equations. Principles and Practice of Constraint Programming. Springer, Heidelberg (2001)Google Scholar
  12. 12.
    L’homme, O.: Consistency Techniques for Numeric CSPs. In: Proc. IJCAI, pp. 232-238 (1993)Google Scholar
  13. 13.
    Montanari, U.: Networks of Constraints: Fundamental Properties and Applications to Picture Processing. Information Science 7(2), 95–132 (1974)CrossRefMathSciNetGoogle Scholar
  14. 14.
    Moore, R.E.: Interval Analysis. Prentice-Hall, Englewood Cliffs (1966)zbMATHGoogle Scholar
  15. 15.
    Nedialkov, N.S.: Computing Rigorous Bounds on the Solution of an Initial Value Problem for an Ordinary Differential Equation. PhD thesis, Univ. of Toronto, Canada (1999)Google Scholar
  16. 16.
    Shampine, L.F.: Numerical Solution of Ordinary Differential Equations, New York. Chapman and Hall, Boca Raton (1994)zbMATHGoogle Scholar
  17. 17.
    Spitznagel, E.: Two-Compartment Pharmacokinetic Models. In: C-ODE-E, Harvey Mudd College, Claremont, CA (1992)Google Scholar
  18. 18.
    Yeargers, E.K., Shonkwiler, R.W., Herod, J.V.: An Introduction to the Mathematics of Biology: with Computer Algebra Models. Birkhäuser, Boston (1996)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2003

Authors and Affiliations

  • Jorge Cruz
    • 1
  • Pedro Barahona
    • 1
  1. 1.Centro de Inteligência Artificial, Departamento de InformáticaUniversidade Nova de LisboaCaparicaPortugal

Personalised recommendations