Towards a qualitative theory of the interruption of eating behavior change.

The poor maintenance of eating behavior change is one of the main obstacles to minimizing weight regain after weight loss during diets for non-surgical care of obese or overweight patients. We start with a known informal explanation of interruption in eating behavior change during severe restriction and formalize it as a causal network involving psychological variables, which we extend with energetic variables governed by principles of thermodynamics. The three core phenomena of dietary behavior change, i.e., non-initiation, initiation followed by discontinuation and initiation followed by non-discontinuation, are expressed in terms of the value of the key variable representing mood or psychological energy, the fluctuation of which is the result of three causal relationships. Based on our experimental knowledge of the time evolution profile of the three causal input variables, we then proceed to a qualitative analysis of the resulting theory, i.e., we consider an over-approximation of it which, after discretization, can be expressed in the form of a finite integer-based model. Using Answer Set Programming, we show that our formal model faithfully reproduces the three phenomena and, under a certain assumption, is minimal. We generalize this result by providing all the minimal models reproducing these phenomena when the possible causal relationships exerted on mood are extended to all the other variables (not just those assumed in the informal explanation), with arbitrary causality signs. Finally, by a direct analytical resolution of an under-approximation of our theory, obtained by assuming linear causalities, as a system of linear ODEs, we find exactly the same minimal models, proving that they are also equal to the actual minimal models of our theory since these are framed below and above by the models of the under-approximation and the over-approximation. We determine which parameters need to be person-specific and which can be considered invariant, i.e., we explain inter-individual variability. Our approach could pave the way for universally accepted theories in the field of behavior change and, more broadly, in other areas of psychology.

Thermodynamic constraints for identifying elementary flux modes.

Metabolic pathway analysis is a key method to study metabolism and the elementary flux modes (EFMs) is one major concept allowing one to analyze the network in terms of minimal pathways. Their practical use has been hampered by the combinatorial explosion of their number in large systems. The EFMs give the possible pathways at steady state, but the real pathways are limited by biological constraints. In this review, we display three different methods that integrate thermodynamic constraints in terms of Gibbs free energy in the EFMs computation.

How important is thermodynamics for identifying elementary flux modes?

We present a method for computing thermodynamically feasible elementary flux modes (tEFMs) using equilibrium constants without need of internal metabolite concentrations. The method is compared with the method based on a binary distinction between reversible and irreversible reactions. When all reactions are reversible, adding the constraints based on equilibrium constants reduces the number of elementary flux modes (EFMs) by a factor of two. Declaring in advance some reactions as irreversible, based on reliable biochemical expertise, can in general reduce the number of EFMs by a greater factor. But, even in this case, computing tEFMs can rule out some EFMs which are biochemically irrelevant. We applied our method to two published models described with binary distinction: the monosaccharide metabolism and the central carbon metabolism of Chinese hamster ovary cells. The results show that the binary distinction is in good agreement with biochemical observations. Moreover, the suppression of the EFMs that are not consistent with the equilibrium constants appears to be biologically relevant.

Conflicts versus analytical redundancy relations: a comparative analysis of the model based diagnosis approach from the artificial intelligence and automatic control perspectives.

Two distinct and parallel research communities have been working along the lines of the model-based diagnosis approach: the fault detection and isolation (FDI) community and the diagnostic (DX) community that have evolved in the fields of automatic control and artificial intelligence, respectively. This paper clarifies and links the concepts and assumptions that underlie the FDI analytical redundancy approach and the DX consistency-based logical approach. A formal framework is proposed in order to compare the two approaches and the theoretical proof of their equivalence together with the necessary and sufficient conditions is provided.