85 14:57:49-PDT

114

Articles

26-Aug-85 14:58 : 25-PDT, 16636; 000000000001Return-Path : <LAWS@SRI -AI . ARPA>Received: from SRI -AI .ARPA by SUMEX-AIM.ARPA with TCP; Mon 26 Aug

Mon 26 Aug 1985 12:27-PDTAlList Moderator Kenneth Laws <AlList-REQUEST@SRI-Al>

Reply-to : AIList@SRI -AIUS-Mail: SRI Int., 333 Ravenswood Aye. , Menlo Park, CA 94025Phone: (415) 859-6467Subject: AlList Digest V3#114To: AIList@SRI-AI

AlList Digest Tuesday, 27 Aug 1985 Volume 3 : Issue

Today' s Topics :Literature - AI in Business & Recent Technical Reports & Recent

Date: 20 Aug 1985 21:05-ESTFrom : leff%smu . csnet@csnet-relay . arpaSubject: AI in Business

Expert Systems, Artificial Intelligence in Businessby Pual Harmon and David King is now available fromLibrary of Computer and Information SciencePublishers Price $24.95Members Price

$19.95

WDate: 20 Aug 1985 21:44-ESTFrom : leff%smu . csnet@csnet-relay . arpaSubject: Recent Technical Reports

Addresses for ordering same :

Research Institute for Advanced Computer ScienceMail STop 230-5, NASA/Ames Research CenterMoffett Field, California 94035ATTENTION: Technical Librarian

Department of Computer Science405 Upson HallCornell UniversityIthaca, New York 14853

Erna AmermanDepartment of Comptuer ScienceUniversity of Illinois at Urbana-Champaign1304 West Springfield AvenueUrbana, Illinois 61801

Technical ReportsComputer Sciences DepartmentUniversity of Wisconsin

"1210 West Dayton StreetMadison, Wisconsin 53706

Ms . Brenda Ramsey

%T AI Specialist Sees $5 billion expert systems mart by 1990%J ComputerWorld

"%V 19foN 33%P 84%D AUG 19, 1985%X marketing Social Security Administration Sperry Corpration Atle Fjeld%X Atle Fjeld gave a briefing in which he discussed AI . He gavethe example of automating Social Security eligibility rules as anexample of its use. Sperry anticipates spending 200 million dollarsover the next five years and hopes to capture 15 to 20 percent ofthe market. The Sperry Corporation Knowledge System Center employs 150people .%T TI Acquires Ten Percent of Carnegie Group%J Electronic News%D AUG 19, 1985%V 31%N 1563%P 8%X Explorer Knowledge Craft Language Craft%X TI will fund research at the Carnegie Group and receive aninternal license for use of its products. CarnegieGroup is expected to install 20 of TI * s explorer systems over the next18 months .%A Michael Bunken%T Dec Enters Artificial Intelligence Market with Workstation%J Electronic News%D AUG 19, 1985"fgV 31%N 1563%X Vaxstation Lisp Prolog Quintas%X same info on DEC as in article

OPS -5 Common Lispin Computerworld above

%A Nicholas Ourusoff%T The Physical Symbol System Hypothesis of Newell and Simon:A Classroom Demonstration of Artificial Intelligence%J SIGCSE Bulletin%P 19-23%V 17%N 3%D SEP 1985

End of AlList Digest********************

"

to the punch and to get a commercial product up .VJa John Gallant

HT AI Product Deluge hits DP MarketComputerWorld

%V 19%N 33%P 1+%D AUG 19, 1985%X DM Data Howard Dicken DEC IBM LISP Expert System Tool Prolog CDCDavid Hertz%X IBM has announced Prolog and Expert System tools for itVM operating system . Charges :Prolog (Programming in Logic) : $8,000Expert System Consultation Environment/VM (delivery front endfor expert system tool) : $25,000 or a monthly charge of $1250.00Expert System Development Environment (to make expert systemsfor use by above tool) : $35,000 or a monthly charge of $1750.00.DEC has announced an AI VAXStation which is a MICROVAX II without afloppy drive and with various languages . This includes an implementationof Common Lisp, and they have upgraded OPSS and have marketing agreementswith Quintus for its Prolog and Artificial Intelligence Corporation forits Intellect front end for its database. Quintus Prolog willcost $6,000.CDC announcement of tools:PROLOG/YE (version of C-prolog) : $4620 to $36330LISP/YE (Common Lisp) : $5166 to $40614KES/VE (Knowledge Engineering System) : $11,424 to $70,594Also an interview with various people on the marketing impactof these announcements. Howard Dicken, publisher of AI trends,

this "will legitimize AI . " However, other people feel beThey draw parallel with the IBM personal computer which

on one legitimized the microcomputer industry but also tookaway market share and eliminated some smaller companies.

%T Random Access%J ComputerWorld%V 19%N 33%P 2%D AUG 19, 1985%X Intellicorp KEE simulation microcomputer expert system%X Intellicorp will issue the third release of their KnowledgeEngineering Kit. They also announced Simkit which willbe used to create knowledge-basedwhich is an implementation of thearchitecture computers . "

simulation software and PC-HostKEE system on "conventional

%A Howard Morgan%T The Microcomputer and Decision%J ComputerWorld

Support

%V 19%N 33%P 39-46%D AUG 19, 1985%X Lightyear microcomputer Expert-Ease

"%X discusses the use of AI in MIS, particularly Light-Year andExpert Systems in MIS on page 44 of this article.

%A Mitch Betta

redesign layouts .

"%T IBM Adds 3 Programs for AI Applications%J Electronic News%D AUG 12, 1985%V 31%N 1562%P 24%X expert system tool lisp programming database%X IBM introduced VM Programming in Logic (A Prolog compiler) .IBM provides communications with VM/SP, SQL/DS and LISP/VM.They also introduced Expert System Consulation environment and Expert SystemDevelopment environment for building and using expert systems

%T Control Data, Digicon Sign 3-Year%J Electronics

Value Added Agreement

%V 31%N 1562%P 25%X CDC lisp prolog expert system tool%X CDC introduced Lisp/YE, Prolog/YE, KES/VE

%T Tektronix unwraps AI workstations,%J ComputerWorld

Lisp Version

%V 19%N 32%D AUG 12, 1985%P 16%X same info as other article on Tektronix above

"p£T News, World Digest%J ComputerWorld%V 19%N 32%P 24%X education Australia Queensland%X Queensland Secondary schools willwhich includes AI . introduce a new computer curriculum

%T HP Gives 3.3 million for AI Research%J Electronics%D AUG 19, 1985%P 23%V 58%N 33%X University of Pennsylvania%X TI is giving some work stations to Pennsylvania . Appears to bepart of a program of giving their work stations to schools announcedelsewhere.

%A Kevin Smith%T Britain Makes Major Bid to Build Commercial Fifth-Generation Machine%J Electronics%D JUL 8, 1985%P 26-27%V 58

"%N 27%X Alice Declarative Alvey Compiler Target Language Flagship HOPE ICL%X describes various parallel architectures being investigated byBritain. They hope to establish a defacto standard, beating IBM

%D AUG 5, 1985%V 31

"%N 1561%P 24%X Xerox will transfer its Artificial Intelligence Business from Pasadenato Sunnyvale

%T VLSI -Chip Test System Tests Itself at Board Level%J Electronics%D AUG 5, 1985%P 46-49%V 58%N 31%X MegaOne Expert-Like diagnostic%X Mega-One has introduced a VLSI test system that can diagnose malfunctionsin itself. The manufacturer claims that it is "expert-like", i. c. isan expert system but is not set up using production rules

%A Tom Manuel%T Tektronix Makes Major Commitment to AI Market%J Electronics%D AUG 5, 1985%P 46-49%V 58%N 31%X Tektronix is lowering its price on its 32032 based microcomputerthat it is billing as an AI machines. It has added two more models,and added a 32 -bit object oreinted machine.

%A Adam B. Green

"%T Searching for Product X%J InfoWorld%D AUG 5, 1985%P 28%V 7%N 31%X prolog microcomputers%X Adam Green, noted for his pushing DBASE products, says thatthe new runaway product (like visicalc and database) will bethe based on Prolog

%T Updates%J Datamation%P 117%D AUG 1, 1985%V 31%N 15%X Gary Moskowitz, Xerox, natural language, office systems%X says that AI should be aim to proofread documents for grammar errors;and to help collaboration between humans

%T VLSI Design System Uses Artificial Intelligence%J lEEE Computer Graphics and Applications%D AUG 1985%P 89%V 5

"%N 8%X Applicon BRAVO! design rule%X Applicon has introduced BRAVO!, a VLSI system which uses AI

compliance and which willto monitor circuitry for design rule

1987 The vehicle will be able to plan and execute a routeacross 10km of open desert at speeds up to skm per hour. It shoulddemonstrate an understanding of types of soil and ground cover.

The vehicle should plan and execute a 20 -km route on a road network,landmarks as a navigation aid. To avoid obstacles, the vehicle

will have to maneuver off the road.1989 The vehicle should traverse across country at 10 km per hour avoidingobstacles .1990 The route traversed by the vehicle will include wooded terrain, pavedand unpaved roads, and deserts. The vehicle may have to consolidatemultiple goalsPilots Associate (R2D2 for military aircraft)goals vague or unspecifiedAircraft Carrier Battle-Management systemphase 1 - look at military database and reason about ships andsubmarines, determine their readiness for missions and the effects ofredirecting themphase 2 - handle five times real time performance and to achieve performanceten thousand times current performancephase 3 - provide aid to commanders in evaluating alternativesExpert Systems1986 - Demonstrate capabilities for situation assessment where conclusionsare annotated with different levels of confidence, support 3000 ruledatabases at 1000 inferences per second (1/3 of real time)1989 - support speech input, increase speed factor of three1992 - support multiple cooperating expert systems increase speed byfactor of fiveImage Understanding1986 - demonstrate image-understanding for vehicle on simple terrain

"1988 - be able to recognize land marks1990 - navigation on complex terrains1992 - recognize targets and threats in battlefieldSpeech Production and Understanding1986 100 words vocabulary, speaker dependent, sever noise1988 1000 word, continuous speech, speech dependent, low noise1990 200 word vocabulary, speaker independent, sever noise1992 1000 word, continous speech, speaker independent, natural grammarThey claim that computation will hit 40 million inferences persecond for 1986 milestones and 20 billion for 1992Natural language1986 - demonstrate natural language interface for queries to database1988 - should understand paragraphs about air threat1990 - be able to converse and actively help user form a plan1993 - interactive multiuser system and understand streams of information

%A I . Peterson%T Conversing with Computers Naturally%J Science News%V 128%D JUL 27, 1985%N 4%P 53%X microcomputers natural language database Bozena H. ThompsonFrederick B. Thompson Microrim Savvy Caltech Natural Access System%X discusses Intellect Microrim, and Savvy and a Natural Language Systemdeveloped by Bozena H. Thompson and Frederick B. Thompson for IBM PC's

&\%r\ Eric NeeXerox to Transfer Some IS Operations to Shugart Plant

%J Electronic News

%D MAY 1985

%A Steven Linton

"%T A Game-Playing Porgram that Learns by Analyzing Examples%I Carnegie Mellon University Department of Computer Science%D MAY 1985

%A Jaime G. Carbonnel%T Derviational Analogy: A Theory of Reconstructive Problem Solving andExpertise Acquisition%I Carnegie Mellon University Department of Computer Science%D MAR 1985

Date: 22 Aug 1985 02:23-ESTFrom : leff%smu . csnet@csnet-relay . arpaSubject: Recent Articles

%X discusses various projects at DARPA. Here are the time schedules forvarious things they want as extracted from the Commerce Business Dailyrequest for proposals :Autonomous Land Vehicle1985 - The vehicle is expected to traverse a 20 -km route on a pavedroad at up to 10km per hour. The vehicle will carry out only forward

"motion, without obstacle avoidance1986 The vehicle is expected to maneuver to avoid small fixed polyhedralobjects spaced 100 meters

%A M. A. Covington%T A Further Note on Looping in Prolog%J SIGPLAN%V 20%N 8%D AUG 1985%P 28-31

%A D. Nute%T A Programming Solution to Certain Problems with Loops in Prolo%J SIGPLANftV 20%N 8%D AUG 1985%P 32-37

%A D. Poole%A R. Goebel%T On Eliminating Loops in Prolog%J SIGPLAN%V 20%N 8%D AUG 1985%P 38-40

%A Mark Stefik%T Strategic Computing at DARPA: Overview and Assessment%J Communications of the ACM%D JUL 1985%V 28%N 7%P 690-703

%A Matthew R. Korn%A Charles R. Dyer

"%T 3-D Multiview Object Representations for Model-Based Object Recognition%R TR6O2%I University of Wisconsin-Madison Department of Computer Sciences%D JUN 1985

%A Richard Preston Hooper%A Michel A. Melkanoff%T An Application of Knowledge-Based Systems to Electronic Computer-AidedEngineering, Design and Manufacturing Data Base Transport%R CSD-850011%I Computer Science Department, UCLA%X IGES%X describes a method of developing methodology for transferring databasesbetween CADCAM systemsThere is a charge of $19.25 for this item

%A Randal E. Bryant%T Symbolic Verification of MOS Circuits%I Carnegie Mellon University Department of Computer Science%D APR 1985%X The program MOSSYS simulates the behavior of a MOS circuitrepresented as a switch-level symbolically. That is, duringsimulator the user can set an input to either 0, 1 or a Booleanvariable. The simulator then computes the behavior of hte circuit asa function of past and present and input variables. By using heuristicallyefficient Boolean function manipulation algorithms, the verificationof a circuit by symbolic simualtion can proceed much more quickly than by

"exhaustive logic simulation. In this paper we present our concept ofsymbolic simualtion, dervie an algorithm for switch- level symbolicsimulation, and present experimental measurements from MOSSYM

%A Jon Doyle%T Reasoned Assumptions and Pareto Optimal ity%I Carnegie Mellon University Department of Computer Science%D JAN 1985

%A D. M. McKeown Jr.%A J. F. Pane%T Alignment and Connection of Fragmented Linear Features in AerialImagery%I Carnegie Mellon University Department of Computer Science%D APR 1985

%A Gary Kahn%A John McDermott%T MUD: A Drilling Fluids Consultant%I Carnegie Mellon University Department of Computer Science%D MAR 1985

%A Geoffrey E. Hinton%T Distributed Representation%I Carnegie Mellon University Department of Computer Science%D OCT 1984

Theodore F. LehrThe Implementation of a Production System Machine

%I Carnegie Mellon University Department of Computer Science

UCLA Computer Science Department3732 Boelter Hall

Computer Science DepartmentPittsburgh, PA 15213

Bibliography Entries

%A Jeffrey Alan Jackson%T Economics of Automatic Generation of Rules From Examples inA Chess End Game%R Department of Computer Science File No. 132%I University of Illinois at Urbana-Champaign%D FEB 1985

%A Robert Stepp%T A Description and User ' s Guide for Cluster/2 A Program forConjunctive Conceptual Clustering%R Department of Computer Science Report No. 1085%I University of Illinois at Urbana-Champaign%D FEB 1985

%A G. Smolka%A P . Panangaden%T FRESH: A Higher-Order Language%R 85-685

with Unification and Multiple Results

Department of Computer ScienceIthaca, New York

F%D MAY 1985

Cornell University

%A Rick Briggs%T An Approach to Deeper Expert Systems%R 84.11%I Research Institute for Advanced Computer Science, NASA/AMES ResearchCenter%C Moffett Field, California

%A Charles F. Neveu%A Charles R. Dyer%A Roland T. Chin%T Object Recognition Using Hough Pyramids%R TR 576%I The University of Wisconsin-Madison Computer Sciences Department%D JAN 1985

%A Deborah A. Joseph%A W. Harry Plantinga%T On the Complexity of Reachability and Motion Planning Questions%R TRSB6%I The University of Wisconsin-Madison Computer Science Department%D FEB 1985

%A Udi Manber

"%I A Distributed Implementation of Backtracking%R TRSBB%I University of Wisconsin-Madison Department of Computer Sciences%D MAR 1985

Angeles, CA 90024

Carnegie Mellon University