Recursive representation of periodicity and temporal reasoning

被引:6
作者
Anselma, L [1 ]
机构
[1] Univ Turin, Dipartimento Informat, I-10149 Turin, Italy
来源
11TH INTERNATIONAL SYMPOSIUM ON TEMPORAL REPRESENTATION AND REASONING, PROCEEDINGS | 2004年
关键词
D O I
10.1109/TIME.2004.1314419
中图分类号
TP18 [人工智能理论];
学科分类号
081104 [模式识别与智能系统]; 0812 [计算机科学与技术]; 0835 [软件工程]; 1405 [智能科学与技术];
摘要
Representing and reasoning with repeated and periodic events is important in many real-world domains, such as protocol and guideline management. In this set, it is important to give support to complex periodicities, that can involve non-symmetric repetitions, imprecision, variability, pauses between repetitions, and nested time intervals. Also, in these domains it can be useful to give support to composite events, as well as classes of events (i.e. types of actions) and instances of events (i.e. specific actions). In this paper, we propose a general-purpose domain-independent knowledge server dealing with all these issues. In particular, we describe a compact and (hopefully) user-friendly formalism for representing repetition/periodicity temporal constraints that supports arbitrarily nested repetitions as well as possibly imprecise and variable delays between repetitions. Moreover, we define two algorithms for performing consistency checking on knowledge bases of (possibly repeated/periodic) classes and instances of events retaining the efficiency of less expressive approaches.
引用
收藏
页码:52 / 59
页数:8
相关论文
共 19 条
[1]
TIME AND TIME AGAIN - THE MANY WAYS TO REPRESENT TIME [J].
ALLEN, JF .
INTERNATIONAL JOURNAL OF INTELLIGENT SYSTEMS, 1991, 6 (04) :341-355
[2]
MAINTAINING KNOWLEDGE ABOUT TEMPORAL INTERVALS [J].
ALLEN, JF .
COMMUNICATIONS OF THE ACM, 1983, 26 (11) :832-843
[3]
THE COMPUTATIONAL-COMPLEXITY OF QUERYING BOUNDS ON DIFFERENCES CONSTRAINTS [J].
BRUSONI, V ;
CONSOLE, L ;
TERENZIANI, P .
ARTIFICIAL INTELLIGENCE, 1995, 74 (02) :367-379
[4]
TEMPORAL CONSTRAINT NETWORKS [J].
DECHTER, R ;
MEIRI, I ;
PEARL, J .
ARTIFICIAL INTELLIGENCE, 1991, 49 (1-3) :61-95
[5]
Loganantharaj R., 1995, Proceedings of the Eighth Florida Artificial Intelligence Research Symposium. FLAIRS-95, P26
[6]
LOGANANTHARAJ R, 1997, P IEA AIE 97
[7]
MEIRI I, 1991, PROCEEDINGS : NINTH NATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE, VOLS 1 AND 2, P260
[8]
Domain-independent temporal reasoning with recurring events [J].
Morris, RA ;
Shoaff, WD ;
Khatib, L .
COMPUTATIONAL INTELLIGENCE, 1996, 12 (03) :450-477
[9]
MORRIS RA, 1995, P 2 INT WORKSH TEMP, P41
[10]
MORRIS RA, 1993, P 13 INT JOINT C ART, P655