Hosted By
Department of Computer Science
University College, The University of New South Wales
Australian Defence Force Academy, Canberra, ACT 2600, Australia
Last modified Thu Sep 21 10:43:24 1995
Fuzzy Object-Oriented System Modelling and Simulation for System Efficiency Analysis
The efficiency of the operational systems such as government offices, bank branches, department stores, car parks, schools, hospitals, etc. is certainly of great concern to their staff and managers. In the case of a complex system for which no mathematical models can be formed, simulation is the best way to study the system's operational behaviour and to enhance its efficiency.
This tutorial presents the latest technique in simulation that combines the three concepts of object-oriented system modelling, fuzzy holographic memories, and nondeterministic programming, to make system simulation more realistic and flexible, as it can handle vaguely described objects and messages.
In object-oriented system modelling, an operational system is considered as a collection of objects that interact by sending messages to each other. Each object has its own memory that stores its knowledge and controls its responses to the arriving messages. The knowledge and control procedures are organised as fuzzy holographic memories, so that they can recognise and respond to the vague messages received from other objects. Thus, a system model consists of a set of object descriptions that describe the objects' patterns of behaviour. This approach makes the task of system modelling quite simple, highly modular, and easy to implement.
The simulation language used is PFHOSS, a Prolog-based Fuzzy Holographic Object-oriented Simulation System that combines the concepts of Object-oriented system modelling, Fuzzy holographic memory, and nondeterministic programming. In brief, simulation in PFHOSS provides the following advantages:
Several practical experiments are presented, including a banking system, a two-runway airport, a downtown car park, and a ship dock system.
Dr T. Van Le is currently a Senior Lecturer in Artificial Intelligence at the University of Canberra. He is the author of the worldwide acclaimed textbook o "Techniques of Prolog Programming" (John Wiley, 1993), and twenty published research papers on Fuzzy Logic, Object-oriented programming, and Simulation.
Contact: vanle@ise.canberra.edu.au
Phone: (06) 2012421, Fax: (06) 2015227.
Relevant published articles
Le. T. V. 'PFHOSS: A Prolog-based Fuzzy Holographic Object-oriented Simulation System', in Modelling and Simulation ESM94, A. Guash and R. M. Huber (eds). Society for Computer Simulation International, Barcelona, 1994, pp. 444-449.
Le. T. V. 'Fuzzy pattern matching and its application to system simulation', in the Proceedings of the Fourth International Conference on AI, Simulation, and Planning in High Autonomy Systems, Tucson, Sept. 1993, IEEE Computer Society Press, pp. 54-58.
Le. T. V. 'Representation and interpretation of fuzzy Information', in the Proceedings of the Second International Conference on Database and Information, Washington, Nov. 1993, ISMM, pp. 735-737.
Le. T. V. 'Discrete-event simulation with POSS', in the Proceedings of the Third International Conference on AI, Simulation, and Planning in High Autonomy Systems, Perth, July, 1992, IEEE Computer Society Press, pp. 94-101.
Le. T. V. 'Fuzzy programming in Prolog', in AI Expert, Vol. 9, No. 7, July, 1994, 32-36.
Le. T. V. 'A dual view on fuzzy c-means unsupervised clustering', in Modelling and Simulation ESM 94, A. Guash and R. M. Huber (eds). Society for Computer Simulation International, Barcelona, June, 1994, 440-443.
Le. T. V. 'Fuzzy finite automata and their application to speech recognition', in the Proceedings of the Fifth International Conference on AI, Simulation, and Planning in High Autonomy Systems, Gainesville, Florida, Dec. 1994. IEEE Computer Society Press, 269-272.
Le. T. V. 'A general scheme of representing negative and quantified queries for Deductive databases', in the Proceedings of the First International Conference on Database and Information, Baltimore, Nov. 1992. ISMM, 648-649.
Le. T. V. 'MLESS: A Multilingual Expert System Shell that supports negative and quantified queries', in the Proceedings of the First World Congress on Expert Systems, Orlando, Dec. 1991, Pergamon Press, 1659-1670.
Le. T. V. 'A logical negation evaluator for standard Prolog', in the Proceedings of the Australian Computer Society Conference 13, Melbourne Feb. 1990, 186-195.
Le. T. V. 'ESSLN: An Expert System Shell With Logical Negation', in the Proceedings of Australian Joint Conference on Artificial Intelligence, Melbourne, Nov. 1989, 163-172.