Date: Sun 24 Apr 1988 22:56-PDT
From: AIList Moderator Kenneth Laws <AIList-REQUEST@KL.SRI.COM>
Reply-To: AIList@KL.SRI.COM
Us-Mail: SRI Int., 333 Ravenswood Ave., Menlo Park, CA 94025
Phone: (415) 859-6467
Subject: AIList V6 #81 - Queries, BITNET Instructions
To: AIList@KL.SRI.COM
Status: RO
AIList Digest Monday, 25 Apr 1988 Volume 6 : Issue 81
Today's Topics:
Queries - Avionics Architectures for AI & AI Texts &
Expert Systems for Graphic Design & Users of "Steamer" &
T.G. Evans & John Mylopoulos,
Administrivia - Stray BITNET Messages & AILIST Sub Requests
----------------------------------------------------------------------
Date: Fri, 22 Apr 88 11:14:53 est
From: Mr. David Smith <dsmith@gelac.arpa>
Subject: Avionics Architectures for AI
Ken,
First of all, a hearty thanks for the job you have done in keeping the wheels
turning for so long. Our group will miss your work, and will fully support your
successor(s).
I have a plea for guidance. The field of processors for AI is moving so fast
that this may be the best place for on-line references. We are looking for
a processor with demonstrated capability in the following areas:
1. Proven hardware with power, weight etc. which would not prevent it from
being flown.
2. Language support - preferably Ada, but will accept C as the baseline
language.
3. Multi-tasking executive.
4. Architecture suited to hosting some type of Expert System tools with
access back to the Ada/C environment.
Replies to me may be on the net, DSMITH@gelac.arpa, by phone (404)494-3345
or by mail:
David Smith
Dept 72-64, Zone 410
LASC-Georgia
Marietta, Ga 30068
I will post a summary of the replies for interested parties.
DMS
------------------------------
Date: 23 Apr 88 00:37 EDT
From: AL148859%TECMTYVM.BITNET@CORNELLC.CCS.CORNELL.EDU
Subject: A new AIer.
Date: 23 April 1988, 00:34:05 EDT
From: AL148859 at TECMTYVM
To: AILIST at STRIPE.SRI.COM
Subject: A new AIer.
I'm new in the AI worl. Who can help me to start in this discipline.
Please, sendme suggestes..
Thanks
___
Juan Gabriel Ruiz Pinto /__/ __ __
I.S.E. / / /_ /-/ /_/
AL148859@TECMTYVM ________________________
------------------------------
Date: 24 Apr 88 00:14:52 GMT
From: g-zeiden@gumby.cs.wisc.edu (Matthew Zeidenberg)
Subject: AI texts
I'm teaching intro AI here at the Univ. of Wisconin this coming
summer, and I'm trying to choose a text. I'm considering Rich,
Winston, Nilsson and Tanimoto's books. Any opinions?
Thanks in advance.
------------------------------
Date: 20 Apr 88 01:29:01 GMT
From: pyramid!prls!philabs!sbcs!dji@decwrl.dec.com (the dirty vicar)
Subject: Book Rec Wanted (Thm Proving)
I need recommendations for a good, fundamental text in resolution-based
automated theorem proving. Something a beginner in this area can get
through. Please respond by e-mail only, as I don't read this group.
Thanks in advance
the vic
Dave Iannucci \ Dept of Computer Science \ SUNY at Stony Brook, Long Island, NY
ARPA-Internet: dji@sbcs.sunysb.edu / CSNet: dji@suny-sb / ICBM: 40 55 N 73 08 W
UUCP: {allegra, philabs, pyramid, research}!sbcs!dji or ....bpa!sjuvax!iannucci
------------------------------
Date: 24 Apr 88 17:33:13 GMT
From: sunybcs!dmark@boulder.colorado.edu (David Mark)
Subject: expert systems for graphic design?
REQUEST: Does anyone our there know of any expert systems (or other
kinds of software systems) for evaluating the graphic design of a
display? I am thinking of something which takes either an object-
oriented description of a graphic, or a bit-map of an image, and
evaluates such graphic concepts as balance, figure-ground, contrast,
etc.
Some of us in Geography in Buffalo are working on a cartographic
expert system, and it seems to us that (at least some) general
principles of graphic design will apply and be useful in the map
domain. So if such a system already exists, we would be wasting
time trying to re-invent it.
If people reply to me via email, I will summarize responses to the net.
David Mark, Professor, Geography
dmark@joey.cs.buffalo.edu
dmark@sunybcs.BITNET
------------------------------
Date: 21 April 1988 1407-PST (Thursday)
From: thode@nprdc.arpa (Walt Thode)
Reply-to: thode@nprdc.arpa
Subject: Users of "Steamer"
Hello--
I recently inherited the "Steamer" project after the departure from my
organization of the former researchers. (In case you're not familiar
with it, Steamer is a Lisp-based simulation, based on a mathematical
model, of a 1200-psi steam propulsion plant like those found on a number
of the Navy's ships; it incorporates an icon-based graphics editor that
helps build views of the plant that can't be seen otherwise.) The
basic software that constitutes Steamer was placed in the public domain
several years ago, at the National Technical Information Service
(currently part of the Department of Commerce).
I have heard that NTIS sent numerous copies of Steamer to requesters.
I would like to find out how many people, organizations, etc. have
requested the Steamer software from NTIS, how many have made some use
of the software, and what (if any) modifications have been made to it
by users. If you fit in any of these categories, or know of anyone who
does, I'd like to hear from you.
Please reply directly to me. If there is enough interest, I will
summarize for the net.
--Walt Thode, Navy Personnel R&D Center
ARPANET: thode@nprdc.arpa
MILNET: thode@pacific.nprdc.mil
uucp: ihnp4 \
akgua \
decvax >-- !ucsd!nprdc!thode
dcdwest /
ucbvax /
------------------------------
Date: Thu 21 Apr 88 08:09:34-PST
From: Rand Waltzman <WALTZMAN@IU.AI.SRI.COM>
Subject: TG Evans
Does anyone out there know where I can find T. G. Evans, the guy
who did the work on geometric analogy problems in the early 60's?
Thanks.
Rand Waltzman
------------------------------
Date: Fri, 22 Apr 88 18:48:17 EDT
From: Deeptendu Majumder <MEIBMDM@GITVM2>
Subject: Query - Dr. John Mylopoulos
Can anybody give an address (virtual or real) where I can reach
Dr. John Mylopoulos.
Thanx
Deeptendu Majumder
BOX 30963, Ga Tech
Atlanta, GA 30332
------------------------------
Date: 22 Apr 88 10:13:00 EDT
From: Walter Roberson <WCSWR%CARLETON.BITNET@CORNELLC.CCS.CORNELL.EDU>
Subject: administrivia/ stray BITNET messages
[...]
A small correction to the note you wrote in AIList regarding
this problem: I don't think the problem is with people sending
messages to AILIST%LISTSERV. The problem seems to be with people
sending messages to AILIST@NDSUVM1. NDSUVM1 is the BITNET host
running the LISTSERV program which supports the AILIST address.
Messages sent to AILIST@NDSUVM1 are immediately redistributed
to BITNET sites. Control messages should, in theory, be sent
to LISTSERV@NDSUVM1. Submissions should, of course, be sent
to AIList@Stripe.Sri.COM . In other words, where you wrote
'AILIST%LISTSERV', I would write 'AILIST@NDSUVM1'.
Walter Roberson <WCSWR@CARLETON.BITNET>
------------------------------
Date: Fri, 22 Apr 88 09:31:04 CDT
From: ND HECN E-mail Postmaster <INFO%NDSUVM1.BITNET@CUNYVM.CUNY.EDU>
Reply-to: AILIST-REQUEST%STRIPE.SRI.COM,
Subject: AILIST Sub Requests
A clarification of AILIST Procedures for BITNET/NETNORTH/EARN Subscribers:
There have apparently been some subscribe requests going out to the
AILIST mailing list. The problem is that users do not read the instructions
on signing up (or miss the point) in the Arpa (Internet) List of Lists
(or SIGLISTs), or those instructions are not clear. I will include some
suggested revisions below.
ALL requests which are LISTSERV commands MUST be addressed to LISTSERV
and NOT to the list (ie. NOT to AILIST). I realize that this is going
to the people who are already members of the list, but maybe you can
help spread the word...
One option would be to set the list up as edited. Then if someone
sent something to the BITNET/EARN/NETNORTH (BNEnet) part of the list it would
be sent to AILIST-REQUEST@Stripe.SRI.COM (or whatever) and NOT to the
whole list. (The place it gets sent MUST be a human's mailbox, not a
list exploder...).
On some lists we have also had problems with bad mailers sending
error messages to the Reply-To field instead of the Sender (as required
by RFC822). But most of the BNEnet subscribers are protected from that.
Let Ken Laws (AILIST-REQUEST) know if the frequency of these mis-mailings
is enough to warrant the change. (Or, maybe we need an "AI" module to figure
out if the mail is meant as a command or a contribution... :-).
Marty
>From Rich Zellich's Internet List of Lists: (Note Revisions... **)
All requests to be added to or deleted from this list, problems, questions,
etc., should be sent to AIList-Request@SRI.COM.
BITNET or NetNorth subscribers can join by sending the SUB command with
your name.
** your name to LISTSERV@NDSUVM1.
EARN subscribers should send their requests in a similar format
to LISTSERV AT FINHUTC:
SEND LISTSERV@NDSUVM1 SUB AILIST Jon Doe
or TELL LISTSERV AT NDSUVM1 SUB AILIST Jon Doe
or TELL LISTSERV AT FINHUTC SUB AILIST Johan Doe
** or you mail send mail to LISTSERV@NDSUVM1 or FINHUTC with the first line
** of the body of the mail being SUB AILIST Joan Doe
To be removed from the list:
SEND LISTSERV@NDSUVM1 SIGNOFF AILIST
or TELL LISTSERV AT NDSUVM1 SIGNOFF AILIST
or TELL LISTSERV AT FINHUTC SIGNOFF AILIST
** PLEASE NOTE CAREFULLY: In ALL cases, LISTSERV commands are addressed to
** LISTSERV and NOT to AILIST!
------------------------------
End of AIList Digest
********************