Re: CCAT: TIME mission & email@example.com
To: Fritz Lehmann <firstname.lastname@example.org>
Cc: email@example.com, firstname.lastname@example.org, M.J.Johnson@qmw.ac.uk,
email@example.com, firstname.lastname@example.org, email@example.com,
firstname.lastname@example.org, email@example.com, dick@Glue.umd.edu,
firstname.lastname@example.org, email@example.com, firstname.lastname@example.org,
email@example.com, firstname.lastname@example.org, email@example.com,
firstname.lastname@example.org, email@example.com, firstname.lastname@example.org,
email@example.com, firstname.lastname@example.org, email@example.com,
firstname.lastname@example.org, email@example.com, firstname.lastname@example.org,
email@example.com, firstname.lastname@example.org, email@example.com
In-reply-to: <9410110122.AA17890@rodin.wustl.edu> (message from Fritz Lehmann on Mon, 10 Oct 94 20:22:40 CDT)
Subject: Re: CCAT: TIME mission & tenses
Date: Tue, 11 Oct 94 9:54:23 PDT
Source-Info: From (or Sender) name not authenticated.
In the "for what it's worth" department:
On state: I just finished an article on the Cleanroom software development
method, which uses a three-level approach to defining system behaviors. At
the top level, a system is viewed as a black box, which accepts sequences of
stimuli and produces sequences of responses. The behavioral specification
is given in terms of conditions on a sequence of stimuli which will cause a
given response. At the next level, this specification is elaborated in
terms of a state machine. I thought you might find this use of "histories"
as alternatives to "states" worth considering.
On tense: I have somewhere in my archives a Rand paper from the early '70s
by J. L. Kuhns, analyzing English tenses in terms of three times: the current
time (time of the speech act), the event time, and a reference time. The
relation of the reference time to the other two allows representing perfect
tenses, etc. (I should say that it's been a long time since I read the
paper, and I may be misquoting it). I can probably unearth the paper if
it's worth it.
Don Dwiggins "Solvitur Ambulando"
Mark V Systems, Inc.