Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP Path: utzoo!mnetor!seismo!columbia!rutgers!nike!ucbcad!ucbvax!RELAY.CS.NET!leff%smu From: leff%smu@RELAY.CS.NET Newsgroups: mod.ai Subject: Bibliography (continued) Message-ID: <8610170634.AA03885@ucbvax.Berkeley.EDU> Date: Fri, 17-Oct-86 02:35:01 EDT Article-I.D.: ucbvax.8610170634.AA03885 Posted: Fri Oct 17 02:35:01 1986 Date-Received: Fri, 17-Oct-86 06:14:03 EDT Sender: daemon@ucbvax.BERKELEY.EDU Organization: The ARPA Internet Lines: 730 Approved: ailist@sri-stripe.arpa %A W. H. H. J. Lunscher %A M. P. Beddoes %T Optimal Edge Dector Evaluation %J IEEE Transactions on Systems, Man and Cybernetics %V SMC-16 %N 2 %D MAR/APR 1986 %P 304-312 %K AI06 %A L. F. Chaparro %A M. Boudaoud %T Image Multimodeling and a Two-Dimensional Multicategory Wiener Filter %J IEEE Transactions on Systems, Man and Cybernetics %V SMC-16 %N 2 %D MAR/APR 1986 %P 312-316 %K AI06 %A Mitch Betts %T In with Electronic Filing System, Out with Antique Regulations %J ComputerWorld %D JUL 21, 1986 %V 20 %N 29 %P 15 %K AI02 AA14 AA06 Securities and Exchange Commission SEC Internal Revenue Service IRS %X The Securities and Exchange Commission is requiring companies to do their mandatory filings on computer readable media. The SEC has tried an AI system to extract financial data from the reports to be input into calculations. This worked with a 94 percent success rate but the SEC is now requiring that these figures be tagged for easy extraction. The IRS would like to store tax returns on optical disk and then destroy the paper copies but the Department of Justice is opposed because this would prevent forensic examination of fingerprints or signatures on the physical returns. %A Charles Babcock %T AI to drive 5GL Software %J ComputerWorld %D JUL 21, 1986 %V 20 %N 29 %P 23+ %K George Schussel AA08 AA06 AT14 %X George Schussel, president of Digital Consulting Associates said that AI would become part of fifth generation languages to help automate the programming of business software systems. %A Eddy Goldberg %T Expert System Financial Tool Out for Small Business %J ComputerWorld %D JUL 21, 1986 %V 20 %N 29 %P 28 %K AT02 H01 AA06 Sterling Wentworth Businessplan financial planner %X Sterling Wentworth announced that Businessplan would be released in August. This is a tool for financial planners and contains 7500 decision rules and 500 parameters that can be adjusted by the financial planner for his philosophy and style. It costs $4500 and runs on IBM PC's. %A Leilani Allen %T The Cost of an Expert %J ComputerWorld %D JUL 21, 1986 %V 20 %N 29 %P 59-68 %K Knowledge Consortium Campbell's Soup Company AI01 %X quantifies the cost of a human expert in salary, overhead, etc., so that people can judge whether building an expert system to replace him is worth the investment. %T Tool Lets PC, 370 Share Applications %J ComputerWorld %D JUL 21, 1986 %V 20 %N 29 %P 81 %K H01 T03 Aion MVS AI01 %X Aion has two shell products, one for the IBM PC and the other for IBM mainframes under MCS which are fully compatible so that applications can be shared. The MVS version sells for $60,000. %T AI Eases Conversion form CAD to NC Format %J Electronics %D MAR 31, 1986 %P 67-68 %V 59 %N 13 %K AA26 %X PMX is selling an AI system that will convert IGES standard data to numerical control programs. It runs on PC/XT's and costs for $8500, $11,500 for 3d capabilities %A K. W. Ng %A W. Y. Ma %T Pitfalls in Prolog Programming %J SIGPLAN Notices %V 21 %N 4 %D APR 1986 %P 75-79 %K T02 %A Gerardo Cisneros %A Harold V. Mcintosh %T Introduction to the Programming Language Convert %J SIGPLAN Notices %V 21 %N 4 %D APR 1986 %P 48-57 %K H01 %X A new applicative and transformation based language that runs on 8080 and 808 6 based systems %A T. L. Huntsberger %A C. Rangarajan %A S. N. Jayaramamurthy %T Representation of Uncertainty in Computer Vision Using Fuzzy Sets %J IEEE Transactions on Computers %V C-35 %D FEB 1986 %N 2 %P 145-157 %K Flash O04 AI06 %A Takeshi Yamakawa %A Tsutomu MIki %T The Current Mode Fuzzy Logic Integrated Circuits Fabricated by the Standard CMOS Process %J IEEE Transactions on Computers %V C-35 %D FEB 1986 %N 2 %P 161-167 %K O04 %T Olivetti, Digtalk Ink Pact to Make AI Pack Version %J Electronic News %D MAY 19, 1986 %V 32 %N 1602 %P 44 %K Smalltalk H01 AT16 AI01 %X Olivetti has agreed with Digitalk to jointly develop an advanced version of Digitalk's Smalltalk for 80286 based systems. Olivetti will use the system as the primary expert in its Advance Technology Center and will integrate the resulting products with a proprietary environment. %A Eddy Goldberg %T Massively Parallel Processor Introduced %J Computerworld %D May 5, 1986 %V 20 %N 18 %P 4 %K connection machine AT02 H03 %X announcement thereof. They have sold six units. Applications demonstrated include document retrieval fluid dynamics modelling, creating contour maps from aerial photographs and VLSI design %A Eric Bender %T HAL: Just Another Add on %J Computerworld %D May 5, 1986 %V 20 %N 18 %P 19+ %K Lotus AI02 H01 AA15 %X HAL, an English language interface, to Lotus 1-2-3 offers transcripts, unddo commands, self-documenting English language macros, %A Barbara Robertson %T AI Typists Now Rates Satisfactory for Novices %J INfoWorld %D MAY 19, 1986 %V 8 %N 20 %P 63-64 %K AA15 AT02 H01 AT07 AT03 %X A review of an updated version of this Word Processor, alledgedly using AI to help with correcting spelling errors. It got the following ratings: .DS L Overall: 5.4 Performance: Satisfactory Documentation: Poor Ease of Learning: Very Good Ease of Use: Very Good Error Handling: Satisfactory Support: Very Good Value: Satisfactory .DE %A Hank Kee %T PC Managers Should Not Consider AI a Panacea %J INfoWorld %D MAY 19, 1986 %V 8 %N 20 %P 34 %K AI01 %X column argues that we need more applications and less shells and that AI shells should be oriented towards the non-programmer. [See August Spang Robinson Report for a list of real Expert Systems that are being used. LEFF] %T Expert Systems Firm Gets Boost %J Electronics %D MAY 5, 1986 %V 59 %N 19 %P 64 %K France AI01 AT16 Cognitech AA05 %X Cognitech got four million dollars of additional capital. They got 53 expert system orders including one from Pechiney for a system analyzing faults in cast aluminum. %A D. D. Kary %A P. L. Juell %T TRC; An Expert System Compiler %J Sigplan Notices %V 21 %N 5 %D MAY 1986 %P 64-68 %K air cargo C T03 %X describes an expert system tool which translates input into C code. It has been applied to an air cargo routing problem. When the system was translated from a LISP based expert system tool running on the VAX to TRC, the execution time went down from hours to seconds. The system consists of an expert system running in conjunction with a mathematical optimization technique. The expert system handles things like incompatibilities between objects. The results are as good or better than human experts. %A J. B. Marti %A A. C. Hearn %T REDUCE as a Lisp Benchmark %J MAG60 %P 8-16 %K T01 %X CPU times for various machines running the REDUCE timing test. REDUCE is a symbolic math package written in LISP. (There are more machines and other information in the article) .TS tab(~); l n. Amdahl 470 V8~7.2 Apollo DN 600~89.9 CDC Cyber 170/825~106.8 DEC 1099~17.7 DEC 2020~122.8 DEC 2060~22.5 DEC VAX 11/750~78.7 DEC VAX 11/780~50.3 Facom M-382~3.6 Hewlett Packard 9836~65.3 Hitachi S-810~2.8 IBM 3031~40.1 IBM 3084~5.4 IBM 4341 MOdel 1~52.0 IBM 4341 Model 2~30.1 Robotron ES-1040~149.2 Sage IV~224.8 Siemens 7890~3.8 SML Darkstar~227.9 Symbolics 3600~45.0 Tektronix 4404~120.1 Xerox Dolphin~322.0 .TE %A J. W. Shavlik %A G. F. DeJong %T Computer Understanding and Generalization of Symbolic Mathematical Calculations: A Case Study in Physics Problem Solving %J MAG61 %P 148-153 %K AA16 AA07 AI04 %A M. Hadzikadic %A F. Lichtenberger %A D. Y. Y. Yun %T An Application of Knowledge-Base Technology in Education: A Geometry Theorem Prover %J MAG61 %P 141-147 %K AA13 AA07 T02 H01 %A J. S. Vitter %A R. A. Simons %T New Classes for Parallel Complexity: A Study of Unification and Other Complete Problems for P [Script P] %J IEEE Transactions on Computers %D MAY 1986 %V C-35 %N 5 %P 403-418 %K AI11 O06 H03 %X Parallel Algorithms for Unification in $O ( E over P + V log P)$ or $O( alpha (2E,V) E over P + V )$ where E is the number of edges and V is the number of vertices in the expression graph and P is the number of processor and $alpha$ is the inverse ackerman's fun ction. %A Karen Sorensen %T AT&T Leads New Scanner Parade %J InfoWorld %V 8 %N 19 %D MAY 12, 1986 %P 17 %K AI06 Vision Research Canon %X AT&T has an Image Director for digitizing an 8.5 by 11 paper at 100 by 100 resolution for $2885.00 Vision Research has a 8.5 by 11 scanner for $2495.00. Canon has a scanner for $1,190. OCR software is available for $595.00 to go with it. %T Study Says Australia Needs AI Development %J InfoWorld %V 8 %N 19 %D MAY 12, 1986 %P 30 %K AI16 %X According to an Australian government report, Australia has an international strength in expert systems but needs help to commercialize their work. %A Charles Babcock %T Cobol-Based AI Shell Bows %J ComputerWorld %D SEP 1, 1986 %V 20 %N 35 %K McCormick and Dodge John B. Landry Distribution Management Systems T03 AI01 AT02 %X Distribution Management Systems (DMS) will be producing expert system shells written in Cobol designed to be integrated into mainstream MIS. Releases scheduled are DEC for October, MVS/CICS in January and the IBM PC for first quarter 1987. %T Fujitsui Commits to AI Market %J ComputerWorld %D SEP 1, 1986 %V 20 %N 35 %P 15 %K AT04 AT02 H01 T03 AI01 GA01 %X Fujitsu has an Expert System shell running on its FM 16 Beta PC costing $2940 and oriented to the Japanese Language %A Michael Sullivan-Trainor %T In Depth %J ComputerWorld %D SEP 1, 1986 %V 20 %N 35 %P 55-62 %K AI01 AA18 AA06 Perks budget support personnel %X describes development and functionality of expert system for budget analysis for the US Navy and one to help Army force designers design how many support personnel are needed. %A Maura McEnaney %T Lefebvre Signs on with Expert Systems Developer Cognitive %J ComputerWorld %D SEP 1, 1986 %V 20 %N 35 %P 95 %K AI01 AT11 AT16 Multimate %X Richard Lefebvre, former chief operating officer for Multimate, is now president and ceo of Cognitive Systems Inc.. %T Japanese Launch Language Project %J InfoWorld %D SEP 1, 1986 %V 8 %N 35 %P 18 %K AI02 GA01 Hitachi NEC Fujitsu Thailand Chinese %X MITI will launch a 7 year 39 million effort to develop translation systems between Japanese and other Asian languages. %T The Next Revolution %J ComputerWorld %D SEP 15, 1986 %V 20 %N 37 %P 16 %K AA06 AT22 %X Editorial stating: The recent announcement of an expert system shell written in COBOL and designed to be integrated into mainframe applications signals the widespread integration of artificial intellgence into MIS. MIS managers should have their existing staffs get involved in AI and look out for applications of AI to their shops. They should be "movers" and not "responders" during this next phase of the computer revolution. [. ComputerWorld is a weekly newspaper with one of the largest circulations in the computer commuity LEFF .] %A Harvey P. Newquist %T Forty-bit Architecture: Latest in Push for More Power %J ComputerWorld %D SEP 15, 1986 %V 20 %N 37 %P 17 %K H02 Integrated Inference SM45000 %X discusses the new Integrated Inference Machines SM45000 which uses a 40 bit word %T Artificial -intelligence Work Gains Mainstream Acceptance %J The Institute %V 10 %N 10 %P 1+ %D OCT 1986 %K AI07 Nils Nillson Feigenbaum Minsky McDermott Schorr IBM AT14 %X discusses statements by Edward Feigenbaum, Marvin Minsky, Drew McDermott and Nils Nillson at the recent AAAI conference. Edward Feigenbaum "claimed that every time an area of AI becomes successful, it is no longer considered Artificial Intelligence." Marvin Minsky said that there isn't necessarily anything corresponding to "intelligence." Nils Nilsson discussed robotics. They applauded IBM for its "embracing" of AI and for acknowledging university research. However, there was a complaint about a long conversation with IBM represenatives in which they asked what new techniques that would have applications to new products would come out of MIT in the next eighteen months. %A Charles Babcock %T Landry Returns to the Fray %J ComputerWorld %D SEP 8, 1986 %V 20 %N 36 %P 19+ %K John Landry McCormack and Dodge Distribution Management Systems AA06 %X Discusses the head of Impact/AE which is the expert system for use in COBOL environments. %A Eddy Goldberg %T AI Debuts Move Expert Systems into Mainstream Computing %J ComputerWorld %D SEP 8, 1986 %V 20 %N 36 %P 22 %K AAAI-86 Xerox CommonLoops Texas INstruments Vaxstation DEC Apollo Franz Aion Lisp Machine H02 H01 T03 T01 %X reviews some announcements made at AAAI-86 %A MItch Betts %T Archives Gets Expert System %J ComputerWorld %D SEP 8, 1986 %V 20 %N 36 %P 93 %K AA14 %X The National ARchives is developing a prototype expert system to help users who have vague requests for information. In tests, the computer and the archivi sts agreed 66% of the time, 21% of the answers were achieved by the computer and not the archivists and 13% of the time the archivists gave the answer and not the computer and 7% of the time the computer was "simply wrong." The prototype covers the old Bureau of Land Management records and was written with M.1 %T DEC Unveils HIgh-end VAX %J ComputerWorld %D SEP 8, 1986 %V 20 %N 36 %P 107 %K DEC T01 %X DEC introduced the AI Vaxstation/GPX which is a color version of the Microvax II. %T New Products/Software and Services %J ComputerWorld %D SEP 8, 1986 %V 20 %N 36 %P 111 %K T03 OPS5 Data Directions DDi-OPS Xerox 1100 %X Data Directions, 37 Jerome Ave., Bloomfield, Conn 06002, has released an OPS-5 for the Xerox Corp. 1100 Lisp Machine costing $995.00 %A Alice LaPlante %T Communications Program to Help Novices, Experts %J infoWorld %D SEP 8, 1986 %V 8 %N 36 %P 16 %K AA08 AI01 H01 AA15 %X Costing $49.95, is a system that helps users handling microcomputer communications. It helps configure Smartcom II, Crosstalk, Concept Development' s Line Plus. It can help design a serial cable. %T Symbolics Compiler Gets DOD Approval %J Electronic News %V 32 %N 1618 %D SEP 8, 1986 %P 26 %K H02 Symbolics Tempest Ada %X DOD validated Symbolics' ADA compiler. This costs $3600.00. They also brought out a Tempest version of their 3645 processor which will cost $104,900 %T Commercializing AI Provides 16000 Jobs in US %J Electronics %D SEP 18, 1986 %P 23 %V 59 %N 13 %K AT04 %X There are 16000 people now working in US to commercialize AI technologies. This excludes people in academe and research organizations. %T Vision Processor on a Board Goes for $10,000 %J Electronics %D SEP 18, 1986 %P 28 %V 59 %N 13 %K AI06 AT02 %X The 2000/VP costs $10,000 and is said to be comparable to $40,000 boards %T Dainichi Kiko Asks Court Protection %J Electronics %D SEP 18, 1986 %P 114 %V 59 %N 13 %K AI07 AT16 GA01 %X This company, a fast growing Japanese robotic maker, sought court protection from creditors. %T Vision System Checks Assembled Boards %J Electronics %D SEP 18, 1986 %P 103 %V 59 %N 13 %K AI06 AA26 AA04 %X Intellidex has a new system that uses ten cameras to check PC boards. %A Peggy Watt %T AI Languages for Mac, IBM PC,VAX Introduced %J ComputerWorld %D SEP 22, 1986 %V 20 %N 38 %P 35 %K T02 H01 T01 AT02 logo macintosh VAX %X Expertelligence will be selling an IBM PC version of prolog and versions of LISP for Macintosh and VAX. The system uses Macintosh like windows and pull down menus. %A Pat Shipman %T The Recent Life of an Ancient Dinosaur %J Discover %D OCT 1986 %V 7 %N 10 %K analogy functional anatomy AA10 %X shows where reasoning by analogy went wrong and where it went right in determining the nature of the Iguanadon from various bones. He argues that analogy from functional similarities is valid but that from mere circumstantial reasoning where there is no causual relationship between the sets of traits in question. Might be of interest to those developing AI systems to reason by analogy. %A D. Snyers %A A. Thayse %T Algorithmic State Machine Design and Automatic Theorem Proving: Two Dual Approaches to the Same Activity %J IEEE Transactions on Computers %V C-35 %N 10 %D OCT 1986 %V C-35 %K AI11 AA08 %X Transformations acting on P-function can be interpreted in terms of synthesizing programs consisting of if-then-else and do and theorem proving. Attempts to show a relation between Prolog and logic design. %A Ralph Emmett Carlyle %T Sneaking in the Back %J Datamation %D OCT 1, 1986 %V 32 %N 19 %P 32+ %K AT02 Cullinet MSA McCormack and Dodge AA06 MIS Impact/AE Distribution Management Incorporated AION CICS %X MSA is adding rules-based software to Information Expert and will be announcing stand alone systems for expert systems. Boole and Babbage and others will be adding expert systems to their performance measurement and capacity planning systems. Aion will be able to run its expert systems under CICS. (Interview with Bob goldman of Artificial Intelligence Corporation which markets Intellect. They are developing expert systems, voice recognition systems and software to run under IBM's DB2 database system.) %A James T. Brady %T A Theory of Productivity in the Creative Process %J IEEE Computer Graphics and Applications %D May 1986 %V 6 %N 5 %P 25-34 %K AI08 roll system response time %X discusses the state of "being on a roll" where everything seems to go right. Programmers and engineers who used terminals found that for programmers system response time dropping from 2.5 to .3 seconds increased productivity by a factor of two and for engineers in a graphic applications environment, productivity could go up as much as nine times for a drop from 1.5 secons to 0.3 seconds. Develops an analytical model to explain these empirical results. %A Ellis S. Cohen %A Edward t. Smith %A Lee A. Iverson %T Constraint Based Tiled Windows %J IEEE Computer Graphics and Applications %D May 1986 %V 6 %N 5 %P 35-45 %K AI15 AI01 %X discusses uses ruled based techniques to automatically determine size and locations of windows in a tile-based systems. This is where windows do not "overlap" but are resized so they all fit together on the rectangle that forms the screen. %A G. J. Li %A B. W. Wah %T Coping with Anomalies in Parallel Branch-and-Bound Algorithms %J IEEE Transactions on Computers %D JUN 1986 %V C-35 %N 6 %P 568-573 %K H03 AI03 %X Sufficient conditions to guarantee no degradation in performance due to parallelisma nd necessary conditions for allowing parallelism to have a speedup greater than the number of processors is found. %A Ed Winfield %T Image Processing Prooducts for the Q=Bus Meet INdustry Needs for Precision Inspection %J Hardcopy %V 6 %N 7 %D JUL 1986 %P 83-94 %K AI06 AT02 %X Data Translation .br DT2651 Frame Grabber 512 x 512, on-board ALU .br Datacube .br QVG-153 768x512 x 8 bit frame capture, can be expanded to 24 bits per pixel, daughterboard to do processing .br Matrox .br QFAF-512 512 x 512 x 4 .br Reticon .br SB6320 (interface to reticon's solid-state cameras) .br Imaging Technology .br AP512,FB512,ALU512, processor, display and converter for 512 by 512 (hardware for histograms and feature extractions %A John Naughton %T Artificial Intelligence: Can DEC Stay Ahead? %J Hardcopy %V 6 %N 7 %D JUL 1986 %P 113-117 %K AI01 AA26 AA21 %X IDT helps engineers locate field-replaceable units in PDP 11-03's. (description of other of DEC's AI expert systems and experiences.) %A T. F. Knoll %A R. C. Jain %T Recognizing Partially Visible Objects Using Feature Indexed Hypotheses %J IEEE Journal of Robotics and Automation %D MAR 1986 %V RA-2 %N 1 %P 3-13 %K AI06 %X develops an algorithm for isolating objects that partially match of cost $O( sqrt p ) r$ where p is the number of possible objects and r is the number of redundancies. %A E. K. Wong %A K. S. Fu %T A Hierarchical Orthoganal Space Approach to Three-Dimensional Path Planning %J IEEE Journal of Robotics and Automation %D MAR 1986 %V RA-2 %N 1 %P 42-52 %K AI07 AI03 AI09