A framework for building and simulating qualitative models of compartmental systems.

This paper describes a framework, called QCMF (Qualitative Compartmental Modeling Framework), which assists the user in formulating models of a pathophysiological system and in analyzing their behaviors through the simulation of the effects of a variety of pathogenetic mechanisms and therapeutical treatments. QCMF has adopted the compartmental theory as modeling ontology: a system is represented as a finite set of interacting compartments. The user enters, through an iconic language and menus, the compartmental structure of a pathophysiological system and the definition of the kinds of functional relationships describing the interactions between compartments. Then, QCMF automatically generates a behavior model of the system. Such a model consists of a set of ordinary differential equations, which are qualitatively expressed, and is directly coded into the language which is interpreted by the simulation algorithm. The system behavior can be obtained by simulating the model starting from an initial state which describes the perturbations acting on the system. The code defining the initial state is automatically built by QCMF as well. Finally, explanations of the predicted behavior are also automatically generated.

[1]  Benjamin Kuipers,et al.  Using Incomplete Quantitative Knowledge In Qualitative Reasoning , 1988, AAAI.

[2]  Herbert A. Simon,et al.  Causality in Device Behavior , 1989, Artif. Intell..

[3]  Sanjaya Addanki,et al.  Graphs of Models , 1991, Artif. Intell..

[4]  Benjamin Kuipers,et al.  Higher Order Derivative Constraints in Qualitative Simulation , 1991, Artif. Intell..

[5]  Benjamin Kuipers,et al.  Non-Intersection of Trajectories in Qualitative Phase Space: A Global Constraint for Qualitative Simulation , 1988, AAAI.

[6]  Benjamin Kuipers,et al.  Reasoning about energy in qualitative simulation , 1992, IEEE Trans. Syst. Man Cybern..

[7]  Benjamin Kuipers,et al.  Causal Reasoning in Medicine: Analysis of a Protocol , 1984 .

[8]  Thomas R. Gruber,et al.  Generating Explanations of Device Behavior Using Compositional Modeling and Causal Ordering , 1993, AAAI.

[9]  Yumi Iwasaki,et al.  Reasoning with multiple abstraction models , 1993 .

[10]  Peter Struss,et al.  Mathematical aspects of qualitative reasoning , 1988, Artif. Intell. Eng..

[11]  Benjamin J. Kaipers,et al.  Qualitative Simulation , 1989, Artif. Intell..

[12]  J. Jacquez.  Compartmental analysis in biology and medicine , 1985 .

[13]  Benjamin Kuipers,et al.  QPC: A Compiler from Physical Models into Qualitative Differential Equations , 1990, AAAI.

[14]  E. H. Twizell.  The mathematical modeling of metabolic and endocrine systems: E.R. Carson, C. Cobelli and L. Finkelstein John Wiley and Sons, Chichester, Sussex, UK, 394 pp., £45.15, 1983 , 1984 .

[15]  Yumi Iwasaki,et al.  Device modelling environment: an interactive environment for modelling device behaviour , 1992 .

[16]  M. S. Leaning,et al.  Qualitative Simulation of Compartmental Systems , 1988 .

[17]  Herbert A. Simon,et al.  Theories of Causal Ordering: Reply to de Kleer and Brown , 1986, Artif. Intell..

[18]  Benjamin Kuipers,et al.  Abstraction by Time-Scale in Qualitative Simulation , 1987, AAAI.

[19]  Johan de Kleer,et al.  Theories of Causal Ordering , 1986, Artif. Intell..

[20]  Liliana Ironi,et al.  An Algorithm for the Automated Generation of Rheological Models , 1991 .

[21]  Olivier Raiman,et al.  Order of Magnitude Reasoning , 1986, Artif. Intell..

[22]  Leo Joskowicz,et al.  Automated Model Selection Using Context-Dependent Behaviors , 1992, AAAI.

[23]  Brian Falkenhainer,et al.  Compositional Modeling: Finding the Right Model for the Job , 1991, Artif. Intell..

[24]  L. Ironi,et al.  A model-based system for the classification and analysis of materials , 1993 .

[25]  Daniel S. Weld.  Approximation Reformulations , 1990, AAAI.

[26]  Giordano Lanzola,et al.  Qualitative models in medical diagnosis , 1990, Artif. Intell. Medicine.

[27]  M. Ramoni,et al.  An epistemological framework for medical knowledge-based systems , 1992, IEEE Trans. Syst. Man Cybern..

[28]  Peter Struss,et al.  Global Filters for Qualitative Behaviors , 1988, AAAI.

[29]  Qiang Shen,et al.  Combining qualitative simulation and fuzzy sets , 1993 .

[30]  B. Kuipers.  Qualitative simulation in medical physiology : a progress report , 1985 .