Copy Link
Add to Bookmark
Report
AIList Digest Volume 2 Issue 137
AIList Digest Saturday, 13 Oct 1984 Volume 2 : Issue 137
Today's Topics:
Fuzzy Logic - Query,
AI Literature - The AI Report,
AI Tools - OPS5 & LM-Prolog & VMS PSL 3.2,
Lisp Machines - TI Explorers,
Games - ACM Chess Tournament & Chess Planning,
Seminar - Knowledge Based Software Development,
Conference - AI Society of New England
----------------------------------------------------------------------
Date: 10 Oct 84 8:55:33-PDT (Wed)
From: hplabs!intelca!qantel!dual!fortune!polard @ Ucb-Vax.arpa
Subject: Fuzzy logic references wanted
Article-I.D.: fortune.4472
Would anyone be kind enough to send me (or post) a list of readings
that would serve as an introduction to fuzzy logic?
Thank you,
Henry Polard
Henry Polard (You bring the flames - I'll bring the marshmallows.)
{ihnp4,cbosgd,amd}!fortune!polard
N.B: The words in this posting do not necessarily express the opinions
of me, my employer, or any AI project.
------------------------------
Date: Thu 11 Oct 84 21:09:44-PDT
From: ROBINSON@SRI-AI.ARPA
Subject: Omission
Your list of AI information resources omits a significant
publication:
The Artificial Intelligence Report
published by Artificial Intelligence Publications.
------------------------------
Date: 11 Oct 84 13:38:27 EDT
From: BIESEL@RUTGERS.ARPA
Subject: Addendum to OPS5 list.
Some readers of this list pointed out a couple of omissions on the OPS5
summary posted a few days ago; thanks are due them for the additional
material.
A version of OPS5 called OPS5E, running on the Symbolics 3600 is available from
Verac, Inc.
10975 Torreyana Road, Suite 300
San Diego, CA 92121
Prices: $3000 object code, $10000 source, $1000 one year support.
There is also a version for the Xerox D series machines (Dandelion, Dolphin,
Dorado) available from
Science Applications International Corp.
1200 Prospect St.
P.O.Box 2351
La Jolla, CA 92038
(619) 454-3811
Price: $2000.
------------------------------
Date: 12 Oct 84 09:23 PDT
From: Kahn.pa@XEROX.ARPA
Subject: Re: LM-Prolog, Grammar Kit
My experiences using LM-Prolog have been very positive but I am surely
not an un-biased judge (being one of the co-authors of the system). (I
am tempted to give a little ad for LM-Prolog here, but will refrain.
Interested parties can contact me directly.)
Regarding the Grammar Kit, the main thing that distinguishes it from
other DCGs is that it can continuously maintain a parse tree. The tree
is drawn as parses are considered and parts of it disappear upon
backtracking. I have found this kind of dynamic graphic display very
useful for explaining Prolog and DCGs to people as well as debugging
specific grammars.
------------------------------
Date: Thu 11 Oct 84 07:16:44-MDT
From: Robert R. Kessler <KESSLER@UTAH-20.ARPA>
Subject: PSL 3.2 for Vax VMS
PSL 3.2 for Vax VMS
We are pleased to announce that Portable Standard LISP (PSL) version 3.2 is
now available for Vaxen running the VMS operating system. PSL is about the
power, speed and flavor of Franz LISP or MACLISP, with growing influence
from Common LISP. It is recognized as an efficient and portable LISP
implementation with many more capabilities than described in the 1979
Standard LISP Report. PSL's main strength is its portability across many
different systems, including: Vax BSD Unix, Extended Addressing
DecSystem-20 Tops-20, Apollo DOMAIN Aegis, and HP Series 200. A version
for the IBM-370 is in beta test, a Sun version is 90% complete and two Cray
versions are being used on an experimental basis. Since PSL generates very
efficient code, it is an ideal delivery vehicle for LISP based applications
(we can also provide PSL reseller licenses for binary only and source
distributions).
PSL is distributed for the various systems with executables, all sources,
an approximately 500 page manual and release notes. The release notes
describe how to install the system and how to rebuild the various modules.
We are charging $750 for the Vax/VMS version of PSL for Commercial Site
licenses. Non-profit institutions and all other versions of PSL will not
be charged a license fee. We are also charging a $250 tape or $350 floppy
distribution fee for each system.
PSL is in heavy use at Utah, and by collaborators at Hewlett-Packard, Rand,
Stanford, Columbia and over 200 other sites. Many existing programs and
applications have been adapted to PSL including Hearn's REDUCE computer
algebra system and GLISP, Novak's object oriented LISP dialect. These are
available from Hearn and Novak.
To obtain a copy of the license and order form, please send a NET message
or letter with your US MAIL address to:
Utah Symbolic Computation Group Secretary
University of Utah - Dept. of Computer Science
3160 Merrill Engineering Building
Salt Lake City, Utah 84112
ARPANET: CRUSE@UTAH-20
USENET: utah-cs!cruse
------------------------------
Date: Thu, 11 Oct 84 03:52:11 pdt
From: weeks%ucbpopuli.CC@Berkeley (Harry Weeks)
Subject: TI Lisp Machines.
The recent article from PENTLAND@SRI-AI has some interesting benchmark
data. I am looking seriously at Lisp Machines for purchase in the near
future, so I went around to the Xerox, Symbolics and LMI people at ACM
84. I was told by the LMI folks that they were OEMs for the TI
machines. (The machines do look almost identical.) So I didn't chat
with the TI folks -- perhaps a mistake. If LMI does OEM their machines
to TI, why the difference in performance? Perhaps someone in the know
can clarify this.
If anyone out there with comparative experience in these various
machines can say a few words on what they think are the relative merits
of each vendor's product it would be quite helpful to prospective
buyers. I came away with little substantive basis for comparison from
talking with the salesmen. Most of them were high on pretension, low
on comprehension and quite adept at parrying questions.
As an incidental note, I found at the conference that Lisp and Prolog
are now available under PRIMOS on Prime computers. A positive side-
effect of the increased interest in AI is the widening spectrum of
environments supporting AI languages, an important factor for soft-
ware producers looking for a wide market.
Harry Weeks
(Weeks@UCBpopuli)
P.S.
I just happened to read the latest Datamation today [10/11] and it
contains a news article which also provides some information on the
TI machines.
------------------------------
Date: Thu 11 Oct 84 23:52:54-PDT
From: PENTLAND@SRI-AI.ARPA
Subject: TI Lispm Timings - Clarification
Re: TI Lisp Machine timings
People have criticized me for the recently circulated comparison of TI
and Symbolics machines; mistaking the simple, rough timings I ran on
the TI and Symbolics machines for serious benchmarks. I am surprised
that anyone thinks that benchmarking a machine can be a simple as the
comparison I did, which was limited by a need for extreme brevity.
I therefore want to make clear that the timings I ran were ROUGH, QUALITATIVE
measures of very limited portions of the machines performance, and
bear only a VERY ROUGH, ORDER-OF-MAGNITUDE RELATIONSHIP TO THE TRUE
PERFORMANCE of the machines. That is, there is NO warranty of
accuracy for such simple tests. Serious benchmarking has yet to be
done.
Alex Pentland
------------------------------
Date: Fri 12 Oct 84 16:49:27-CDT
From: CMP.BARC@UTEXAS-20.ARPA
Subject: TI Explorers for MIT
Mike Green of Symbolics told us that MIT's "multi-million-dollar order" is
essentially a gift from TI to MIT. He said that MIT has confirmed this.
Apparently, TI is donating 200 machines to MIT and giving them the option to
buy another 200 at $28K each over the next two years. However, TI is working
to get DARPA to pay for the second 200! If this is true, I just may "order"
a few hundred myself.
Dallas Webster
CMP.BARC@UTexas-20.ARPA
------------------------------
Date: 11 Oct 84 12:06:18 EDT
From: Feng-Hsiung.Hsu@CMU-CS-VLSI
Subject: ACM Chess Tournament
[Forwarded from the CMUC bboard by Laws@SRI-AI.]
The following message was posted on usenet:
The standings follow. Ties were broken by considering the sum of
the opponents' scores. Since 'Bebe' and 'Fidelity X' deadlocked here, the
sum of the opponents' opponents' scores were tallied. Deadheat again, so
by fiat, Fidelity walked home with the second place trophy, as Bebe finished
second at ACM '83. (At least, I think this is what happened, the groggy
hardcore disbanding at 1 am).
There were surprises, including a disappointing showing by Belle.
I shall leave game commentary to the experts. Mike Valvo and Danny Kopec
emceed the fourth round, and several other masters were in attendance,
including former World Juniors champ Julio Kaplan.
Blitz was running on a 420 MIP four-barrel Cray XMP-48, computing
100K nodes per second (Belle does 160K). Bebe is a custom bit-slice micro,
with hardware assist for various functions. Fidelity is a commercial 6 MHz
6502, and International Software Experimental is David Levy's Apple II.
Cray Blitz 2150 4
Fidelity X 1900 3
Bebe 1927 3
Chaos 1714 3
Belle 2200 2.5
Nuchess 2100 2
Phoenix 1910 2
Novag X 1970 2
Int. Soft. X 2022 (est) 2
Schach 2.7 N/A 1.5
Ostrich 1475 1
Awit 1600 1
Merlin N/A 1
Xenarbor N/A 0
------------------------------
Date: Tue, 9 Oct 84 21:07:34 edt
From: krovetz@nlm-mcs (Bob Krovetz)
Subject: chess and planning
A very nice paper on a program that uses planning in making chess
moves is:
"Using Patterns and Plans in Chess", Dave Wilkins, Artificial
Intelligence, Vol. 14, 1980.
The program is called PARADISE, and has found a mate that was 19 ply
deep!
-Bob (Krovetz@NLM-MCS)
------------------------------
Date: 11 Oct 1984 1306-EDT
From: Scott Dietzen <DIETZEN@CMU-CS-C.ARPA>
Subject: Seminar - Knowledge Based Software Development
[Forwarded from the CMUC bboard by Laws@SRI-AI.]
Friday, October 12
2:00 PM in Wean 5409
Knowledge Based Software Development in FSD
Robert Balzer
USC/ISI
Our group is persuing the goal of an automation based software
development paradigm. While this goal is still distant, we have embeded
our current perceptions and capabilities in a prototype (FSD) of such a
software development environment. Although this prototype was built
primarily as a testbed for our ideas, we decided to gain insight by
using it, and have added some administrative services to expand it from
a programming system to a computing environment currently being used by
a few ISI researchers for all their computing activities. This "AI
operating system" provides specification capabilities for Search,
Coordination, Automation, Evolution and Inter-User Interaction.
Particularly important is evolution, as we recognize that useful
systems can only arise, and remain viable, through continued evolution.
Much of our research is focused on this issue and several examples will
be used to characterize where we are today and where we are headed.
Naturally, we have started to use these facilities to evolve our system
itself.
------------------------------
Date: Thu, 11 Oct 84 17:43:05 edt
From: Douglas Stumberger <des%bostonu.csnet@csnet-relay.arpa>
Subject: Conference - AI Society of New England
The Sixth Annual Conference of the
Artificial Intelligence Society of New England
Oct. 26-27, 1984
It is time once again for our legendary annual AISNE meeting! In
keeping with our time-honored tradition, we will have an invited
speaker for Friday night, with panel discussions and talks by
students on Saturday.
Accommodations on Friday night will be informal. Bring a sleeping
bag, and we can find you a place to stay. If you want us to find
you a place, tell Doug Stumberger at Boston University how many
bodies you have. Note: If you have a faculty representative at
your institution, they can pass this information on to Doug for
you in order to minimize long distance phone calls. (If you don't
know who your faculty rep. is, it's probably the person who dis-
tributed this announcement.) There is no admission charge, and
no formal registration necessary, though if you need informal ac-
comodations for Friday night, please let Doug know.
The event will be held at:
Department of Computer Science
Boston University
111 Cumington Street
Boston, MA
The Program is:
Friday, Oct. 26
8:00 pm. Invited Talk by David Waltz (Brandeis University)
"Massively Parallel Models and Hardware for AI"
9:00 pm. Libational Social Hour
Saturday, Oct. 27:
10:00 am. Panel discussion chaired by Elliot Soloway (Yale)
"Intelligent Tutoring Systems"
11:30 am. Talks on Academic Research Projects (15 min. each)
12:30 pm. Lunch
2:00 pm. Panel discussion chaired by Michael Lebowitz (Columbia U.)
"Natural Language - What Matters?"
3:30 pm. More Talks
4:30 pm. AISNE Business Meeting
Program Coordinator: Local Coordinator:
Wendy Lehnert Douglas Stumberger
COINS Department of Computer Science
University of Massachusetts 111 Cumington Street
Amherst, MA 01003 Boston, MA 02215
413-545-3639 617-353-8919
csnet: lehnert@umass-cs csnet: des@bostonu
bitnet: csc10304@bostonu
------------------------------
End of AIList Digest
********************
