A hybrid paradigm for modeling of complex systems

The network modeling approach to simulation provides the mo deler with simple and powerful concepts which can be used to capture the significant aspects of the system to be modeled. Yet the most advanced network modeling environments lack ex plicit concepts for the representation of complex behavior such as decision-making. Artificial intelligence research, because of its emphasis on knowledge representation, provides several meth odologies which can be successfully applied to the modeling of decision-making behavior. The approach to modeling complex behavior, outlined in this paper, is based on a hybrid methodology unifying the concepts of Object-Oriented programming, Logic Programming and the discrete event approach to systems modeling. We present SIM YON, an experimental network simulation environment which provides explicit constructs for the representation of complex behavior of real-world systems. SIMYON is implemented by de fining a library of logic objects in the Object-Oriented, Logic Programming environment CAYENE. These objects, which are analogous to the "nodes" of network simulation languages, are the building blocks for modeling. Examples are given in SIMYON to model a job scheduler in a manufacturing situation and an adaptive material handling dis patch mechanism for flexible manufacturing systems.

[1]  John Wylie Lloyd,et al.  Foundations of Logic Programming , 1987, Symbolic Computation.

[2]  Mark S. Fox,et al.  KBS: An Artificial Intelligence Approach to Flexible Simulation , 1982 .

[3]  Marvin Minsky,et al.  A framework for representing knowledge , 1974 .

[4]  Robert L. Gould GPSS/360 - An Improved General Purpose Simulator , 1969, IBM Syst. J..

[5]  Kristen Nygaard,et al.  SIMULA: an ALGOL-based simulation language , 1966, CACM.

[6]  A. Alan B. Pritsker,et al.  Introduction to simulation and SLAM II , 1979 .

[7]  J. A. Robinson,et al.  A Machine-Oriented Logic Based on the Resolution Principle , 1965, JACM.

[8]  Catherine Dupont-Gatelmand A survey of flexible manufacturing systems , 1982 .

[9]  Claude Dennis Pegden,et al.  Introduction to SIMAN , 1983, WSC '85.

[10]  David A. Moon,et al.  The Lisp Machine manual , 1981, SGAR.

[11]  David Robson,et al.  Smalltalk-80: The Language and Its Implementation , 1983 .

[12]  Philip Klahr,et al.  The ROSS Language Manual , 1982 .

[13]  Daniel G. Bobrow,et al.  On Overview of KRL, a Knowledge Representation Language , 1976, Cogn. Sci..

[14]  Leon Sterling,et al.  The Art of Prolog , 1987, IEEE Expert.

[15]  Ira P. Goldstein,et al.  The FRL Primer , 1977 .

[16]  Carl Hewitt,et al.  Viewing Control Structures as Patterns of Passing Messages , 1977, Artif. Intell..

[17]  Marvin Minsky,et al.  A framework for representing knowledge" in the psychology of computer vision , 1975 .

[18]  Daniel G. Bobrow,et al.  Object-Oriented Programming: Themes and Variations , 1989, AI Mag..

[19]  Tamás Gergely,et al.  A Logical Approach to Simulation (TS-PROLOG) , 1982, International Working Conference on Model Realism.