Subject: From: AIList Moderator Kenneth Laws <AIList-REQUEST@SRI-AI>

From: [email-masked]
Date: Mon, 26 Aug 85 15:45:15 edt

Received: from sri-ai.arpa by csnet-relay.arpa id a004135; 13 Aug 85 3:26 EDT
Date: Mon 12 Aug 1985 23:02-PDT
Reply-to: AIList@SRI-AI
US-Mail: SRI Int., 333 Ravenswood Ave., Menlo Park, CA  94025
Phone: (415) 859-6467
Subject: AIList Digest   V3 #109
To: AIList@SRI-AI
Received: from rand-relay by vpi; Tue, 13 Aug 85 21:26 EST

AIList Digest            Tuesday, 13 Aug 1985     Volume 3 : Issue 109

Today's Topics:
  Queries - Phone Numbers &  AI Workstations,
  Review - AI Report Aug 1985,
  Literature - Recent Articles

----------------------------------------------------------------------

Date: Thu, 8 Aug 85 10:53:02 cdt
From: Raj Doshi <[email-masked]>
Subject: need phone numbers...

Could some one please give me the PHONE-NUMBERS and E_MAIL_ADDRESSes
of:                               =============     ================

        1. Dr. Elliot Solloway, YALE
        2. Dr. Michalski (machine Learning book)
        3. Dr. Lewis Johnson, (author of PROUST, ICAI-system
                               Ph.D. Thesis at YALE.)

Thanks very very much in advance.

- Raj Doshi
  Grad Student, University Of Minnesota.

------------------------------

Date: Thu, 8 Aug 1985  18:04 EDT
From: [email-masked]
Subject: AI Workstations

           [Forwarded from the MIT bboard by SASW@MIT-MC.]

A friend of mine at Stanford CAD group is trying to choose a lisp machine
for his lab.  The candidates are: 3600, TI, Dandelion, and Tektronix.
If you know any pros and cons or any literature comparing these machines,
let me know.  I would appreciate it.

------------------------------

Date: 9 Aug 1985 01:43-EST
From: [email-masked]
Subject: AI Report Aug 1985

Summary of Artificial Intelligence Report, Volume 2, No. 8
August 1985

o - Evaluation of Five Commercial Expert Systems Tools
    related to "Evaluating the Existing Tools for Developing
    Knowledge-Based Systems: by Mark H. Richer, Knowledge Systems
    Laboratory, Stanford University, Report NO. KSL 85-19
o - General Motors and the Unversity of Michigan have formed
    a Center for Machine Intelligence headed by Lynn Conway
o - Proctor and Gamble and NYNEX have invested 3 million and 4
    million in Teknowledge respectively
o - Ted Harnett is now President and CEO of Quintus.  He was
    previously at Micro Focus
o - announcement of MacKit for writing expert systems on
    Macintoshes
o - Kurzweill has announced production and marketing of a speech
    recognizer with a vocabulary of 1000 words
o - Sperry - TI deal
o - The Geneval Laboratories of Battelle Memorial Institute
    have completed a 2000 page survey of computer vision
    hardware
o - Announcement of index to Scientific Data Link's
    AI memos
o - bibliography by Harry Llull

Review of:

%A Paul Harmon
%A David King
%T Expert Systems: Artificial Intelligence in Business
%I John Wiley & Sons

------------------------------

Date: 10 Aug 1985 02:25-EST
From: [email-masked]
Subject: Recent Articles

%A Christine McGeever
%T Symantec Ships Its First Product
%J InfoWorld
%D JUL 22, 1985
%V 7
%N 29
%P 20
%K Gary Hendrix Symantec
%X Symantec, a company promising a significant AI product and which
has hired Gary Hendrix, has shipped its first product.  That product
is a Lotus 1-2-3 which has nothing to do with AI.  The "blockbuster"
AI product is still planned.

%T Teknowledge Gets $4M Cash Infusion
%J Electronic News
%D JUL 22, 1985
%V 31
%N 1559
%P 31
%K Proctor and Gamble
%X Proctor and Gamble has invested 4 million dollars for Teknowledge in
exchange for slightly more than 10 per cent ownership.

%A Barbara Kellam-Scott
%T Harvard Law School Computerizes the Paper Chase
%J Hardcopy
%D JUL 1985
%P 19
%V 14
%N 7
%K DEC
%X Harvard Law School is automating their Legal Services Clinics.
They have plans to include an expert system to assist lawyers in
handling these cases.  Digital Equipment has contributed to this program.

%A Clara Y. Cuadrado
%A John L. Cuadrado
%T Prolog Goes to Work
%J MAG4
%P 151-159
%K Symbolics Al Despain Yale Patt Berkely
%X Al Despain and Yale Patt of Berkeley have achieved 425,000 LIPS using
a custom designed processor.  Symbolics has achieved 100,000 LIPS using
custom microcode. Discusses general issues of Prolog in the contex of
a maze traversing system.  Also discusses the Japanese Fifth Generation
project.

%T Book Reviews
%J MAG4
%X reviews of J. R. Ennals, Beginning Micro-Prolog and K. L. Clark and
F. G. McCabe's Micro-Prolog Programming
%P 49-60

%A Robert Kowalski
%T Logic Programming
%J MAG4
%P 161-177
%K Prolog
%X general article on prolog, similar to other articles on the same
subject by the same author appearing in other publications.

%T Programming Environment with AI Module
%J MAG1
%P 386
%X Commodore 64 Superforth Parsec Research
%K Describes Superforth 64 + AI, a system to allow you to write expert
systems on the Commordore 64.  It supports antecedent and consequent
reasoning

------------------------------

Date: 10 Aug 1985 02:20-EST
From: [email-masked]
Subject: bibliography

These definitions are used for this AI bibliography and for
the next submission which covers computer vision/ robotics
articles.

  [I have passed the vision bibliography on to
  Vision-List@AIDS-UNIX.  AIList readers can get a
  copy from [email-masked], or by FTPing
  file <ailist>vision.bib on SRI-AI.  -- KIL]

D MAG2 International Journal of Robotics Research\
%V 3\
%N 4\
%D Winter 1984
D MAG3 Journal of Mechanism, Transmission and Automation in Design\
%V 107\
%N 1 Special Issue\
%D MAR 1985
D BOOK14 Intelligent Robots and Computer Vision: Proceedings of the
Society of Photo-Optical Instrumentation Engineers\
%D NOV 5-8 1984\
%E D. P. Casasent\
%E E. L. Hall
D MAG3X Journal of Parallel and Distributed Computing\
%V 2\
%N 1\
%D FEB 1985
D MAG4 Byte\
%V 10\
%N 8\
%D AUG 1985
D MAG5 Industrial and Process Control Magazine\
%V 58\
%N 3\
%D MAR 1985
D MAG6 Aerospace America\
%V 23\
%N 4\
%D APR 1985
D MAG7 Computer Design\
%V 24\
%N 3\
%D MAR 1985
D MAG8 Manufacturing Engineering\
%V 94\
%N 4\
%D APR 1985

bib bibliography entries:

____________________________________________________________________________

%A J. A. Reggia
%A B. T. Pericone
%A D. S. Nau
%A Y. Peng
%T Answer Justification in Diagnostic Systems 1. Abductive Inference and its
Justification
%J IEEE Transactions on Biomedical Engineering
%V 32
%N 4
%D 85
%P 263

%A J. A. Reggia
%A B. T. Pericone
%A D. S. Nau
%A Y. Peng
%T Answer Justification in Diagnostic Systems 2. Supporting Plausible
Justifications
%J IEEE Transactions on Biomedical Engineering
%V 32
%N 4
%D 85
%P 268

%A K. Marik
%T Customers Requirements of Natural Language Systems
%J International Journal of Man-Machine Stuides
%V 21
%N 5
%D NOV 84
%P 401

%A Stephen W. Oxman
%T Expert Systems Represent Ultimate Goal of Strategic Decision Making
%J Data Management
%V 23
%N 4
%D APR 1985
%P 36

%A J. R. Ennals
%T Beginning Micro-Prolog
%I Harper & Row
%C New York
%D 1984
%X $15.95

%A K. L. Clark
%T Micro-Prolog: Programming in Logic
%I Prentice-Hall
%C Englewood Cliffs, NJ
%D 1984
%X $18.95

%A Tim Johnson
%T Natural Language Computing: The Commercial Applications
%I Ovum Ltd
%C London
%X Price $395.00

%A Ahrens, U.
%A Schmidt, U.
%T Advanced Programming Process for Industrial Robots
%J Industrie-Anzeiger
%V 106
%N 103/104
%D Dec. 28, 1984
%P 42-43

%A F. Bouille
%T The 'HBDS' Database Model Kernel of a Structured Data
Base System.  Making Databases Work
%J IEEE Proceedings of Trends and Applications
%D 1984
%P 324-331

%A M. B. Cooper
%A A. L. Kidd
%T A Man-Machine Interface for an Expert System
%J British Telecom Technology Journal
%V 3
%N 1
%D JAN 1984
%P 112-115

%T Development Tool Debuts
%J Computer World
%V 19
%N 11
%D MAR 18, 1985
%P 49

%A R. Goering
%T Do-It-Yourself Development Tools Speed AI Applications
%J Computer Design
%V 23
%N 14
%D DEC 1984
%P 29-32+

%A T. Huggins
%T AI Systems Made Simple
%J Informatics
%V 6
%N 1
%D JAN 1984
%P 11-13

%A P. Hunter
%T User Shells Sets Experts Wrangling
%J ComputerWeekly
%N 949
%D FEB 7, 1985
%P 28

%A V. P. Kobler
%T Overview of Tools For Knowledge Base Construction
%J International Conference on Data Engineering
%I IEEE
%C Los Angeles, Ca
%D 1984
%P 282-285

%A J. R. Lineback
%T Lisp Machine Provides a Shell for Industrial AI Applicaitgons In One of
First Expert Systems To Go To Work
%J Electronics Week
%V 57
%N 2
%D 1984
%P 33

%A C. Maioli et al.
%T Prototypes of Expert Systems for a Friendly Man Machine Interaction.
User Termianls for Information/Communication Systems
%J 31st International Congress on Electronics.  Proceedings
%D 1984
%P 35-42

%A A. Mehta
%T ICL Claims Its Shell Cracks Expert Problem
%J ComputerWeekly
%N 943
%D DEC 13, 1984
%P 10

%A M. Merry
%T Apex-3: An Expert System Shell for Fault-Diagnosis
%J GEC Journal of Research
%V 1
%N 1
%D 1983
%P 39-47

%A W. Rauch-Hindin
%T AI Tool on PC bridges Expert to Novice Gap
%J Systems and Software
%V 3
%N 7
%D JUL 1984
%P 42+

%A S. E. Savory
%T An Introduction to Artificial Intelligence with a Description
of the Tool System, 'Twice'
%J COMPAS 1984 Software as a Prduct
%P 1057-1064

%A M. Schindler
%T PC Software Tool Designs Small Expert Systems for Any Field
%J Electronic Design
%V 32
%N 12
%D JUN 14, 1984
%P 42-44

%A M. Schindler
%T Expert Systems
%J Electronic Design
%V 33
%N 1
%D JAN 10, 1985
%P 112-114

%A M. STephens
%A K. Whitehead
%T The 'Analyst,' An Expert Systems Approach to Requirements
Analyst
%J European Seminar on Industrial Software Engineering and the European
Workshop on Industrial Computer Systems. Proceedings
%
D 1984
%P 189-206

%T TI announces Expert System Software Tool
%J Computerworld
%V 18
%N 32
%D AUG 6, 1984
%P 59+

%A R. S. Wall
%T Industrial Strength Knowledge Representation
%J Third Annual International Phoenix Conference on Computers and
Communications Proceedings
%I IEEE
%C Phoenix
%D 1984
%P 6-10

%A R. C. Waters
%T The Programmer's Apprentice: Knowledge-Based Program Editor
%J Mini/Micro Northeast Computer Conference and exhibition
%D 1984

%A Anthony J. Frisai
%T AI Market Prospects are Good
%J MAG5
%P 41

%A Dr. Richard A. Herrod
%A Barbara Papas
%T Artificial Intelligence Moves Into Industrial and Process Control
%J MAG5
%P 45

%T I&CS Guide to AI Products
%J MAG5
%P 50

%A Thomas E. Murphy
%T Setting Up an Expert System
%J MAG5
%P 54

%A A. C. Buffalano
%T Expert Systems for the Military
%J MAG6
%P 40

%A P. G. Freck
%A R. P. Bonasso
%T Drawing a Clear Picture of the Battlefield
%J MAG6
%P 46

%A S. A. Vere
%T Deviser- An AI Planner for Spacecraft Operations
%J MAG6
%P 50

%A D. I. Smith
%T CATS Precursor to Aerospace Expert Systems
%J MAG6
%P 54

%A L. V. Filosofov
%T Dynamic Recognition with Internal Instruction
%J Engineering Cybernetics
%V 22
%N 3
%D MAY-JUN 1984
%P 134

%A N. Mokhoff
%T AI Techniques Aim to Ease VLSI Design
%J MAG7
%P 33
%K AIENG

%A H. J. HIndin
%A S. F. Shapiro
%T Speech Recognition Produces Natural Interface
%J MAG7
%P 59

%A Z. L. Rabinovich
%T Machine Intelligence and Fifth Generation Computer Structures
%J Cybernetics
%V 20
%N 3
%D MAY-JUN 1985
%P 426

%A W. Dilger
%A W. Womannn
%T The METANET: A Means for the Specification of Semantic Networks as
Abstract Datatypes
%J International Journal of Man-Machine Studies
%V 21
%N 6
%D DEC 1984
%P 463

%A Michael B. First
%A Lynn J. Soffer
%A Randolph A. Miher
%T QUICK (quick Index to Caduceus Knowledge) Using the
Internish/Cadaceus Knowledge Base as an Electronic Textbook of
Medicine
%J Computers and Biomedical Research
%V 18
%N 2
%D APR 1985
%P 137

%A Bernard Huet
%T Semantic Modelling of Biological Sub-Systems by a Multilevel Control
Structure Concept
%J Kybernetes
%V 14
%N 2
%D 1985
%P 93

%A J. A. Chester
%T Artificial Intelligence-Is MIS Ready for the Explosion
%J Infosystems
%V 32
%N 4
%D APR 1985
%P 74

%A R. K. MIller
%T Artificial Intelligence - A New Tool for Manufacturing
%J MAG8
%P 56
%K AIENG

%A R. P. Bergstrom
%T AI - Fad with a Future
%J MAG8
%P 65

%A Susan Walton
%T Fighting Fire with Computers
%T Technology Review
%V 88
%N 6
%P 68-69
%D AUG/SEP 1985
%K forestry forest fires
%X describes an expert system in a portable computer which is used
to help fire fighters in determining how to fight forest fires.
This system has been used to settle a law suit in Australia, to
determine the appropriate amount of staffing for fire
systems and has successfully predicted the area where a fire
will occur and its path and duration of travel.

------------------------------

End of AIList Digest
********************