A research on applying the temporal logic to the knowledge representation method describing a virtual experiment operation process

Based on the fact faced the virtual experiments nowadays, analyzing the temporal relations lying in the experiment operation processes, we propose a new ideology to formalize the very processes by means of the liner temporal logic. For this purpose, we, in this paper, specify four tense operators for the linear temporal, apply them to the object-oriented ideology, and construct an object-oriented model as well as an experiment instance. Through all the jobs done above, we will be able to provide a foundation from the theory perspective for the temporal description language set up for describing the virtual experiment valuation expert system.