LAWS@SRI-AI.ARPA (07/29/85)
From: AIList Moderator Kenneth Laws <AIList-REQUEST@SRI-AI> AIList Digest Monday, 29 Jul 1985 Volume 3 : Issue 100 Today's Topics: Literature - Recent Articles ---------------------------------------------------------------------- Date: 22 Jul 1985 22:49-EST From: leff%smu.csnet@csnet-relay.arpa 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 ********************