𝔖 Bobbio Scriptorium
✦   LIBER   ✦

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


A Relativistic Model of the Isotropic Os
✍ Dr. N. M. Atakishiyev; R. M. Mir-Kasimov; Sh. M. Nagiyev πŸ“‚ Article πŸ“… 1985 πŸ› John Wiley and Sons 🌐 English βš– 323 KB

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

Reasoning tractably about explicit belie
✍ Kwang Mong Sim πŸ“‚ Article πŸ“… 2000 πŸ› John Wiley and Sons 🌐 English βš– 273 KB πŸ‘ 2 views

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

A context model for knowledge-intensive
✍ PINAR Γ–ZTÜRK; AGNAR AAMODT πŸ“‚ Article πŸ“… 1998 πŸ› Elsevier Science 🌐 English βš– 436 KB

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