By Topic

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

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$33 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

5 Author(s)
Yejing Wang ; Ideal Institute of Information and Technology, Engineering & Research Center of E-learning, Northeast Normal University of China, Changchun, China, 130117 ; Shaochun Zhong ; Da Xu ; Qing Li
more authors

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.

Published in:

2010 International Conference on Computer Application and System Modeling (ICCASM 2010)  (Volume:5 )

Date of Conference:

22-24 Oct. 2010