Representing The Dividing Instant

The so-called dividing instant (DI) problem is an ancient historical puzzle encountered when attempting to represent what happens at the boundary instant which divides two successive states. The specification of such a problem requires a thorough exploration of the primitives of the temporal ontology and the corresponding time structure, as well as the conditions that the resulting temporal models must satisfy. The problem is closely related to the question of how to characterize the relationship between time periods with positive duration and time instants with no duration. It involves the characterization of the ‘closed’ and ‘open’ nature of time intervals, i.e. whether time intervals include their ending points or not. In the domain of artificial intelligence, the DI problem may be treated as an issue of how to represent different assumptions (or hypotheses) about the DI in a consistent way. In this paper, we shall examine various temporal models including those based solely on points, those based solely on intervals and those based on both points and intervals, and point out the corresponding DI problem with regard to each of these temporal models. We shall propose a classification of assumptions about the DI and provide a solution to the corresponding problem.

[1]  Brian Knight,et al.  A General Temporal Theory , 1994, Comput. J..

[2]  Antony Galton,et al.  Space, Time, and Movement , 1997 .

[3]  Mark Steedman,et al.  Temporal Ontology and Temporal Reference , 1988, CL.

[4]  Drew McDermott,et al.  A Temporal Logic for Reasoning About Processes and Plans , 1982, Cogn. Sci..

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

[6]  W. Mays,et al.  Process and Reality , 1978 .

[7]  Patrick J. Hayes,et al.  A Common-Sense Theory of Time , 1985, IJCAI.

[8]  Marc B. Vilain,et al.  A System for Reasoning About Time , 1982, AAAI.

[9]  Brian Knight,et al.  A Reified Temporal Logic , 1996, Comput. J..

[10]  James F. Allen.  Towards a General Theory of Action and Time , 1984, Artif. Intell..

[11]  Antony Galton,et al.  A Critical Examination of Allen's Theory of Action and Time , 1990, Artif. Intell..

[12]  Patrick J. Hayes,et al.  Short Time Periods , 1987, IJCAI.

[13]  Vincenzo Lombardo,et al.  Semantic Interpretation of Tense, Actionality and Aspect , 1990, ECAI.

[14]  Fangzhen Lin,et al.  Provably correct theories of action , 1991, JACM.

[15]  VilaLluís,et al.  A survey on temporal reasoning in artificial intelligence , 1994 .

[16]  Edward P. Stabler,et al.  Knowledge Representation for Commonsense Reasoning with Text , 1989, CL.

[17]  John McCarthy,et al.  SOME PHILOSOPHICAL PROBLEMS FROM THE STANDPOINT OF ARTI CIAL INTELLIGENCE , 1987 .

[18]  Yoav Shoham,et al.  Temporal Logics in AI: Semantical and Ontological Considerations , 1987, Artif. Intell..

[19]  Antony Galton,et al.  An Investigation of 'Non-Intermingling' Principles in Temporal Logic , 1996, J. Log. Comput..

[20]  F Arosio.  Points of Time , 2005 .

[21]  Rebecca J. Passonneau,et al.  A Computational Model of the Semantics of Tense and Aspect , 1988, CL.

[22]  Z. Vendler.  Linguistics in Philosophy , 1967 .

[23]  Robert A. Kowalski,et al.  Database Updates in the Event Calculus , 1992, J. Log. Program..

[24]  Bertram C. Bruce.  A Model for Temporal References and Its Application in a Question Answering Program , 1972, Artif. Intell..

[25]  Barbara Pernici,et al.  Automatic deduction of temporal information , 1992, TODS.

[26]  C. Q. Lee,et al.  The Computer Journal , 1958, Nature.

[27]  Arie Segev,et al.  A glossary of temporal database concepts , 1992, SGMD.

[28]  Richard T. Snodgrass,et al.  The temporal query language TQuel , 1987, TODS.