A Logic Programming Approach to Building Planning and Simulation Models

Logic programming, including languages like Prolog and its variants, is becoming popular for AI applications such as natural language processing and expert systems. These tools may also benefit more traditional management science applications such as planning and simulation. A framework is proposed for describing the problem domain (’model base’) of planning and simulation problems in logical form, separate from the inferencing mechanisms applied to them. Applications are to dynamic programming, decision trees, PERT networks, and discrete event simulation.

[1]  Ruth E. Davis.  Logic Programming and Prolog: A Tutorial , 1985, IEEE Software.

[2]  Ronald M. Lee,et al.  Database inferencing for decision support , 1985, Decis. Support Syst..

[3]  Patrick Henry Winston,et al.  The Low Road the Middle Road and the High Road , 1986 .

[4]  Richard Tabor Greene,et al.  The AI Business , 1987, IEEE Expert.

[5]  Keith L. Clark,et al.  Micro-Prolog - programming in logic , 1984, Prentice Hall international series in computer science.

[6]  Chris Mellish,et al.  Programming in Prolog (2nd ed.) , 1984 .

[7]  Ehud Shapiro,et al.  A subset of Concurrent Prolog and its interpreter , 1988 .

[8]  Robert A. Kowalski,et al.  Logic for problem solving , 1982, The computer science library : Artificial intelligence series.

[9]  David H. D. Warren.  A View of the Fifth Generation and Its Impact , 1982, AI Mag..

[10]  Robert A. Kowalski,et al.  Algorithm = logic + control , 1979, CACM.

[11]  James Lyle Peterson,et al.  Petri net theory and the modeling of systems , 1981 .

[12]  William F. Clocksin,et al.  Programming in Prolog , 1981, Springer Berlin Heidelberg.