A general framework for time granularity and its application to temporal reasoning

被引:50
作者
Bettini, C
Wang, XS
Jajodia, S
机构
[1] Univ Milan, Dipartimento Sci Informaz, I-20135 Milan, Italy
[2] George Mason Univ, Dept Informat & Software Syst Engn, Fairfax, VA 22030 USA
关键词
D O I
10.1023/A:1018938007511
中图分类号
TP18 [人工智能理论];
学科分类号
081104 ; 0812 ; 0835 ; 1405 ;
摘要
This paper presents a general framework to define time granularity systems. We identify the main dimensions along which different systems can be characterized, and investigate the formal relationships among granularities in these systems. The paper also introduces the notion of a network of temporal constraints with (multiple) granularities emphasizing the semantic and computational differences from constraint networks with a single granularity. Consistency of networks with multiple granularities is shown to be NP-hard in general and approximate solutions for this problem and for the minimal network problem are proposed.
引用
收藏
页码:29 / 58
页数:30
相关论文
共 18 条
  • [1] [Anonymous], 1979, Computers and Intractablity: A Guide to the Theoryof NP-Completeness
  • [2] BETTINI C, 1995, IN PRESS P ACM SIGMO
  • [3] BETTINI C, 1996, IN PRESS P ACM PODS
  • [4] Chandra R., 1994, Proceedings. The 10th International Conference Data Engineering (Cat. No.94CH3383-7), P264, DOI 10.1109/ICDE.1994.283040
  • [5] EMBEDDING TIME GRANULARITY IN A LOGICAL SPECIFICATION LANGUAGE FOR SYNCHRONOUS REAL-TIME SYSTEMS
    CIAPESSONI, E
    CORSETTI, E
    MONTANARI, A
    SANPIETRO, P
    [J]. SCIENCE OF COMPUTER PROGRAMMING, 1993, 20 (1-2) : 141 - 171
  • [6] Clifford J., 1987, P C TEMP ASP INF SYS, P23
  • [7] USING TEMPORAL HIERARCHIES TO EFFICIENTLY MAINTAIN LARGE TEMPORAL DATABASES
    DEAN, T
    [J]. JOURNAL OF THE ACM, 1989, 36 (04) : 687 - 718
  • [8] TEMPORAL CONSTRAINT NETWORKS
    DECHTER, R
    MEIRI, I
    PEARL, J
    [J]. ARTIFICIAL INTELLIGENCE, 1991, 49 (1-3) : 61 - 95
  • [9] Euzenat J., 1995, P INT JOINT C ART IN, P894
  • [10] Hobbs J., 1985, P IJCAI LOS ANG, P432