Automatic simulation program synthesis using a knowledge-based approach

Abstract This paper describes research and development in automatic simulation program synthesis using a knowledge-based approach. Simulation analysis can be a very important tool for people responsible for critical resource management in large organisations. Unfortunately, these management decisions must often be made quickly and on a daily basis. There may not be enough time to involve simulation software developers. The main objective of our system is to make simulation easily accessible to non-technical management-level people who might not have a background in computer programming or simulation theory. Our knowledge-based simulation system automatically constructs a SIMAN simulation program through an object-oriented graphic user interface and a knowledge-base of domain-specific heuristics implemented in OPS5. The system then executes the simulation program and displays the results as animated graphics. Our research was performed in the domain of airport check-in counter scheduling. This paper describes an overview of the system design and provides examples of the results produced by our knowledge-based simulator.

[1]  Sanjay Jain,et al.  Expert simulation for on-line scheduling , 1990, CACM.

[2]  Vipin Kumar,et al.  Algorithms for Constraint-Satisfaction Problems: A Survey , 1992, AI Mag..

[3]  Guy L. Steele,et al.  The definition and implementation of a computer programming language based on constraints , 1980 .

[4]  G. Jay Weinroth,et al.  Desktop simulation: Modeling for managers , 1991, Simul..

[5]  John D. McGregor,et al.  Applying the object-oriented paradigm to discrete event simulations using the C++ language , 1990, Simul..

[6]  Philip Klahr,et al.  Knowledge-Based Simulation , 1980, AAAI.

[7]  Lotfi A. Zadeh,et al.  Commonsense Knowledge Representation Based on Fuzzy Logic , 1983, Computer.

[8]  J.-F. Puget Object oriented constraint programming for transportation problems , 1993 .

[9]  Averill M. Law,et al.  Simulation Modeling and Analysis , 1982 .

[10]  Heimo H. Adelsberger,et al.  Intelligent simulation environments , 1986 .

[11]  D. Goodman,et al.  Integrating expert systems and simulation for decision support , 1989 .

[12]  Paul A. Fishwick,et al.  Knowledge-based simulation : methodology and application , 1991 .

[13]  Douglas A. Popken,et al.  An object-oriented simulation environment for airbase logistics , 1992, Simul..

[14]  Ronald F. Perry,et al.  Simulation: A Problem-Solving Approach , 1989 .

[15]  Roger E. Cooley,et al.  Dragoman: an expert system to aid users of a simulation model , 1991, Simul..

[16]  Stephen F. Smith,et al.  ISIS—a knowledge‐based system for factory scheduling , 1984 .

[17]  G. L. Steele Common Lisp , 1990 .

[18]  Yuri Merkuryev,et al.  Knowledge Based Simulation Systems - A Review , 1994, Simul..

[19]  Frank Land,et al.  Knowledge based management support systems , 1989 .

[20]  Sonya E. Keene,et al.  Object-oriented programming in COMMON LISP - a programmer's guide to CLOS , 1989 .

[21]  Pascal Van Hentenryck Constraint satisfaction in logic programming , 1989, Logic programming.

[22]  Norman R. Nielsen Application of artificial intelligence techniques to simulation , 1991 .

[23]  Claude Dennis Pegden,et al.  A rule-based simulator for modeling Just-in-Time manufacturing systems (JITSAI) , 1990, Simul..