Some may be of the opinion that one event can begin before another only by virtue of the existence of some event (a “witness”) which wholly precedes the other and does not wholly precede the one (and similarly for “ends before” and “does not abut”). Those would prefer $\mathbb{F}$ 0 to $\mathbb{F}$ as a model for observers' apprehensions of events. Since G is a functor from $\mathbb{M}$ to $\mathbb{F}$ 0, the current construction (restricted to $\mathbb{F}$ 0) remains applicable.This work supports (...) a claim that the psychologically fundamental temporal relationships are “wholly precedes”, “begins before”, “ends before” and “abuts”. But only in a very weak sense. Any other set of relationships which is interdefinable with this one, using only quantifier-free formulas in the definitions, could be used to define a category $\mathbb{F}$ ′ which is indistinguishable from $\mathbb{F}$ (because the same functions preserve and reflect the new relationships). This work equally supports the claim that those relationships are the psychologically fundamental ones, or the claim that it is just “wholly precedes” which is fundamental, and that we perceive “begins before” just by virtue of witnesses. But it refutes the claim that only “wholly precedes” is fundamental, and that we understand “begins before” only because we understand time as a linear ordering. (shrink)

Much previous work in artificial intelligence has neglected representing time in all its complexity. In particular, it has neglected continuous change and the indeterminacy of the future. To rectify this, I have developed a first‐order temporal logic, in which it is possible to name and prove things about facts, events, plans, and world histories. In particular, the logic provides analyses of causality, continuous change in quantities, the persistence of facts (the frame problem), and the relationship between tasks and actions. It (...) may be possible to implement a temporal‐inference machine based on this logic, which keeps track of several “maps” of a time line, one per possible history. (shrink)

First published in 1999. Routledge is an imprint of Taylor & Francis, an informa company.

In Logics for Artificial Intelligence, Raymond Turner leads us on a whirl-wind tour of nonstandard logics and their general applications to Al and computer science.

This extended investigation of the semantics of event (and state) sentences in their various forms is a major contribution to the semantics of natural language, simultaneously encompassing important issues in linguistics, philosophy, and logic. It develops the view that the logical forms of simple English sentences typically contain quantification over events or states and shows how this view can account for a wide variety of semantic phenomena. Focusing on the structure of meaning in English sentences at a &"subatomic&" level&-that is, (...) a level below the one most theories accept as basic or &"atomic&"&-Parsons asserts that the semantics of simple English sentences require logical forms somewhat more complex than is normally assumed in natural language semantics. His articulation of underlying event theory explains a wide variety of apparently diverse semantic characteristics of natural language, and his development of the theory shows the importance of seeing the distinction between events and states. Parsons demonstrates that verbs, also, indicate kinds of actions rather than specific, individual actions. Verb phrases, too, he argues, depend on modifiers to make their function and meaning in a sentence specific. An appendix gives many of the details needed to formalize the theory discussed in the body of the text and provides a series of templates that permit the generation of atomic formulas of English. (shrink)

In 1936, Benjamin Lee Whorf wrote a justly famous paper entitled "An American Indian Model of the Universe" (Carroll, 1956). In that paper, Whorf criticized the easy assumption that people in different cultures, speaking radically different languages, share common presuppositions about what the world is like. He contrasted the Hopi view of space and time with what he called elsewhere the Standard Average European view. For the Hopi, space and time are inherently relativistic; for the speaker of Western European languages, (...) like English, the universe is basically Newtonian, time and space are absolute, "containers" of things and events. (shrink)

In 1936, Benjamin Lee Whorf wrote a justly famous paper entitled "An American Indian Model of the Universe" (Carroll, 1956). In that paper, Whorf criticized the easy assumption that people in different cultures, speaking radically different languages, share common presuppositions about what the world is like. He contrasted the Hopi view of space and time with what he called elsewhere the Standard Average European view. For the Hopi, space and time are inherently relativistic; for the speaker of Western European languages, (...) like English, the universe is basically Newtonian, time and space are absolute, "containers" of things and events. (shrink)