Laws@SRI-AI.ARPA (07/29/84)
From: Ken Laws <Laws@SRI-AI.ARPA>
The July CACM has a few items that may be of interest to AIers.
The first is a letter to the editor from Rellim C. Drahcir pointing
out the relevance of Clark's COME-FROM statement to AI. (COME-FROM
is an alternative to the GOTO. Drahcir claims that COME-FROM simplifies
proof procedures: "It can be shown that an arbitrary starting point can
be utilized for any program, given a clear statement of its terminus.
Thus we have a computational analog of the long-sought and very
elusive 'solve problem' computer instruction.")
Another letter, from Vic Vyssotsky, explains the origins of the
famous (phony) BTL TM on the Chaostron learning system. The
Chaostron memo was reprinted in the April CACM.
The journal also contains news notes on a Zurich workshop on AI
in economics and management and a Kansas City symposium on the role
of AI in command and control.
-- Ken Laws