On Models, Modelling and the Distinctive Nature of Model-Based Reasoning

Model-Based Reasoning is analyzed by investigating its characteristics, different classes of model and various dimensions of the modeling space. The analysis puts models into a general framework from which emerges the case of qualitative models. The advantages of the method include an emphasis on principled model design, the ability to guarantee completeness of the solutions and powerful reuse and automation opportunities.