NEW AND USED TEMPORAL MODELS - AN ISSUE OF TIME

被引:6
作者
ANGER, FD
CLARKE, EM
机构
[1] UNIV W FLORIDA,DIV COMP SCI,PENSACOLA,FL 32514
[2] CARNEGIE MELLON UNIV,DEPT COMP SCI,PITTSBURGH,PA 15213
关键词
CONCURRENCY; TEMPORAL MODELS; TEMPORAL LOGIC; VERIFICATION;
D O I
10.1007/BF00871719
中图分类号
TP18 [人工智能理论];
学科分类号
081104 ; 0812 ; 0835 ; 1405 ;
摘要
The Special Issue on Applications of Temporal Models raises many issues of time: What are the important properties of time? How can time be best represented? How can one reason about time-dependent properties? What are the important directions of temporal research? This introductory piece very briefly surveys the current wide variety of temporal models, temporal reasoning methods, and applications to time-varying phenomena. Promising areas of investigation such as the verification of concurrent systems, knowledge-base representation methods, and dealing with the Frame Problem pass in fleeting review. Brief introductions to each of the works in the volume close the section.
引用
收藏
页码:5 / 15
页数:11
相关论文
共 65 条
[1]  
ABRAHAM U, 1990, SEMAENTICS CONCURREN
[2]   TOWARDS A GENERAL-THEORY OF ACTION AND TIME [J].
ALLEN, JF .
ARTIFICIAL INTELLIGENCE, 1984, 23 (02) :123-154
[3]   TIME AND TIME AGAIN - THE MANY WAYS TO REPRESENT TIME [J].
ALLEN, JF .
INTERNATIONAL JOURNAL OF INTELLIGENT SYSTEMS, 1991, 6 (04) :341-355
[4]   MAINTAINING KNOWLEDGE ABOUT TEMPORAL INTERVALS [J].
ALLEN, JF .
COMMUNICATIONS OF THE ACM, 1983, 26 (11) :832-843
[5]   VERIFYING TEMPORAL PROPERTIES WITHOUT TEMPORAL LOGIC [J].
ALPERN, B ;
SCHNEIDER, FB .
ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1989, 11 (01) :147-167
[6]  
ANGER F, 1990, P INFORMATION PROCES, P74
[7]  
ANGER F, 1991, LECTURE NOTES COMPUT
[8]  
ANGER F, 1991, 4TH P IEA AIE INT C, P609
[9]  
ANGER F, 1991, 9 APPL ART INT P SPI, P122
[10]   ON LAMPORT INTERPROCESSOR COMMUNICATION MODEL [J].
ANGER, FD .
ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1989, 11 (03) :404-417