A Constraint Mechanism for Knowlege Specification of Simulation Systems Based on Temporal Logic

Knowledge specification can be used as a basis for developing and maintaining simulation systems. This paper presents a knowledge specification methodology based on the temporal logic TLC for solving simulation problems. In this methodology, we build a specific constraint mechanism as a standard prototype for a class of simulation problems which may have some common properties. Such a standard prototype can be used to test and improve the knowledge specification of the target system of any problem belonging to this class. When we obtain a satisfactory knowledge specification, a simulation program in Chronolog(MC), a logic programming language based on TLC, can be produced.