The frequent use of temporal references makes a correct exhibition of their underlying structure vital to a full understanding of natural language. Such an understanding is important in teaching and translating, indeed in all uses of natural languages. In addition, understanding language better should aid in the design of computer programs which process natural languages.
Chapter 2 of this thesis surveys some relevant work on temporal references, both to show what has been done and to show the scope of the problem. Despite the divergence in terminology and viewpoint, a unified theory can be derived which relates and extends the previous work.
The new theory is presented in Chapter 3. It is a formal system which models the intuitive meaning of tenses, time relations, and other references to the time of events. The system precisely defines and shows the interrelationships of concepts which are often only vaguely defined. By its generality and its logical foundation, the system is able to serve as a skeleton for further studies of time in language.
To illustrate some of the features of the system a question answering computer system, called Chronos, was written which accepts information in the form of tensed sentences and answers questions about the time of events. This program is discussed in Chapter 4.
Chapter 5 discusses a problem which arises when we consider assigning truth values to statements about events occurring at times other than the present. The problem is to define a logic for unknown outcomes which retains the two valued technologies. A logic is presented which has two kinds of implication: a material implication for which all the classical tautologies hold, and a strict implication defined in terms of logical necessity. The strict implication fragment of this logic is shown to be slightly stronger than the Lewis (1959) system S5, although it avoids many of the so-called paradoxes of material implication. The logic of Chapter 5 is a useful extension of the system for tenses (Chapter 3) to situations in which future (and perhaps past) events may have the truth value “unknown”.
Chapter 6 is a discussion section which evaluates the tense system, the logic for unknown outcomes, and the program Chronos. Several possibilities for extending the thesis are discussed.
|3||A Model for Temporal References in Natural Language||37|
|5||A Logic for Unknown Outcomes||70|
Chapters 3 and 4 were combined, revised, and published as
Bruce, B. C. (1972). A model for temporal references and its application in a question answering program. Artificial Intelligence: An International Journal, 3, 1-26.
Chapter 5 was revised and published as
Pingback: Dance your Ph.D. « Chip’s journey
“Experience is the past tense of experiment.” – Gregory Alan Elliott (“Copyright 2009. Gregory Alan Elliott. All Rights Reserved”.)
“Is the future now yet?” – Gregory Alan Elliott (“Copyright 2009. Gregory Alan Elliott. All Rights Reserved”.)
“The future is now. No… NOW. Damn. The future is NOW! Damn, now the FUTURE is NOW again… umm, RIGHT NOW. Sorry, now cannot be the future.” – Gregory Alan Elliott (“Copyright 2009. Gregory Alan Elliott. All Rights Reserved”.)
“NOW is absolutely compressed between infinite pasts and infinite futures, it exists because of their similarities.” – Gregory Alan Elliott. (“Copyright 2009. Gregory Alan Elliott. All Rights Reserved”.)
“Like opposite magnetic poles, infinite pasts and futures repel each other just long enough for the NOW singularity to exist. Like right NOW!” – Gregory Alan Elliott. (“Copyright 2009. Gregory Alan Elliott. All Rights Reserved”.)
I enjoyed your dissertation about “The logical structure underlying temporal references in natural language.”… you wrote it back in 1971… that was a long time ago. It must have got people talking!
Gregory Alan Elliott
Pingback: Computer Sciences at UT « Chip’s journey