The Library
Towards a knowledge-based discrete simulation modelling environment using Prolog
Tools
Tools
Tools
Ahmad, Ali (1989) Towards a knowledge-based discrete simulation modelling environment using Prolog. PhD thesis, University of Warwick.
|
PDF
WRAP_Theses_Ahmad_1989.pdf - Submitted Version - Requires a PDF viewer. Download (6Mb) | Preview |
Official URL: http://webcat.warwick.ac.uk/record=b3197389~S15
Abstract
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.
| Item Type: | Thesis (PhD) | ||||
|---|---|---|---|---|---|
| Subjects: | Q Science > QA Mathematics > QA76 Electronic computers. Computer science. Computer software T Technology > TA Engineering (General). Civil engineering (General) |
||||
| Library of Congress Subject Headings (LCSH): | Prolog (Computer program language), Artificial intelligence, Logic programming, Computer software | ||||
| Official Date: | June 1989 | ||||
| Dates: |
|
||||
| Institution: | University of Warwick | ||||
| Theses Department: | School of Industrial and Business Studies | ||||
| Thesis Type: | PhD | ||||
| Publication Status: | Unpublished | ||||
| Supervisor(s)/Advisor: | Hurrion, R. D. (Robert D.) | ||||
| Sponsors: | British Council | ||||
| Format of File: | |||||
| Extent: | xviii, 286 leaves : illustrations | ||||
| Language: | eng |
Request changes or add full text files to a record
Repository staff actions (login required)
 |
View Item |
Downloads
Downloads per month over past year
