Towards a general theory of action and time
Artificial Intelligence
A logic-based calculus of events
New Generation Computing
Temporal logics in AI: semantical and ontological considerations
Artificial Intelligence
Temporal ontology and temporal reference
Computational Linguistics - Special issue on tense and aspect
A critical examination of Allen's theory of action and time
Artificial Intelligence
Moments and points in an interval-based temporal logic
Computational Intelligence
A propositional modal logic of time intervals
Journal of the ACM (JACM)
Effective solution of qualitative interval constraint problems
Artificial Intelligence
A glossary of temporal database concepts
ACM SIGMOD Record
Automatic deduction of temporal information
ACM Transactions on Database Systems (TODS)
A survey on temporal reasoning in artificial intelligence
AI Communications
Maintaining knowledge about temporal intervals
Communications of the ACM
Primitive Intervals versus Point-Based Intervals: Rivals or Allies?
The Computer Journal
An interval-based representation of temporal knowledge
IJCAI'81 Proceedings of the 7th international joint conference on Artificial intelligence - Volume 1
IJCAI'85 Proceedings of the 9th international joint conference on Artificial intelligence - Volume 1
IJCAI'87 Proceedings of the 10th international joint conference on Artificial intelligence - Volume 2
Models of axioms for time intervals
AAAI'87 Proceedings of the sixth National conference on Artificial intelligence - Volume 1
Hi-index | 0.00 |
A natural approach to representing and reasoning about temporal propositions (i.e., statements with time-dependent truth-values) is to associate them with time elements. In the literature, there are three choices regarding the primitive for the ontology of time: (1) instantaneous points, (2) durative intervals and (3) both points and intervals. Problems may arise when one conflates different views of temporal structure and questions whether some certain types of temporal propositions can be validly and meaningfully associated with different time elements. In this paper, we shall summarize an ontological glossary with respect to time elements, and diversify a wider range of meta-predicates for ascribing temporal propositions to time elements. Based on these, we shall also devise a versatile categorization of temporal propositions, which can subsume those representative categories proposed in the literature, including that of Vendler, of McDermott, of Allen, of Shoham, of Galton and of Terenziani and Torasso. It is demonstrated that the new categorization of propositions, together with the proposed range of meta-predicates, provides the expressive power for modeling some typical temporal terms/phenomena, such as starting-instant, stopping-instant, dividing-instant, instigation, termination and intermingling etc.