Temporal representation and reasoning in artificial intelligence: Issues and approaches

被引:56
作者
Chittaro, L [1 ]
Montanari, A [1 ]
机构
[1] Univ Udine, Dipartimento Matemat & Informat, I-33100 Udine, Italy
关键词
D O I
10.1023/A:1018900105153
中图分类号
TP18 [人工智能理论];
学科分类号
081104 ; 0812 ; 0835 ; 1405 ;
摘要
Time is one of the most relevant topics in AI. It plays a major role in several areas, ranging from logical foundations to applications of knowledge-based systems. In this paper, we survey a wide range of research in temporal representation and reasoning, without committing ourselves to the point of view of any specific application. The organization of the paper follows the commonly recognized division of the field in two main subfields: reasoning about actions and change, and reasoning about temporal constraints. We give an overview of the basic issues, approaches, and results in these two areas, and outline relevant recent developments. Furthermore, we briefly analyze the major emerging trends in temporal representation and reasoning as well as the relationships with other well-established areas, such as temporal databases and logic programming.
引用
收藏
页码:47 / 106
页数:60
相关论文
共 248 条
[1]  
ALFERES J, 1994, P IBERAMIA 94, P93
[2]  
Allen J. E., 1994, Journal of Logic and Computation, V4, P531, DOI 10.1093/logcom/4.5.531
[3]   TOWARDS A GENERAL-THEORY OF ACTION AND TIME [J].
ALLEN, JF .
ARTIFICIAL INTELLIGENCE, 1984, 23 (02) :123-154
[4]   MAINTAINING KNOWLEDGE ABOUT TEMPORAL INTERVALS [J].
ALLEN, JF .
COMMUNICATIONS OF THE ACM, 1983, 26 (11) :832-843
[5]  
[Anonymous], 1991, Artificial intelligence and mathematical theory of computation: papers in honor of John McCarthy, DOI DOI 10.1016/B978-0-12-450010-5.50026-8
[6]   A NONREIFIED TEMPORAL LOGIC [J].
BACCHUS, F ;
TENENBERG, J ;
KOOMEN, JA .
ARTIFICIAL INTELLIGENCE, 1991, 52 (01) :87-108
[7]   Planning for temporally extended goals [J].
Bacchus, F ;
Kabanza, F .
ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, 1998, 22 (1-2) :5-27
[8]  
Bacchus F, 1996, FR ART INT, V31, P141
[9]  
BACCHUS F, 1995, P 14 INT JOINT C ART, P1933
[10]  
BACCHUS F, 1996, P 14 INT JOINT C ART, P141