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

From: [email-masked]
Date: Mon, 29 Jul 85 04:42:55 edt

Received: from sri-ai.arpa by csnet-relay.arpa id a004787; 28 Jul 85 20:55 EDT
Date: Sun 28 Jul 1985 16:58-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 #100
To: AIList@SRI-AI
Received: from rand-relay by vpi; Mon, 29 Jul 85 04:32 EST

AIList Digest            Monday, 29 Jul 1985      Volume 3 : Issue 100

Today's Topics:
  Literature - Recent Articles

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

Date: 22 Jul 1985 22:49-EST
From: [email-masked]
Subject: Recent Articles  [long message]

%T Object's Shape digitized with Human-like Method
%J Electronics Week
%D JUN 3, 1985
%P 24
%K France  Eurosoft laser 3-D  digitization computer vision
%X Eurosoft Informatique SA is selling a system that digitizes
three dimensional objects using a laser beam.  The object is rotated
on a turntable for the laser beam to look at it.  An IBM-XT based
version is anticipated shortly.

%A John F. King
%T Fuzzy Logic Provides New Way to Deal with Uncertainty
%J Electronics Week
%D JUN 3, 1985
%P 40-41
%K Zadeh Maachen CMOS Kumamoto University train cardiology manufacturing
%X Describes fuzzy logic, work done using fuzzy logic in cardiology,
automatic train operation, loan applicants and stock portfolios.
Also describes Kumamoto Universities' efforts to develop a fuzzy logic
set in CMOS.

%T Elson Heads GM Move to Push Machine Vision
%J Electronics Week
%D JUN 3, 1985
%P 48
%K computer vision
%X gives short biography of Gerlad L. Ellson, the man who is directing the
Machine Intelligence Technology Implementation Section who is directing
GM efforts in computer vision.  Also describes need for 44,000 vision
systems in GM plants, up from 500 systems in use.

%J CACM
%D JUN 1985
%V 28
%N 6
%P A-32
%K T CSI Lisp Scheme Cognitive Systems
%X ad for CSI Lisp, an implementation of T designed to run
on top of Common Lisp and LISP-VM

%A Karen A. Frenkel
%T Automating the Software-Development Cycle
%J CACM
%D JUN 1985
%V 28
%N 6
%P 578-589
%K software engineering  PSI Kestrell space station KBSA  Intermetrics PQCC
%X describes uses of computers in program and software development.
outlines PSI and Programmer's Apprentice projects, the system to diagnose
failures in the life support system for the space station.
There is a proposal from Rome Air Development Center to apply AI
to software over a fifteen year period, some steps of which are being
implemented by Reasoning Systems and the Kestrel Institute.
Intermetrics has developed a compiler code generator based on the ideas of
the Production Quality Compiler Compiler Project.
This work was also used by GTE in developing a digital telephone switch
using multiple microcomputers.  Adequate code sequences are generated
with 200 rules and some additional optimization is provided with 500
sequences.  Intermetrics is using this technique to build four compilers
for another company plus one for the Air Force.
Waterloo has developed a system to analyze Message traces for
debugging purposes in a real time telecommunication system.
This system can analyze bugs in 20 minutes that would have taken a human
about ten times as long.
This system includes tables of automated tools used in software, electronics
and telecommunications as well as a bunch of expert systems that have already
been impelmented.
They also include a breakdown of 138 expert systems by field of application:
computing             19.6%
electronics            6.5%
engineering            3.7%
financial services     3.6%
general                8.0%
medicine              15.9%
military              10.9%
oil and mineral        7.2%
professional services  3.6%
research               7.2%
other                 13.8%

%T Light-Assembly Models Take Center Stage at Robots 9
%J Electronics
%D JUN 24, 1985
%P 71-74
%K semiconductor manufacturing market estimate Seiko
Microbot clean room Unimation Intelledex Hitachi Cincinnati Milacron
%X describes robots for use in light assembly such as computer manufacture
Halbrecht and Quist and the Robot Institute of America predict that
light-assembly robots will make up 40% of the market up from 3% in 1982.
The entire market which was $100 million in 1980 will leap to $2 billion in
1990. Describes robots from  Microbot and Unimation (which have the
low particle shedding rates needed for clean rooms) as well as other
companies.  Also describes a new sealant dispensing system.

%T IC-Design Tool Set is built on AI Foundation
%J Electronics
%D JUN 24, 1985
%P 63
%K Carnegie Group Silicon Design Labs VLSI DAS/LOGIC
%X Silicon Design Labs has developed a silicon compiler-compiler for
developing new silicon compilers for different technologies.  Carnegie
Group has developed an alternate system for capturing VLSI design
knowledge based up expert-systems.  The user enters timing requirements,
constraints and funcitonal specs for the circuit he wants.  Using
SPICE-models, DAS/Signal anlysis creates the design rules for the
layout program.  This is part of a much larger article on silicon compilers.

%T Gold Hill Computer Gives IBM PC's the Smarts
%J Electronics
%D JUN 24, 1985
%P 50-51
%K Lisp microcomputer
%X describes Gold HIll computer which has developed a subset of Common
Lisp for IBM PC's.  Includes estimates of total dollar value for AI
software and PC-based AI software
year  AI based software   PC AI software
1984    90                 10
1985    130                20
1986    60                 300
1987    110                550
1988    230                730
1989    400                1090
1990    700                1550
(numbers in millions of dollars and were read off a bar graph)

%J InfoWorld
%D July 1, 1985
%P 55
%K Microcomputer Data Base Systems MDBS GURU natural language Knowledgeman
database systems
%X An ad which says "Isn't it time you had a Guru?  Artificial
Intelligence From MDBS. Coming Soon.  MDBS is the company which makes
knowledgeman, a relational data base management system for micros.
I would suspect this would be a product to compete with CLOUT from
RBASE.

%T Nanobytes
%J BYTE
%D JUL 1985
%P 10
%K franz lisp UNIX PC
%X Franz Inc. Berkeley, CA planned to begin shipping Franz Lisp for
AT&T's UNIX PC this month.  Franz also expects to provide a complete
Common LISP for the UNIX PC by late August

%T Nanobytes
%J BYTE
%D JUL 1985
%P 10
%K natural language translation linguistic products  English Spanish
%X "Lingusistic Products: The Woodslands, TX announced two
language-translation programs for the IBM PC.  English/Spanish and
Spanish/English programs are $490 each or $790 together."

%A W. C. Kabat
%A A. S. Wojcik
%T Automated Synthesis of Combinational Logic Uisng Theorem-Proving
Techniques
%J IEEETC
%D JUL 1985
%V C-34
%N 7
%P 610-632
%K design automation multivalued logic hyperresolution

%A Tom Manuel
%T The Pell-mell Rush into Expert Systems Forces Integration Issue
%J Electronics
%D JUL 1, 1985
%P 54-59
%K Cognitech Harvey Newquist Human Edge HP Inference KEE Litton XCON
Expertelligence Experlisp OPS5 lisp machine arity Xsys Picon Texaco
%X General article on expert systems and expert system tools

%T Program gives AI capability to UNIX-based Computers
%J Electronics
%D JUL 1, 1985
%P 68
%K lisp Unilisp
%X announcement of of a new lisp for UNIX machines.  Has optional
packages for math, statistical and graphics functions.  Costs $895.00

%T Lotus Strikes a Deal with AI Pioneers
%J InfoWorld
%D JUN 3, 185
%P 15-16
%K Mitch Kapor Jerrold Kaplan Arity Dataspeed Teknowledge
%X describes Lotus activities in AI for microcomputers including deals
with Jerrald Kaplan, Teknowledge and Arity Corporation (a start up).
The company wants practical applications of AI to microcomputer software.

%A Ivars Peterson
%T Artificial Reality
%J Science News
%V 127
%D JUN 22, 1985
%N 25
%P 396-397
%K CRITTER VIDEOPLACE Myron Krueger computer graphic
%X describes a computer system that senses a person's movements
and changes a graphic display.  The applications described are artistic
in nature but they pointed possible applications of AI and the use of
such systems in operator interface for nuclear power plants.

%A J. D. Yang
%A M. N. Huhns
%A L. M. Stephens
%T An Architecture for Control and Communications in Distributed Artificial
Intelligence Systems
%J IEEE Transactions on Systems, Man and Cybernetics
%P 316-326
%V SMC-15
%N 3
%D MAY/JUN 1985
%K PSC logic design
%X gives an application of the proposed architecture to logic design

%A Agata Muszycka
%A Rajjan Shinghal
%T An Empirical Comparison of Pruning Strategies in Game Trees
%J IEEE Transactions on Systems, Man and Cybernetics
%P 316-326
%V SMC-15
%N 3
%D MAY/JUN 1985

%A Yuzo Hiral
%T Mutually Linked HASPs: A Solution for Constraint Satisfaction
Problems by Associative Processing
%J IEEE Transactions on Systems, Man and Cybernetics
%P 316-326
%V SMC-15
%N 3
%D MAY/JUN 1985
%X HASP stands for Human Associative Processor

%T Expert Systems Tool Kit Available for UNIX-PCs
%J IEEE Micro
%D JUN 1985
%V 5
%N 3
%P 93
%K Radian expert system
%X announcement of expert system shell for UNIX PCs

%T Sperry to Market TI Symbolic Processors
%J Electronic News
%D JUL 8, 1985
%P 22
%X Sperry signed a three year marketing agreement for TI's explorer
with the Knowledge Engineering Environment Sofware developed by Intellicorp

%T AI brings smarts to PC-Board Assembly
%J Electronics
%D JUL 15, 1985
%P 17-18
%K Hughes industrial engineering
%X describes successful system by Hughes to set up the sequence of
hand assembly steps in PC-board layout

%T Says Fighter Pilots of Future will use AI
%J Electronic News
%D JUL 15, 1985
%K Wright Patterson Air Force Base

%A Tsukasa Furukawa
%T Symbolics Enters Japan AI Venture
%J Electronic News
%D JUL 15, 1985
%K Nichimen lisp machine Nihon
%X Symbolics is entering into a joint venture with Nichimen Co.
to help sell things to Japan.  First year sales are projected to
be four million dollars.  Already Symbolics has sold four million [?]
computers to Japan with 13 at Nippon Telephone and Telegraph and three
at Canon Inc.

%A Koji Kobayashi
%T Computers and Communcations: Toward Peace and Prosperity
%J High Technology
%D AUG 1985
%P 10-11
%K natural language machine translation voice recognition NEC
%X discusses activities of NEC in computers and communications including
a proposed system that will translate voice input from one language
to another in real time to be readied by year 2000.

%T Hitachi Technology 85
%J High Technology
%D AUG 1985
%P 42-45
%X corporate relations advertising showing work done on the robot hand,
process and assembly robots, image processing chips and systems

%A Robert Haavind
%T Playing to win a New Generation
%J High Technology
%D AUG 1985
%P 63-65
%K prolog lisp machine KL1 mandala ICOT
%X describes new parallel and other novel architectures being developed
in Japan including those for AI

%A David B. Macqueen
%A Donald T. Sannella
%T Completeness of proof systems for equational specifications
%J IEEE Software Engineering
%V SE-11
%N 5
%D MAY 1985
%P 454-460
%K clear    algebraic specifications    equational logic   proof systems
induction ground equations
%X Contrary to popular belief, equational logic with induction is not
complete for initial models of equational specifications.  Indeed, under
some regimes (the Clear specification language and most other algebraic
specification languages) no proof system exists which is complete even with
respect to ground equations.  A collection of known results is presented
along with some new observations.

%A George J. Pothering
%T A Methodology for Conducting Advanced Undergraduate Computer Science
Courses
%J ACM SIGCSE Bulletin
%V 17
%N 1
%D MAR 1985
%P 130-134
%K AI courses
%X describes an AI course.  The main purpose of this article is to show
how to get a course taught when there is no faculty available who knows
the subject to be covered.  This is done by letting the students teach
the course.

%A Gadi Kaplan
%T Robots getting smarter, but slowly, say experts
%J The Institute
%D JULY 1985
%P 8
%K CMU Terrogator Aurthur C. Sanderson
%X summary of "New Direction in Robots" which was a session of the
1985 National Media Briefing.  describes work on mobile robots and
applications to installing windshields in cars

%T Computer-assisted urological test facilitates diagnosis
%J IEEE Computer
%D APR 1985
%V 18
%N 4
%P 104
%K urology Froedtert Memorial Lutheran Hospital Russel Lawson
%X describes system to analyze urodynamic studies.  They anticipate
developing an expert system to interface with same.  Anyone interested
in expert systems applications to urology might want to contact Russel Lawson
at Froedtert memorial Lutheran Hospital

%A Alexander Borgida
%A Sol Greenspan
%A John Mylopoulos
%T Knowledge Representation as the Basis for Requirements Specifications
%J IEEE Computer
%V 18
%N 4
%D APR 1985
%P 82-90

%A Kevin Smith
%T Britain Promotes Open Architecture
%J Electronics Week
%D APR 29, 1985
%P 22
%K Alvey IKBS parallel architecture expert system Alice
%X discusses British  efforts in expert systems and parallel architectures

%T LOOK AHEAD
%J Datamation
%P 14
%V 31
%N 12
%D JUN 15, 1985
%K Mitsubishi Japan prolog smalltalk
%X Mitsubishi Electric is due to announce a work station based on
artificial intelligence based on Prolog and Smalltalk

%A M. Shridhar
%A A. Baldreldin
%T A High-Accuracy Syntactic Recognition Algorithm for Handwritten Numerals
%J IEEE Transactions on Systems, Man and Cybernetics
%P 152-158
%V SMC-15
%N 1
%D JAN/FEB 1985

%A M. A. L. Thathachar
%A P. S. Sastry
%T A New Approach to the Design of Reinforcement Schemes for Learning
Automata
%J IEEE Transactions on Systems, Man and Cybernetics
%P 162-168
%V SMC-15
%N 1
%D JAN/FEB 1985

%A H. Niemann
%A H. Bunke
%A I. Hofmann
%A G. Sagerer
%A F. Wolf
%A H. Feistel
%T A Knowledge Based System for Analysis of Gated Blood Pool Studies
%J IEEE Transactions on Pattern Analysis and Machine Intelligence
%V PAMI-7
%N 3
%D MAY 1985
%P 246-259
%K fuzzy membership function medical image analysis cardiology

%A Henri Prade
%T A Computational Approach to Approximate and Plausible Reasoning with
Applications to Expert Systems
%J IEEE Transactions on Pattern Analysis and Machine Intelligence
%V PAMI-7
%N 3
%D MAY 1985
%K fuzzy logic
%X describes a relationship between possibility distributions and
fuzzy systems

%A David M. Weber
%T Navigation Systems: It's Academic
%J Electronics Week
%D APR 15, 1985
%P 24
%K Jean-Paul Laumond Laboratoire d'Automatique du CNRS
%X describes work done on the robot navigation problem with applications
to DARPA's autonomous vehicle program

%A John Malpas
%T Prolog as a Unix System Tool
%J UnixWorld
%D JUL 1985
%P 48-53
%V 2
%N 6
%K human engineering
%X describes the use of prolog to develop a filter for analyzing
performance of non-technical people in using PC work

%T Japanese firm gets AI expertise from U. S. Joint Venture
%J Electronics Week
%D MAY 6, 1985
%P 14
%K Carnegie Group Japan Artificial Intelligent Technology
%X Pittsburgh's Carnegie Group and Tokyo's Artificial Intelligent
Technology will be doing joint development with Artificial Intelligent
Technology marketing Carnegie Group's software in East Asia

%A Henry Beechold
%T File Gateway Adds to Clout
%J Infoworld
%D APR 22, 1985
%P 48-49
%K database query natural language microcomputer microrim rbase
%X review of Clout, a natural language interface to microcomputers
sold by Microrim for $249.00
two out of a possible four disks (due to overpriced support plan)
performance: excellence
documenation: good
ease of use: excellent
error handling: excellent
support: fair

%J CACM
%D MAY 1985
%P A-20
%K Levien Instrument Byso Lisp Franz
%X advertisement for Byslo Lisp, for the PC and costs $150.00
claims that benchmarks faster on the AT than Franz Lisp on a VAX

%A David M. Weber
%T Consumer-goods Giants aim at Robotics Market
%J Electronics
%D JUN 17, 1985
%P 23-24
%K Sony Telefunken Toshiba Panasonic
%X describes entries seen at Robotics 9 show

%A James Fallon
%T Solartron Receives $4.5M in Pacts from U.K.'s Alvey
%J Electronic News
%V 31
%N 1548
%D MAY 6, 1985
%P E
%K Schlumberger Britain health monitoring expert system aerospace
%X describes grant to Solartron, a division of Schlumberger, for work
in aerospace and health-monitoring

%T Lisp Cuts Price of Systems 35%
%J Electronic News
%D JUN 10, 1985
%V 31
%N 1553
%P 27
%K Lisp Machine Lambda Aerospace David Carlton
%X new prices for Lisp Machine Inc. products: single user Lambda $65,000
2 x 2 unit: 110,000.  Also all systems now include the standard configuration
to four Meg.  Also LMI named David Carleton to manage its Aerospace division

%T Carnegie Markets AI in Far East
%J Electronic News
%D JUN 10, 1985
%V 31
%N 1553
%P 37
%K Intelligent Technology Japan
%X describes Carnegie Group's marketing efforts in Far East and Japan

%T See AI benefit for 32-bit CPU sales - If barriers are overcome
%J Electronic News
%D APR 15, 1985
%V 31
%N 1545
%P M
%K Raj Reddy Tom Knight Hewlett-Packard MIT L. J. Thomas
%X describes comments made about the future of AI at the International
Solid State Circuits Conference

%T DEC Group Names Head; Ex-Chief is Now Lisp CEO
%J Electronic News
%D MAY 27, 1985
%V 31
%N 1551
%P 20
%K DEC LMI Ward D. MacKenzie
%X Ward D. MacKenzie is leaving DEC to join LMI as chairman and chief executive

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

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