Explanation Generation over Temporal Interval Algebra

Temporal interval algebra has generated strong interest for both theoretical and practical reasons. All its maximal tractable subalgebras (MTS) have been identified. Now is the time to make transition toward their practical applications. In this work we have proposed a formalism on how to classify an input temporal network in one of these MTSs, or decide its intractability. We have also proposed a linear algorithm for checking consistency when the input belongs to one of the seventeen MTSs, and for finding out the constraints responsible for inconsistency in case the network is unsatisfiable.

[1]  Peter Jeavons,et al.  Reasoning about temporal relations: The tractable subalgebras of Allen's interval algebra , 2003, JACM.

[2]  Jianhua Gong,et al.  A Collaborative Virtual Geographic Environment: Design and Development , 2006 .

[3]  Peter Jonsson,et al.  Twenty-One Large Tractable Subclasses of Allen's Algebra , 1997, Artif. Intell..

[4]  James F. Allen.  Maintaining knowledge about temporal intervals , 1983, CACM.

[5]  Mohamed Hisham,et al.  Applications of Building Information Modeling in Cost Estimation of Infrastructure Bridges , 2012, Int. J. 3 D Inf. Model..

[6]  E. Heller.  An international journal. , 1968, Canadian Medical Association journal.

[7]  Bruce W. Smith,et al.  Assessing the Success of an Industrial Cluster , 2012, Int. J. Appl. Geospat. Res..

[8]  Suzana Dragicevic,et al.  Collaborative Geographic Information Systems , 2017, Encyclopedia of GIS.

[9]  Henry A. Kautz,et al.  Constraint Propagation Algorithms for Temporal Reasoning , 1986, AAAI.

[10]  P. Vanbeek.  Reasoning about qualitative temporal information , 1992 .

[11]  Gérard Ligozat,et al.  A New Proof of Tractability for ORD-Horn Relations , 1996, AAAI/IAAI, Vol. 1.

[12]  Bernhard Nebel,et al.  Reasoning about temporal relations: a maximal tractable subclass of Allen's interval algebra , 1994, JACM.

[13]  Gang Gong,et al.  From Beats to Tracts: A Remote Sensing Approach to the Interpolation of Crime Data , 2010, Int. J. Appl. Geospat. Res..

[14]  Christopher D. Storie,et al.  Intra-Urban Analysis of Commercial Locations A GIS-Based Approach , 2013, Int. J. Appl. Geospat. Res..