AUTOMATIC DEDUCTION OF TEMPORAL INFORMATION

被引:21
作者
MAIOCCHI, R
DIMILANO, P
PERNICI, B
BARBIC, F
机构
[1] EFESO LOGIST,I-20100 MILAN,ITALY
[2] UNIV UDINE,I-33100 UDINE,ITALY
来源
ACM TRANSACTIONS ON DATABASE SYSTEMS | 1992年 / 17卷 / 04期
关键词
DESIGN; LANGUAGES; THEORY; EVENTS; META-LEVEL TEMPORAL ASSERTIONS; PROPOSITIONS; TEMPORAL DATABASE; TEMPORAL MODALITIES; TIME CALCULUS;
D O I
10.1145/146931.146934
中图分类号
TP [自动化技术、计算机技术];
学科分类号
0812 ;
摘要
In many computer-based applications, temporal information has to be stored, retrieved, and related to other temporal information. Several time models have been proposed to manage temporal knowledge in the fields of conceptual modeling, database systems, and artificial intelligence. In this paper we present TSOS, a system for reasoning about time that can be integrated as a time expert in environments designed for broader problem-solving domains. The main intended goal of TSOS is to allow a user to infer further information on the temporal data stored in the database through a set of deduction rules handling various aspects of time. For this purpose, TSOS provides the capability of answering queries about the temporal specifications it has in its temporal database. Distinctive time-modeling features of TSOS are the introduction of temporal modalities, i.e., the possibility of specifying if a piece of information is always true within a time interval, or if it is only sometimes true, and the capability of answering about the possibility and the necessity of the validity of some information at a given time, the association of temporal knowledge both to instances of data and to types of data, and the development of a time calculus for reasoning on temporal data. Another relevant feature of TSOS is the capability to reason about temporal data specified at different time granularities.
引用
收藏
页码:647 / 688
页数:42
相关论文
共 42 条
[1]   TOWARDS A GENERAL-THEORY OF ACTION AND TIME [J].
ALLEN, JF .
ARTIFICIAL INTELLIGENCE, 1984, 23 (02) :123-154
[2]   MAINTAINING KNOWLEDGE ABOUT TEMPORAL INTERVALS [J].
ALLEN, JF .
COMMUNICATIONS OF THE ACM, 1983, 26 (11) :832-843
[3]  
ANDERSON TL, 1982, IMPROVING DATABASE U, P273
[4]   A TEMPORALLY ORIENTED DATA MODEL [J].
ARIAV, G .
ACM TRANSACTIONS ON DATABASE SYSTEMS, 1986, 11 (04) :499-527
[5]  
ARIAV G, 1984, NOV P INT C INF SYST, P177
[6]  
BARBIC F, 1987, MAY P AFC IFIP WG8 1, P147
[7]  
BARBIC F, 1985, MAY P ACM INT C MAN, P51
[8]   ABSTRACTIONS IN TEMPORAL INFORMATION [J].
BOLOUR, A ;
DEKEYSER, LJ .
INFORMATION SYSTEMS, 1983, 8 (01) :41-49
[9]  
BOLOUR A, 1982, ACM SIGMOD RECORD, V12, P28
[10]  
Bubenko J. A. Jr., 1980, Information Processing 80. Proceedings of the IFIP Congress 80, P395