Copy Link
Add to Bookmark
Report
AIList Digest Volume 5 Issue 179
AIList Digest Wednesday, 15 Jul 1987 Volume 5 : Issue 179
Today's Topics:
Review - Spang Robinson 3#6, 6/87 &
Spang Robinson 3#7, 7/87 &
Canadian AI, 7/87,
Report - Strategy Learning with Connectionist Networks,
Bibliography - Definitions for Leff a58C &
Leff a58C (Part 1 of 2)
----------------------------------------------------------------------
Date: Sat, 11 Jul 1987 17:39 CST
From: Leff (Southern Methodist University)
<E1AR0002%SMUVM1.BITNET@wiscvm.wisc.edu>
Subject: bm654 - Spang Robinson 3#6, 6/87
Summary of Spang Robinson Report on Artificial Intelligence
June 1987, Volume 3, No. 6
AI and The Military
In 1985, DOD AI activity was 91.1 million with funding of 500 million/year
estimated at 1992.
The rest discusses
summary of military activities, hopes and prospects in the AI field including
disillusionment on the part of some in industry. Gary Martins of Intelligent
Software is quoted as saying
"Early returns from the first two major AI projects under the strategic
computing program show few real accomplishments... The autonomous land vehicle
projected resulted in the construction of a handsome test track and a huge,
lumbering van stuffed with computers running expert systems software. If it
travels slowly enough (under three m.p.h), the van is sometimes able to
make it all the way around the brightly lit, carefully marked, optically
smooth course without serious mishap." "The pilot's associate project
aims to produce a refrigerator sized computing system, having functionality
comparable to a 3 inch by 5-inch check list car."
Charles Anderson of the SDI group said AI would use would be quite low
in the SDI project with no increase in the ADI budget for AI applications
in spite of the fact that the ADI budget itself is growing." However,
the SDI is still spending 200 million per year on AI.
Rome Air Force Development Center is building a system to help decide
if foreign rocket launches are threats. They also have systems to schedule
pilots and aircraft hours. They also have an expert system that links
together various office automation tools and can generate its own forms.
()()()()()()()()()()()()()()()()()()()()()()()()()()()()()()
Shorts
AION corporation's ADS is being extended to CICS and IMS and other
IBM data base products.
Lockheed has set up a 4.5 million dollar AI center.
Symbolics has announced a single chip LISP processor which fits on one
card after adding interface and memory chips.
Coopers and Lybrand has developed an expert system to monitor brokerage
accounts for irregularities.
Allan Levine will be manager of Gold Hill's Los Angeles sales office.
James McGowan will be Palladian's vice president of sales and
marketing nad Thomas Murphy will be their director of sales.
40% of the Japanese Information Processing Association's presentations
were related to AI .
*(*(*(*(*(*(*(*(*(*(*(*(*(*(*(*(*(*(*(*(*(*(*(*(*(*(*(*(*(*(
This issue also include a directory of people working at various companies,
agencies and the like in Military Artificial Intellgience and announcements
of various tools and expert systems at the above show.
------------------------------
Date: Sat, 11 Jul 1987 17:39 CST
From: Leff (Southern Methodist University)
<E1AR0002%SMUVM1.BITNET@wiscvm.wisc.edu>
Subject: bm660 - Spang Robinson 3#7, 7/87
Summary of Spang Robinson Report on AI, Volume 3, No. 7, July 1987
The New AI Pioneers: The Knowledge Merchants
The market for pre-built expert systems was estimated at 10 to 15 million
for 1986 with expected growth to 40 million in 1987. Many developers
found extensive customization was needed for each customer while there
were many rules that were common to everybody in the application domain.
Some info on various expert systems being sold including data on how
many sold and time/cost to develop. UNDERWRITER saves three percent
in insurance losses while Syntelligence reports a five to ten percent
improvement in loss ratios.
The numbers on the left are the development cost or times while the
numbers on the right are the purchase price.
40 man years: APEX Plan Power (125 sold) ~$34,500
20 man years: APEX Client Profiling ~$100,000
50 man years: Palladian operations planning system ~$100,000
50 man years: Palladian project management system ~$100,000
Sterling Wentworth: PLANMAN, PC based planning system
(800 copies, 7500 rules)
8 million: Syntelligence Syntel (risk assesment) ~500,000
Expert Technlogies (yellow page layout)
Cogensys: judgement processing for financial service applications
(9 systems installed.) ~ $250,000
Composition Systems: publishing systems
Eloquent Systems: Hotel Inventory Processing
Applicon: circuit design
Direct Marketing: Persorft
TRansform Logic: Computer Aided Software Engineering
(Generates COBOL generation)
General Data System, RATER and UNDERWRITER for insurance ~$250,000
_-_-_-_-_-_-_-_-_-_-_-_-_-_-_-_-_-_-_-_-_-_-_-_-_-_-_-_-_-_-_-_-_-_-_-_-_-_-_-_-
Real Time Expert Systems on PC's and micros.
Texas Instruments developed an expert system in FORTH to control water
treatment plan. McDonald Douglas is using a Fuzzy Logic based Forth running
on the NOVIX forth engine running 30,000 rules per second.
UME Corporation offers an Expert Controller
box which is a self-contained controller using expert system technology
supporting 5000 rules/second and 16,000 rules total.
It is being used in automotive hood stamping process control and for industrial
clothes driers.
ONSPEC sells a Stand Alone System for $895.00 and Superintendant intended
for running Programmable Logic Controllers. The systems support a user-friendly
operator interface for the final system, explicit handling of unknown
data and retraction of facts.
The system handles 1000 rules and 50 rules per second. (A review of
this software is in the issue.)
()()()()()()()()()()()()()()()()()()()()()()()()()()()()()()
Shorts:
Natural Language Incorporated has a product licensing and equity financing
agreement with MicroSoft.
DATA General will be distributing Gold Hill's products.
Teknowledge has named a former Under Secretary of Defense to
it's board of directors.
Nestor, a maker of a neural-network based system,
reported a net loss of $539,252 on revenues of $8,016.
MicroProducts is marketing PowerLisp, a virtual memory based system,
for Intel 286 and 386 based PC's.
Programs in Motion is now offering
an expert system with code generators for Pascal, C, dbase III interfacing
and form design capabilities.
Automated Reasoning is developing expert systems for ATE programming
and generates source code in BASIC, C, ATLAS, ADA or Pascal.
------------------------------
Date: Sat, 11 Jul 1987 17:39 CST
From: Leff (Southern Methodist University)
<E1AR0002%SMUVM1.BITNET@wiscvm.wisc.edu>
Subject: bm668 - Canadian AI, 7/87
Summary of Canadian Artificial Intellgience, July 1987, No. 12
Discussion of the Canadian Governments research initiative.
The Canadian AI Conference for 1988 will be June 6-10, 1988 in Edmonton.
It will be held simultaneously with the Canadian Image Processing and Pattern
Recognition Society and Canadian Man-Computer Communications Society
meetings.
Jose A. Ambros_Ingerson of University of California, Irvine is collecting
info re AI applications and efforts in Third World Countries.
Canada is setting up a research consortium for AI and robotics.
This is similar to MCC and other efforts in that companies produce
research that they all can use before competitive additions and
applications are made.
There was a report on the National Meeting of the Fifth Generation Society.
There are a variety of research infrastructures in Canada involving
joint industry-academic type efforts.
New bindings:
Nick Cercone will be Director of the Centre for Systems Science at
Simon Fraser University.
Randy Goebel is now at the University of Alberta.
Brian Schaefer, Beverly Smith, Ian Morrison and Julian Siegel are now
at Acquired Intelligence, 2304 Epworth Street, Victoria B. C. V8R 5L2.
Report on Research at University of Toronto:
Hector Levesque and Ray Reiter are working on formal foundations of
knowledge-based systems.
John Mylopoulos is working on AI applications to software engineering
and databases.
Russ Greiner on learning by analogy.
Effort to develop an autonomous vision-guided robot.
Interpretation of Remotely Sensed Images, e. g. from satellites.
Applications include river or lake ice measurements and interpreting
weather data for storm forecasting
Knowledge Based Debugging system based on MRS.
Reviews of "Robotics Research: The Third International Symposium"
New Horizons in Educational Computing by Masoud Yazdani
The Mathematics of Inheritance Systems by David S. Touretsky
Robotics and Ai: An Introduction to Applied Machine Intelligence
by Andrew C. Staugaard.
Abstracts of papers in Computational Intelligence and some
AI Technical Reports.
Report on the recent CHI+GI+87 conference on Computer Human Interactions
and Graphical Interfaces.
------------------------------
Date: Mon, 13 Jul 87 14:23:53 EDT
From: Chuck Anderson <cwa0%gte-labs.csnet@RELAY.CS.NET>
Subject: Technical Report: Strategy Learning with Connectionist
Networks
Strategy Learning with Multilayer Connectionist Representations
Chuck Anderson
(cwa@gte-labs.csnet)
GTE Laboratories Incorporated
40 Sylvan Road
Waltham, MA 02254
Abstract
Results are presented that demonstrate the learning and
fine-tuning of search strategies using connectionist mechanisms.
Previous studies of strategy learning within the symbolic,
production-rule formalism have not addressed fine-tuning behavior.
Here a two-layer connectionist system is presented that develops its
search from a weak to a task-specific strategy and fine-tunes its
performance. The system is applied to a simulated, real-time,
balance-control task. We compare the performance of one-layer and
two-layer networks, showing that the ability of the two-layer network
to discover new features and thus enhance the original representation
is critical to solving the balancing task.
(Also appears in the Proceedings of the Fourth International Workshop on
Machine Learning, Irvine, June, 1987)
------------------------------
Date: Sat, 11 Jul 1987 17:39 CST
From: Leff (Southern Methodist University)
<E1AR0002%SMUVM1.BITNET@wiscvm.wisc.edu>
Subject: defs for a58C
D MAG115 Pattern Recognition\
%V 20\
%N 1\
%D 1987
D MAG116 1985 International Test Conference\
%D 1985
D MAG117 Proceedings IEEE International Symmposium on Circuits and Systems\
%C Kyoto, Japan\
%D JUN 5-7 1985
D MAG118 Proceedings of the Second Australian Conference on Applications of Expe
rt Systems\
%C Sydney\
%D 14-16 May 1986
D BOOK66 International Conference on Computers in Engineering Conference and Exh
ibit (Las Vegas)\
%D 1984\
%I American Society for Mechanical Engineers
D MAG119 Proceedings of the 1986 International Test Conference\
%D SEP 9-11, 1986
D MAG120 1986 IEEE International Conference on Computer Design (Port Chester, NY
)\
%D October 6-9, 1986
D BOOK67 1985 Engineering Software IV\
%I Springer Verlag\
%C Berlin-Heidelberg New York\
%D 1985\
%E R. A. Edey
D MAG121 American Control Conference (Seattle, WA)\
%D JUN 18-20 1986
D MAG122 1985 Proceedings Annual Reliability and Maintainability Symposium\
%D 1985
D MAG123 Proceedings of the 1986 International Computers and Engineering Confere
nce (Chicago, Ill.)\
%D JUL 1986
D MAG124 International Conference on Computer Aided Design (Santa Clara, CA)\
%D 1986
D MAG130 AT&T Technical Journal\
%V 65\
%N 5\
%D SEP-OCT 1986
D MAG131 Pattern Recognition Letters\
%V 5\
%N 3\
%D MAR 1987
D BOOK80 Mathematical Foundations of Computer Science\
%S Lecture Notes in Computer Science\
%V 233\
%I Springer-Verlag\
%C Berlin-New York\
%D 1986
D MAG132 J. Logic Programming\
%V 3\
%N 3\
%D 1986
D BOOK81 GWAI-85 Proceedings of the Ninth German Workshop on Artificial Intellig
ence\
%E Herbert Stoyan\
%S Technical Reports on Information Science\
%V 118\
%I Springer-Verlag\
%C Berlin-New York\
%D 1986
D BOOK82 Eighth International Conference on Automated Deduction (Oxford 1986)\
%P 470-488\
%S Lecture Notes in Computer Science\
%V 230\
%I Springer-Verlag\
%C Berlin-New York\
%D 1986
D BOOK83 Algebra, Combinatorics and Logic in Computer Science, Vol I. II, (Gyor,
1983)\
%S Colloq. Math. Soc. Janos Bolyai\
%V 42\
%I North-Holland\
%C Amsterdam-New York\
%D 1986
D BOOK84 Category Theory and Computer Programming (Guildford, 1985)\
%S Lecture Notes in Computer Science\
%V 240\
%I Springer-Verlag\
%C Berlin-New York\
%D 1986
D MAG135 Journal of Logic Programming\
%V 3\
%N 4\
%D 1986\
D MAG136 IEEE Transactions on Geoscience and Remote Sensing\
%V 25\
%N 3\
%D MAY 1987
D MAG137 Soviet Journal of Computer and Systems Sciences\
%V 24\
%N 6\
%D NOV-DEC 1986
------------------------------
Date: Sat, 11 Jul 1987 17:39 CST
From: Leff (Southern Methodist University)
<E1AR0002%SMUVM1.BITNET@wiscvm.wisc.edu>
Subject: a58C (Part 1 of 2)
%A M. J. Amundsen
%T The Compact LISP Machine, a Lisp Machine in a Shoe Box
%J IEEE National Aerospace and Electronics Conference
%V 4
%D 1986
%P 1309-1314
%K H02
%A Robert Buday
%T LISP-Machine Maker Symbolics, Spawned at MIT, is Growing Up
%J Information Week
%N 5
%D MAR 3, 1986
%P 34-37
%K H02 AT16
%A M. Carlsson
%T A Microcoded Unifier for LISP Machine Prolog
%B Symposium on Logic Programming
%D 1985
%P 162-171
%K T02 H02
%A H. Maegawa
%T Fast LISP Machine and Lisp Evaluation Processor Eval II-processor Architectur
e
and Hardware Configuration
%J Journal of Information Processing (Japan)
%V 8
%N 2
%D 1985
%P 121-126
%K H02 GA01
%A S. Sakamooto
%T The Design of a Firmware LISP Machine
%R Technology Reports of the Seikei University
%I Faculty of Engineering, Fukuoka, Japan
%N 41
%D 1986
%P 2751-2752
%K H02
%A H. Schotel
%A J. Pijls
%T A Prototype From Grammatical Instruction on a LISP Machine
%J Informatie (Netherlands)
%V 28
%N 1
%D 1986
%P 48-50
%A J. Spoerl
%T The Architecture of the Symbolics LISP Machine
%J Informatique
%V 1
%D 1986
%P 140-144
%A J. M. Switlik
%A R. J. Short
%T The Database Environment and the LISP Machine
%B Artificial Intelligence and Advanced Computer Technology Conference and
Exhibition. Proceedings.
%D 1986
%A M. Yuhara
%T Evaluation of the FACOM Alpha LISP Machine
%B Thirteenth Annual International Symposium on Computer Architecture
%D 1986
%P 184-190
%K H02
%A V. W. Zue
%T The Development of the MIT LISP-Machine Based Research Workstation
%J International Conference on Acoustics, Speech and Signal Processing.
proceedings
%V 1
%D 1986
%P 329-332
%A Y. J. Chao
%T Image Processing Methods in Ductile Fracture of Solids
%J Mechanics
%V 14
%N 1
%D JAN-FEB 1987
%P 57-60
%K AA05 AI06
%A Yu. S. Afonin
%T Blocked Branch and Bound Method
%J Automation and Remote Control
%V 47
%N 8 Part II
%D AUG 1986
%P 1107
%K AI03
%A I. B. Muchnik
%A P. M. Snegirev
%T Algorithm to Estimate the Approximation Accuracy of an Empirical Dependence
%J Automation nad Remote Control
%V 47
%N 8 Part II
%D AUG 1986
%K O06 AI04 O04
%A J. L. Nevins
%T Information-Control Aspects of Sensor Systems for Intelligent Robotics
%J Journal of Robotic Systems
%V 4
%N 2
%D APR 1987
%P 215-228
%K AI07 AI06
%A Hooshang Hemami
%A Ralph E. Goddard
%T Recognition of Geometrical Shape by a Robotic Probe
%J Journal of Robotic Systems
%V 4
%N 2
%D APR 1987
%P 237-258
%K AI06 AI07
%A Ren C. Luo
%T MIcrocomputer-Based Robot Dynamic Sensing Using Linear Array Sensor for
Object Recognition and Manipulation
%J Journal of Robotic Systems
%V 4
%N 2
%D APR 197
%P 199-214
%K AI06 AI07 H01
%A C. Morandi
%A F. Piazza
%A R. Capancioni
%T Digital Image Registration by Phase Correlation Between Boundary Maps
%J IEE Proceedings-E
%V 134
%N 2 Part E
%P 101-104
%D MAR 1987
%K AI06
%A J. Mantas
%T Methodologies in Pattern Recognition and Image Analysis -- A Brief
Survey
%J MAG115
%P 1-6
%K AI06
%A R. W. Smith
%T Computer Processing of Line Images: A Survey
%J MAG115
%P 7-16
%K AI06
%A S. J. Roan
%A J. K. Aggarwal
%A W. N. Martin
%T Multiple Resolution Imagery and Texture Analysis
%J MAG115
%P 17-34
%K AI06
%A S. Basu
%A K. S. Fu
%T Image Segmentation by Syntactic Method
%J MAG115
%P 35-44
%K AI06
%A Zhen Zhang
%A M. Simaan
%T A Rule-Based Interpretation System for Segmentation of Seismic Images
%J MAG115
%P 45-54
%K AI06
%A Maylor K. Leung
%A Yee-Hong Yang
%T Human Body Motion Segmentation in a Complex Scene
%J MAG115
%P 55-64
%K AI065
%A D. J. Peuquet
%A Zhang Ci-Xiang
%T An Algoirthm to Determine the Directional Relationship Between Arbitrarily-
Shaped Polygons in the Plane
%J MAG115
%P 65-74
%K AI06
%A L. G. Shapiro
%A R. S. MacDonald
%A S. R. Sternberg
%T Ordered Structural Shape Matching with Primitive Extraction by Mathematical
Morphology
%J MAG115
%P 75-90
%K AI06
%A M. R. Korn
%A C. R. Dyer
%T 3-D Multiview Object Representations for Model-Based Object Recognition
%J MAG115
%P 91-104
%K AI06
%A Toshifumi Tsukiyama
%A T. S. Huang
%T Motion Stereo for Navigation of Autonomous Vehicles in Man-Made Environments
%J MAG115
%P 105-114
%K AI06 AA19
%A S. Y. Lee
%A S. Yalamanchili
%A J. K. Aggarwal
%T Parallel Image Normalization on a Mesh Connected Array Processor
%J MAG115
%P 115-124
%K AI06 H03
%A H. D. Cheng
%A K. S. Fu
%T VLSI Architectures for String Matching and Pattern Matching
%J MAG115
%P 125-142
%K AI06 O06 H03
%A H. Mellink
%A H. Buffart
%T Abstract Code Network as a Model of Perceptual Memory
%J MAG115
%P 143
%K AI08
%A K. N. Ngan
%A A. A. Kassim
%A H. S. Singh
%T Parallel Image-Processing System Based on the TMS 32010 Digital
Signal Processor
%J IEE Proceedings E
%V 134
%N 2 Part E
%D MAR 1987
%K AI06 H03
%A Soundar R. T. Kumara
%A R. L. Kashyap
%A C. L. Moodie
%T Expert System for Industrial Facilities Layout Planning and Analysis
%J Computers and Industrial Engineering
%V 12
%N 2
%D 1987
%K AA05 AI01
------------------------------
End of AIList Digest
********************
