zbMATH — the first resource for mathematics

Artificial intelligence in simulation. (English) Zbl 0723.68106
Ellis Horwood Series in Artificial Intelligence. New York etc.: Ellis Horwood. 253 p. $ 49.95 (1990).
It is well known that the developments in AI and Simulation generated a merging of the two disciplines as a topic area of reseach. The importance of this accomplishment is indeed reflected in this new book.
The book is divided in to eight chapters. Chapter 1 is an introduction, in which the authors briefly present the important approaches considered in the AI research area. Modelling and simulation are considered important in reasoning and problem solving. Throughout the book a family of simulation languages is developed all emerged from PROLOG. Chapter 2 (Models and modelling) is devoted to the foundation of different tools for model-building useful in simulation. Chapter 3 (Logic and simulation) is engaged in the problem whether static and dynamic aspects of system behavior can be handled with the same logical tool. In its initial form PROLOG is not well suited since it can’t provide all the tools for model- building. Also a brief introduction on CS-PROLOG (Communicating Sequential PROLOG) is given (including its debugging capabilities). Chapter 4 (Discrete simulation on PROLOG basis) presents ways extending PROLOG in order to make modelling possible in the case of discrete-event simulation. Two such languages are presented: T-PROLOG (for monoprocessor-based architecture) and CS-PROLOG (for multiprocessor architecture). Chapter 5 (A combined PROLOG-based discrete/continuous simulation language) shows how T-PROLOG can be extended to support combined (discrete/continuous) simulation. The resulting language (TC- PROLOG) performs this task. The next chapter presents how TC-PROLOG allows the representation of system structures. This chapter (Simulation of functional systems) presents the language TS-PROLOG. CS-Object PROLOG, which represents an object-oriented programming language on the basis of CS-PROLOG, and its use in simulation is discussed in Chapter 7 (Object- oriented simulation). The final chapter (Expert systems in computer simulation) provides a well-organized discussion about the connection and relation between expert systems and simulation. Starting from CS-PROLOG, an expert system ALL-EX is developed.
I consider this book valuable for researchers and practitioners who are engaged in simulation of large and complex systems. Any reader interested in simulation and modelling, can find very interesting information in this volume.
Reviewer: I.-C.Teşu (Iaşi)

68U20 Simulation (MSC2010)
68T99 Artificial intelligence
68-02 Research exposition (monographs, survey articles) pertaining to computer science
68T35 Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence