Constraint reasoning in deep biomedical models

Research output: Contribution to journalArticlepeer-review

8 Citations (Scopus)


Objective: 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. The objective of this work is to propose a constraint reasoning framework to support safe decisions based on deep biomedical models. Method: The methods used in our approach include the generic constraint propagation techniques for reducing the bounds of uncertainty of the numerical variables complemented with new constraint reasoning techniques that we developed to handle differential equations. Results: The results of our approach are illustrated in biomedical models for the diagnosis of diabetes, tuning of drug design and epidemiology where it was a valuable decision-supporting tool notwithstanding the uncertainty on data. Conclusion: The main conclusion that follows from the results is that, in biomedical decision support, constraint reasoning may be a worthwhile alternative to traditional simulation methods, especially when safe decisions are required.

Original languageEnglish
Pages (from-to)77-88
Number of pages12
JournalArtificial Intelligence In Medicine
Issue number1
Publication statusPublished - May 2005


  • Biomedical modelling
  • Constraint reasoning
  • Decision support
  • Diabetes
  • Differential models
  • Drug design
  • Epidemiology


Dive into the research topics of 'Constraint reasoning in deep biomedical models'. Together they form a unique fingerprint.

Cite this