Qualitative modelling via constraint programming

Qualitative modelling is a technique integrating the fields of theoretical computer science, artificial intelligence and the physical and biological sciences. The aim is to be able to model the behaviour of systems without estimating parameter values and fixing the exact quantitative dynamics. Traditional applications are the study of the dynamics of physical and biological systems at a higher level of abstraction than that obtained by estimation of numerical parameter values for a fixed quantitative model. Qualitative modelling has been studied and implemented to varying degrees of sophistication in Petri nets, process calculi and constraint programming. In this paper we reflect on the strengths and weaknesses of existing frameworks, we demonstrate how recent advances in constraint programming can be leveraged to produce high quality qualitative models, and we describe the advances in theory and technology that would be needed to make constraint programming the best option for scientific investigation in the broadest sense

Waist-to-Hip Ratio and Unhealthy Body Change in Women

The role of waist-to-hip ratio (WHR) in unhealthy body change was examined in a sample of 143 women university students. They completed the Eating Disorder Examination-Questionnaire (EDE-Q), reported their level of concern with weight and with WHR, and used unmarked measuring tapes to record their subjective (self-perceived), ideal, and objective (measured) waist and hip circumference. Although body shape was reported as important, and concern with WHR correlated significantly with symptoms of disordered eating, the relationships involving WHR were not independent of those involving body weight. Thus, there appears to be little behavioural and/or clinical significance in the aesthetic evaluations made by women of their WHR. Reasons for this are considered in light of evidence that women regard WHR as more difficult to control and less amenable to change than their overall body weight.<br /