A research on applying the temporal logic to the knowledge representation met 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 objectoriented 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.

关键词： LTL linear temporal logic object- oriented knowledge representation virtual experiment operation process

作者: Yejing Wang Shaochun Zhong Da Xu Qing Li YaKun Zhan

作者单位: Ideal Institute of Information and Technology, Engineering & Research Center of E-learning, Northeas Ideal Institute of Information and Technology, Engineering & Research Center of E-learning, E-learni Ideal Institute of Information and Technology, Engineering & Research Center of E-learning, School o

会议类型: 国际会议

会议名称: The 2010 International Conference on Computer Application and System Modeling(2010计算机应用与系统建模国际会议 ICCASM 2010)

会议地点: 太原

会议语种:英文

页码: 653-656

在线出版日期: 2010-10-22（万方平台首次上网日期，不代表论文的发表时间）