• Articles • Previous Articles     Next Articles

A Relation Matrix Approach to Labelling Temporal Relations in Scheduling

Zhang Bo; Zhang Ling;   

  1. Dept.of Computer Science Tsinghua University; Beijing; Dept.of Mathematics; Anqing Teacher s College; Anhui;
  • Online:1991-07-10 Published:1991-07-10

In this paper,we present a relation matrix description of temporal relations.Based on this model a new algorithm for labelling temporal relations is proposed.Under certain conditions the algorithm is completed and has a polynomial complexity.In general cases it is still an efficient algorithm compared to some known algorithms.

Key words: cluster communication system,user-level communication,scalable flow control,CLUMPS;



[1] Allen.J.F., An interval-based representation of temporal knowledge. IJCAI-81, 221-226.

[2] Allen.J.F., Toward a general theory of actions and time. Al, 23 (1984), 123-154.

[3] McDermott.D., A temporal logic for reasoning about processes and plans. Cognitive Science 6, 1982. 101-155.

[4] Charniak.E & McDermott.D., Introduction to Artificial Intelligence. Addison-Wesley Pub.CO., 1985.

[5] Cook.S.A., The complexity of theorem-proving procedures. Proc. 3rd Ann . ACM Symp. On Theory of Computing, ACM.1971.151-158. ………….
No related articles found!
Viewed
Full text


Abstract

Cited

  Shared   
  Discussed   
[1] Feng Yulin;. Hierarchical Protocol Analysis by Temporal Logic[J]. , 1988, 3(1): 56 -69 .
[2] Jin Zhiquan; Liu Chengfei; Sun Zhongxiu; Zhou Xiaofang; Chen Peipei; Gu Jianming;. Design and Implementation of a Heterogeneous Distributed Database System[J]. , 1990, 5(4): 363 -373 .
[3] Zhang Xing er; Zhu Xiaojun; Li Jianxin; Dong Jianning;. Source-to-Source Conversion Based on Formal Definition[J]. , 1991, 6(2): 178 -184 .
[4] Shen Yidong;. Form alizing Incomplete Knowledge in Incomplete Databases[J]. , 1992, 7(4): 295 -304 .
[5] Li Renwei; He Pei; Zhang Wenhui;. An Introduction to IN CAPS System[J]. , 1993, 8(1): 26 -37 .
[6] Shen Yidong;. A Fixpoint Semantics for Stratified Databases[J]. , 1993, 8(2): 12 -21 .
[7] Zhao Zhaokeng; Dai Jun; Chen Wendan;. Automated Theorem Proving in Temporal Logic:T-Resolution[J]. , 1994, 9(1): 53 -62 .
[8] Han Qilong; Lu Ruzhan; Sun Yongqiang;. An Improved Bottom-up Method for Implementing Equational Programming Language[J]. , 1994, 9(1): 63 -69 .
[9] Shuai Dianxun;. Concurrent Competitive Wave Approach to Hyper-Distributed Hyper-Parallel AI Processing[J]. , 1997, 12(6): 543 -554 .
[10] Lu Weifeng; Zhang Yuping;. Experimental Study on Strategy of CombiningSAT Algorithms[J]. , 1998, 13(6): 608 -614 .

ISSN 1000-9000(Print)

         1860-4749(Online)
CN 11-2296/TP

Home
Editorial Board
Author Guidelines
Subscription
Journal of Computer Science and Technology
Institute of Computing Technology, Chinese Academy of Sciences
P.O. Box 2704, Beijing 100190 P.R. China
Tel.:86-10-62610746
E-mail: jcst@ict.ac.cn
 
  Copyright ©2015 JCST, All Rights Reserved