×

On relations between intervals. (English) Zbl 0676.68062

From the author’s introduction: We examine the structure of the set of primitive temporal relations in the framework defind by Allen. We show that this structure is conveniently described by a polygon which can be interpreted in three different ways. We then use this information to solve two problems: reducing the number of entries in Allen’s transition table, and determining a minimal set of primitive relations. We get - a simplified transitivity table, with only forty-three entries; a set of six primitive relations which, together with two involutions, generates the set of thirteen primitive relations.

MSC:

68T99 Artificial intelligence
03B60 Other nonclassical logic
Full Text: DOI

References:

[1] Allen, J. F., Maintaining knowledge about temporal intervals, Comm. ACM, 26, 832-943 (1983) · Zbl 0519.68079
[2] Allen, J. F.; Hayes, P. J., A common-sense theory in time, Proc. IJCAI, 528-531 (1985)
[3] Bestougeff, H.; Ligozat, G., Parametrized abstract objects for linguistic information processing, Proc. European Chapter of the Association for Computational Linguistics, 107-115 (1985), Geneva
[4] Granier, T., Etude symbolique des chronologies entre intervalles de temps, Report LIFIA (1987), Grenoble
[5] Halpern, J. Y.; Shoham, J. Y., A propositional modal logic of time intervals, Proc. Symp. on Logic in Computer Science, 279-292 (1986), Cambridge, MA
[6] Lux, A.; Rit, J.-F., Modéles de raisonnement pour un module temporel, Actes des Journées Nationales du PRC-GRECO Intelligence Artificielle, 37-41 (1988), Toulouse
[7] Zhu, M.; Loh, N. K.; Siy, P., Towards the minimum set of primitives relations in temporal logic, Inform. Process. Lett., 26, 121-126 (1988) · Zbl 0642.03019
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.