Full-Text Search:
Home|Journal Papers|About CNKI|User Service|FAQ|Contact Us|中文
《Journal of Anhui University(Natural Sciences)》 2002-02
Add to Favorite Get Latest Update

Research on knowledge representation based on temporal logic

LI Long-shu 1,LING Cheng 2 (1.Educational Department Key Laboratory of Intelligent Computing & Signal Processing,Anhui University, Hefei 230039,China; 2.Department of Computer Science and Engineering, Anhui University, Hefei 230039, China)  
In this paper, modal logic and temporal logic are discussed. Object model and four temporal logic operators as defined. Temporal logic object model is put forward. We research object knowledge representation. Knowledge representation model based on temporal logic and an object knowledge case are given. The result shows that the presented model can be applied conveniently.
【Fund】: 国家教育部骨干教师资助项目 (2 0 0 0 - 6 5 )
【CateGory Index】: TP18
Download(CAJ format) Download(PDF format)
CAJViewer7.0 supports all the CNKI file formats; AdobeReader only supports the PDF format.
©2006 Tsinghua Tongfang Knowledge Network Technology Co., Ltd.(Beijing)(TTKN) All rights reserved