Temporal reasoning: A relativistic model
β Scribed by Rita V. Rodriguez; Frank D. Anger; Kenneth M. Ford
- Publisher
- John Wiley and Sons
- Year
- 1991
- Tongue
- English
- Weight
- 935 KB
- Volume
- 6
- Category
- Article
- ISSN
- 0884-8173
No coin nor oath required. For personal study only.
β¦ Synopsis
In 1983, Allen presented an ingenious method for the representation and maintenance of temporal information in the presence of imprecise, uncertain, and relative knowledge about time of occurrence. He introduced 13 relations between his primitive "temporal intervals," providing for the expression of "any relationship which can hold between two intervals." The model, however, did not address the problem of temporally incomparable events, such as events occurring in a distributed system without a common clock. Lamport's interprocessor communication model furnishes an axiomatic system for describing such events and their possible relationships. This article demonstrates that Allen's temporal model can be subsumed in a more general model based on Lamport's axiomatics. It is further suggested that this extended model can provide the underpinnings of a temporal knowledge base containing time-dependent information measured by unsynchronized clocks or in relativistic space-time. In this model, the number of relations between intervals increases dramatically from Allen's 13 or Lamport's 2 or 3 to over 80. Within this context, a modification of Allen's algorithm for the maintenance of a temporal reasoning system is presented, thus permitting the advantages of such a system to extend to reasoning about a wider range of phenomena.
π SIMILAR VOLUMES
Abstrac t. For a three-dimensional model of the harmonic oscillator in the relativistic configurational r-representation wave functions in the spherical coordinates r = (r, 0, q ~) are found. The generating function, orthogonality and various recurrence relations for the radial part of the wave func
Existing epistemic logics such as the logic of implicit and explicit belief and the logic of awareness adopt a deducti¨e-theoretic approach for characterizing belief. In this approach, an agent represents the state of the world with a conjunction of axioms in its knowledge Ž . base KB and evaluates
Decision-support systems that help solving problems in open and weak theory domains, i.e. hard problems, need improved methods to ground their models in real-world situations. Models that attempt to capture domain knowledge in terms of, e.g. rules or deeper relational networks, tend either to become