A multimodel methodology for qualitative model engineering

ABSTRACT

Qualitative models arising in artificial intelligence domain often concern real systems that are difficult to represent with traditional means. However, some promise for dealing with such systems is offered by research in simulation methodology. Such research produces models that combine both continuous and discrete-event formalisms. Nevertheless, the aims and approaches of the AI and the simulation communities remain rather mutually ill understood. Consequently, there is a need to bridge theory and methodology in order to have a uniform language when either analyzing or reasoning about physical systems. This article introduces a methodology and formalism for developing multiple, cooperative models of physical systems of the type studied in qualitative physics. The formalism combines discrete-event and continuous models and offers an approach to building intelligent machines capable of physical modeling and reasoning.

REFERENCES

• 1: ADDANKI, S., CREMONINI, R., AND PENBERTHY, J.S. Reasoning about assumptions in graphs of models. In The llth Inter, ational Joint Conference on Artificial Intelhgence (Aug. 1989), pp. 1432-1438
• 2: BERLEANT, D. Combining quahtatlve and quantitative simulation: In brief. In The 2nd Con{erence on AL Simulation and Planning in High Autonomy Systems (Cocoa Beach, Fla., Apr.), pp. 233-240
• 3: D G Bobrow, Qualitative reasoning about physical systems, Massachusetts Institute of Technology, Cambridge, MA, 1985
• 4: CELLIER, F.E. Combined continuous system simulation by use of digital computers: Techniques and tools Ph.D dissertation, Swiss Federal Institute of Technology, Zurich, Switzerland, 1979
• 5: Johan de Kleer , John S. Brown, A qualitative physics based on confluences, Readings in qualitative reasoning about physical systems, Morgan Kaufmann Publishers Inc., San Francisco, CA, 1989
• 6: Paul Anthony Fishwick, Hierarchical reasoning: simulating complex processes over multiple levels of abstraction, University of Pennsylvania, Philadelphia, PA, 1986
• 7: Paula A. Fishwick, Role of process abstraction in simulation, IEEE Transactions on Systems, Man and Cybernetics, v.18 n.1, p.18-39, January/February 1988 [doi>10.1109/21.87052]
• 8: FiSItWlCK, P. A. Abstraction level traversal in hierarchical modeling. In Modelling and Simulation Methodology: Knowledge Systems Paradigms, B. P Zelgler, M, Elzas, and T. Oren, Eds. Elsevler North Holland, Amsterdam, 1989, pp 393-429{
• 9: F~S~WICK, P A. Extracting rules from fuzzy simulation. Expert Syst. Appl. 3, 3 (1991), 317-327.
• 10: FISHWICK, P. A Fuzzy simulation: Spec/f~ving and identifying qualitative models. Int. J. Gen. Syst 9, 3 (1991), 295-316.
• 11: Paul A. Fishwick, Heterogeneous decomposition and inter-level coupling for combined modeling, Proceedings of the 23rd conference on Winter simulation, p.1120-1128, December 08-11, 1991, Phoenix, Arizona, United States
• 12: FISHWICK, P, A. Computer Simulation Modelmg' Methodology, Algorithms and Programs. 1992. To be published.
• 13: Paul A. Fishwick , Paul A. Luker, Qualitative simulation modeling and analysis, Springer-Verlag New York, Inc., New York, NY, 1991
• 14: Paul A. Fishwick , Richard B. Modjeski, Knowledge-based simulation, Springer-Verlag, London, 1991
• 15: Paul A. Fishwick , Bernard P. Zeigler, Qualitative physics: towards the automation of systems problem solving, Journal of Experimental & Theoretical Artificial Intelligence, v.3 n.3, p.219-246, July-Sept. 1991 [doi>10.1080/09528139108915292]
• 16: K. D. Forbus, Qualitative physics: past, present, and future, Exploring artificial intelligence, Morgan Kaufmann Publishers Inc., San Francisco, CA, 1988
• 17: FORBUS, K. D., AND FALKENHAINER, B. Self-explanatory simulations: An integration of qualitative and quantitative knowledge. AAA/(1990), pp. 380 387.
• 18: KALMAN, R. E., FALB, P. L., AND ARBIB, M. A. Topws in Mathematical Systems Theory, McGraw-Hill, New York, 1962.
• 19: KLIR, G.J. Architecture of Systems Problem Solving. Plenum Press, New York, 1985.
• 20: Wolfgang Kreutzer, System simulation programming styles and languages, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1986
• 21: B J Kuipers, Qualitative simulation, Artificial Intelligence, v.29 n.3, p.289-338, Sept. 1986 [doi>10.1016/0004-3702(86)90073-1]
• 22: KUrPERS, B., AND Cmu, C. Taming intractable branching in qualitative simulation. In The lOth International Joint Conference in Arttftctal Intellzgence (Milan, Italy), pp. 1079 1085.
• 23: Richard E. Nance, The time and state relationships in simulation modeling, Communications of the ACM, v.24 n.4, p.173-179, April 1981 [doi>10.1145/358598.358601]
• 24: NANCE, R.E. A conical methodology: A framework for simulation model development. In The Conference on Methodology and Validation (San Diego, Calif., Apr.). Society for Computer Simulation, pp. 38-43.
• 25: OREN, T. I. Model-based activities: A paradigm shift. In S~mulat~on and Model-Based Methodologies: An Integrative View. Springer-Verlag, New York, 1984 pp. 3-40.
• 26: OREN, T. I. Simulation model symbolic processing: Taxonomy. In Systems and Control Encyclopedia. Pergamon Press, 1987, pp. 4377-4381.
• 27: OREN, T.I. Simulation: Taxonomy. In Systems and Control Encyclopedia. Pergamon Press, 1987, pp. 4411-4414.
• 28: Tuncer I. Ören, Dynamic templates and semantic rules for simulation advisors and certifiers, Knowledge-based simulation, Springer-Verlag, London, 1991
• 29: PABULO, L., AND ARB~B, M.A. Systems Theory: A Untried State Space Approach to Continuous and Discrete Systems. W. B. Saunders, Philadelphia, Penn., 1974.
• 30: PRAEHOFER, H. System theoretic foundations for combined discrete-continuous system simulation. Ph.D. dissertation, Johannes Kepler University, Linz, 1991.
• 31: PRITSKER, A. A.B. The GASP IV Simulation Language. Wiley, New York, 1974.
• 32: A. Alan Pritsker, Introduction to Simulation and SLAM II (3rd ed.), John Wiley & Sons, Inc., New York, NY, 1986
• 33: REICHENBACH, H. The Philosophy of Space and Time. Dover, 1957.
• 34: SEARL, E., ED. 2nd AAAI Workshop on Model Based Reasoning- (Boston, Mass., 1990).
• 35: SHEARER, J. L., MURPHY, A. T., AND RICHARDSON, H.H. Introduction to System Dynamics. Addison-Wesley, Reading, Mass., 1967.
• 36: STRuss, P. Global filters for qualitative behaviors. AAA/(1988), 275 279.
• 37: WELD, D.S. Combining discrete and continuous process models. In The 9th International Joint Conference on Artificial Intelligence (Aug. 1985), pp. 140-143.
• 38: D S Weld, The use of aggregation in causal simulation, Artificial Intelligence, v.30 n.1, p.1-34, Oct. 1986 [doi>10.1016/0004-3702(86)90066-4]
• 39: Daniel S. Weld , Johan de Kleer, Readings in qualitative reasoning about physical systems, Morgan Kaufmann Publishers Inc., San Francisco, CA, 1989
• 40: WYMORE, A. W. A Mathematical Theory of Systems Engineering: The Elements. Krieger, 1977.
• 41: Bernard P. Zeigler, Theory of Modelling and Simulation, Krieger Publishing Co., Inc., Melbourne, FL, 1984
• 42: Bernard P. Zeigler, Multifacetted modelling and discrete event simulation, Academic Press Professional, Inc., San Diego, CA, 1984
• 43: ZEIGLER, B.P. Muttifaceted systems modeling: Structure and behavior at a multiplicity of levels. In Indwtdual Development and Social Change: Explanatory Analysis. Academic Press, 1985, pp. 265-293.
• 44: ZEIGLER, B.P. DEVS representation of dynamical systems: Event-based intelligent control. Proc. IEEE 77, i (Jan. 1989), 72-80.
• 45: Bernard P. Zeigler, Object-oriented simulation with hierarchical, modular models: intelligent agents and endomorphic systems, Academic Press Professional, Inc., San Diego, CA, 1990

INDEX TERMS

Primary Classification:
  I. Computing Methodologies
  I.6 SIMULATION AND MODELING
      I.6.5 Model Development
          Subjects: Modeling methodologies

Additional Classification:
  I. Computing Methodologies
  I.2 ARTIFICIAL INTELLIGENCE
      I.2.4 Knowledge Representation Formalisms and Methods
          Subjects: Representations (procedural and rule-based)
  I.6 SIMULATION AND MODELING
      I.6.1 Simulation Theory
          Subjects: Model classification; Systems theory
      I.6.8 Types of Simulation
          Subjects: Combined; Continuous; Discrete event

Keywords:
abstraction levels, combined simulation, homomorphism, multimodeling, qualitative simulation, systems theory