Date: Sun 24 Apr 1988 22:56-PDT From: AIList Moderator Kenneth Laws 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 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 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 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 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 ------------------------------ Date: Fri, 22 Apr 88 09:31:04 CDT From: ND HECN E-mail Postmaster 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 ********************