Use this URL to cite or link to this record in EThOS:
Title: Towards a knowledge-based discrete simulation modelling environment using Prolog
Author: Ahmad, Ali
ISNI:       0000 0001 3403 0441
Awarding Body: University of Warwick
Current Institution: University of Warwick
Date of Award: 1989
Availability of Full Text:
Access from EThOS:
Access from Institution:
The initial chapters of this thesis cover a survey of literature relating to problem solving, discrete simulation, knowledge-based systems and logic programming. The main emphasis in these chapters is on a review of the state of the art in the use of Artificial Intelligence methods in Operational Research in general and Discrete Simulation in particular. One of the fundamental problems in discrete simulation is to mimic the operation of a system as a part of problem solving relating to the system. A number of methods of simulated behaviour generation exist which dictate the form in which a simulation model must be expressed. This thesis explores the possibility of employing logic programming paradigm for this purpose as it has been claimed to offer a number of advantages over procedural programming paradigm. As a result a prototype simulation engine has been implemented using Prolog which can generate simulated behaviour from an articulation of model using a three phase or process 'world views' (or a sensible mixture of these). The simulation engine approach can offer the advantage of building simulation models incrementally. A new paradigm for computer software systems in the form of Know ledge-Based Systems has emerged from the research in the area of Artificial Intelligence. Use of this paradigm has been explored in the area of simulation model building. A feasible method of knowledge-based simulation model generation has been proposed and using this method a prototype knowledge-based simulation modelling environment has been implemented using Prolog. The knowledge based system paradigm has been seen to offer a number of advantages which include the possibility of representing both the application domain knowledge and the simulation methodology knowledge which can assist in the model definition as well as in the generation of executable code. These, in turn, may offer a greater amount of computer assistance in developing simulation models than would be possible otherwise. The research aim is to make advances towards the goal of 'intelligent' simulation modelling environments. It consolidates the knowledge related to simulated behaviour generation methods using symbolic representation for the system state while permitting the use of alternate (and mixed) 'world views' for the model articulation. It further demonstrates that use of the knowledge-based systems paradigm for implementing a discrete simulation modelling environment is feasible and advantageous.
Supervisor: Not available Sponsor: British Council
Qualification Name: Thesis (Ph.D.) Qualification Level: Doctoral
EThOS ID:  DOI: Not available
Keywords: QA76 Electronic computers. Computer science. Computer software ; TA Engineering (General). Civil engineering (General)