LAWS@SRI-AI.ARPA (08/13/85)
From: AIList Moderator Kenneth Laws <AIList-REQUEST@SRI-AI> AIList Digest Tuesday, 13 Aug 1985 Volume 3 : Issue 109 Today's Topics: Queries - Phone Numbers & AI Workstations, Review - AI Report Aug 1985, Literature - Recent Articles ---------------------------------------------------------------------- Date: Thu, 8 Aug 85 10:53:02 cdt From: Raj Doshi <doshi%umn.csnet@csnet-relay.arpa> Subject: need phone numbers... Could some one please give me the PHONE-NUMBERS and E_MAIL_ADDRESSes of: ============= ================ 1. Dr. Elliot Solloway, YALE 2. Dr. Michalski (machine Learning book) 3. Dr. Lewis Johnson, (author of PROUST, ICAI-system Ph.D. Thesis at YALE.) Thanks very very much in advance. - Raj Doshi Grad Student, University Of Minnesota. ------------------------------ Date: Thu, 8 Aug 1985 18:04 EDT From: JIN%MIT-OZ@MIT-MC.ARPA Subject: AI Workstations [Forwarded from the MIT bboard by SASW@MIT-MC.] A friend of mine at Stanford CAD group is trying to choose a lisp machine for his lab. The candidates are: 3600, TI, Dandelion, and Tektronix. If you know any pros and cons or any literature comparing these machines, let me know. I would appreciate it. ------------------------------ Date: 9 Aug 1985 01:43-EST From: leff%smu.csnet@csnet-relay.arpa Subject: AI Report Aug 1985 Summary of Artificial Intelligence Report, Volume 2, No. 8 August 1985 o - Evaluation of Five Commercial Expert Systems Tools related to "Evaluating the Existing Tools for Developing Knowledge-Based Systems: by Mark H. Richer, Knowledge Systems Laboratory, Stanford University, Report NO. KSL 85-19 o - General Motors and the Unversity of Michigan have formed a Center for Machine Intelligence headed by Lynn Conway o - Proctor and Gamble and NYNEX have invested 3 million and 4 million in Teknowledge respectively o - Ted Harnett is now President and CEO of Quintus. He was previously at Micro Focus o - announcement of MacKit for writing expert systems on Macintoshes o - Kurzweill has announced production and marketing of a speech recognizer with a vocabulary of 1000 words o - Sperry - TI deal o - The Geneval Laboratories of Battelle Memorial Institute have completed a 2000 page survey of computer vision hardware o - Announcement of index to Scientific Data Link's AI memos o - bibliography by Harry Llull Review of: %A Paul Harmon %A David King %T Expert Systems: Artificial Intelligence in Business %I John Wiley & Sons ------------------------------ Date: 10 Aug 1985 02:25-EST From: leff%smu.csnet@csnet-relay.arpa Subject: Recent Articles %A Christine McGeever %T Symantec Ships Its First Product %J InfoWorld %D JUL 22, 1985 %V 7 %N 29 %P 20 %K Gary Hendrix Symantec %X Symantec, a company promising a significant AI product and which has hired Gary Hendrix, has shipped its first product. That product is a Lotus 1-2-3 which has nothing to do with AI. The "blockbuster" AI product is still planned. %T Teknowledge Gets $4M Cash Infusion %J Electronic News %D JUL 22, 1985 %V 31 %N 1559 %P 31 %K Proctor and Gamble %X Proctor and Gamble has invested 4 million dollars for Teknowledge in exchange for slightly more than 10 per cent ownership. %A Barbara Kellam-Scott %T Harvard Law School Computerizes the Paper Chase %J Hardcopy %D JUL 1985 %P 19 %V 14 %N 7 %K DEC %X Harvard Law School is automating their Legal Services Clinics. They have plans to include an expert system to assist lawyers in handling these cases. Digital Equipment has contributed to this program. %A Clara Y. Cuadrado %A John L. Cuadrado %T Prolog Goes to Work %J MAG4 %P 151-159 %K Symbolics Al Despain Yale Patt Berkely %X Al Despain and Yale Patt of Berkeley have achieved 425,000 LIPS using a custom designed processor. Symbolics has achieved 100,000 LIPS using custom microcode. Discusses general issues of Prolog in the contex of a maze traversing system. Also discusses the Japanese Fifth Generation project. %T Book Reviews %J MAG4 %X reviews of J. R. Ennals, Beginning Micro-Prolog and K. L. Clark and F. G. McCabe's Micro-Prolog Programming %P 49-60 %A Robert Kowalski %T Logic Programming %J MAG4 %P 161-177 %K Prolog %X general article on prolog, similar to other articles on the same subject by the same author appearing in other publications. %T Programming Environment with AI Module %J MAG1 %P 386 %X Commodore 64 Superforth Parsec Research %K Describes Superforth 64 + AI, a system to allow you to write expert systems on the Commordore 64. It supports antecedent and consequent reasoning ------------------------------ Date: 10 Aug 1985 02:20-EST From: leff%smu.csnet@csnet-relay.arpa Subject: bibliography These definitions are used for this AI bibliography and for the next submission which covers computer vision/ robotics articles. [I have passed the vision bibliography on to Vision-List@AIDS-UNIX. AIList readers can get a copy from AIList-Request@SRI-AI.ARPA, or by FTPing file <ailist>vision.bib on SRI-AI. -- KIL] D MAG2 International Journal of Robotics Research\ %V 3\ %N 4\ %D Winter 1984 D MAG3 Journal of Mechanism, Transmission and Automation in Design\ %V 107\ %N 1 Special Issue\ %D MAR 1985 D BOOK14 Intelligent Robots and Computer Vision: Proceedings of the Society of Photo-Optical Instrumentation Engineers\ %D NOV 5-8 1984\ %E D. P. Casasent\ %E E. L. Hall D MAG3X Journal of Parallel and Distributed Computing\ %V 2\ %N 1\ %D FEB 1985 D MAG4 Byte\ %V 10\ %N 8\ %D AUG 1985 D MAG5 Industrial and Process Control Magazine\ %V 58\ %N 3\ %D MAR 1985 D MAG6 Aerospace America\ %V 23\ %N 4\ %D APR 1985 D MAG7 Computer Design\ %V 24\ %N 3\ %D MAR 1985 D MAG8 Manufacturing Engineering\ %V 94\ %N 4\ %D APR 1985 bib bibliography entries: ____________________________________________________________________________ %A J. A. Reggia %A B. T. Pericone %A D. S. Nau %A Y. Peng %T Answer Justification in Diagnostic Systems 1. Abductive Inference and its Justification %J IEEE Transactions on Biomedical Engineering %V 32 %N 4 %D 85 %P 263 %A J. A. Reggia %A B. T. Pericone %A D. S. Nau %A Y. Peng %T Answer Justification in Diagnostic Systems 2. Supporting Plausible Justifications %J IEEE Transactions on Biomedical Engineering %V 32 %N 4 %D 85 %P 268 %A K. Marik %T Customers Requirements of Natural Language Systems %J International Journal of Man-Machine Stuides %V 21 %N 5 %D NOV 84 %P 401 %A Stephen W. Oxman %T Expert Systems Represent Ultimate Goal of Strategic Decision Making %J Data Management %V 23 %N 4 %D APR 1985 %P 36 %A J. R. Ennals %T Beginning Micro-Prolog %I Harper & Row %C New York %D 1984 %X $15.95 %A K. L. Clark %T Micro-Prolog: Programming in Logic %I Prentice-Hall %C Englewood Cliffs, NJ %D 1984 %X $18.95 %A Tim Johnson %T Natural Language Computing: The Commercial Applications %I Ovum Ltd %C London %X Price $395.00 %A Ahrens, U. %A Schmidt, U. %T Advanced Programming Process for Industrial Robots %J Industrie-Anzeiger %V 106 %N 103/104 %D Dec. 28, 1984 %P 42-43 %A F. Bouille %T The 'HBDS' Database Model Kernel of a Structured Data Base System. Making Databases Work %J IEEE Proceedings of Trends and Applications %D 1984 %P 324-331 %A M. B. Cooper %A A. L. Kidd %T A Man-Machine Interface for an Expert System %J British Telecom Technology Journal %V 3 %N 1 %D JAN 1984 %P 112-115 %T Development Tool Debuts %J Computer World %V 19 %N 11 %D MAR 18, 1985 %P 49 %A R. Goering %T Do-It-Yourself Development Tools Speed AI Applications %J Computer Design %V 23 %N 14 %D DEC 1984 %P 29-32+ %A T. Huggins %T AI Systems Made Simple %J Informatics %V 6 %N 1 %D JAN 1984 %P 11-13 %A P. Hunter %T User Shells Sets Experts Wrangling %J ComputerWeekly %N 949 %D FEB 7, 1985 %P 28 %A V. P. Kobler %T Overview of Tools For Knowledge Base Construction %J International Conference on Data Engineering %I IEEE %C Los Angeles, Ca %D 1984 %P 282-285 %A J. R. Lineback %T Lisp Machine Provides a Shell for Industrial AI Applicaitgons In One of First Expert Systems To Go To Work %J Electronics Week %V 57 %N 2 %D 1984 %P 33 %A C. Maioli et al. %T Prototypes of Expert Systems for a Friendly Man Machine Interaction. User Termianls for Information/Communication Systems %J 31st International Congress on Electronics. Proceedings %D 1984 %P 35-42 %A A. Mehta %T ICL Claims Its Shell Cracks Expert Problem %J ComputerWeekly %N 943 %D DEC 13, 1984 %P 10 %A M. Merry %T Apex-3: An Expert System Shell for Fault-Diagnosis %J GEC Journal of Research %V 1 %N 1 %D 1983 %P 39-47 %A W. Rauch-Hindin %T AI Tool on PC bridges Expert to Novice Gap %J Systems and Software %V 3 %N 7 %D JUL 1984 %P 42+ %A S. E. Savory %T An Introduction to Artificial Intelligence with a Description of the Tool System, 'Twice' %J COMPAS 1984 Software as a Prduct %P 1057-1064 %A M. Schindler %T PC Software Tool Designs Small Expert Systems for Any Field %J Electronic Design %V 32 %N 12 %D JUN 14, 1984 %P 42-44 %A M. Schindler %T Expert Systems %J Electronic Design %V 33 %N 1 %D JAN 10, 1985 %P 112-114 %A M. STephens %A K. Whitehead %T The 'Analyst,' An Expert Systems Approach to Requirements Analyst %J European Seminar on Industrial Software Engineering and the European Workshop on Industrial Computer Systems. Proceedings % D 1984 %P 189-206 %T TI announces Expert System Software Tool %J Computerworld %V 18 %N 32 %D AUG 6, 1984 %P 59+ %A R. S. Wall %T Industrial Strength Knowledge Representation %J Third Annual International Phoenix Conference on Computers and Communications Proceedings %I IEEE %C Phoenix %D 1984 %P 6-10 %A R. C. Waters %T The Programmer's Apprentice: Knowledge-Based Program Editor %J Mini/Micro Northeast Computer Conference and exhibition %D 1984 %A Anthony J. Frisai %T AI Market Prospects are Good %J MAG5 %P 41 %A Dr. Richard A. Herrod %A Barbara Papas %T Artificial Intelligence Moves Into Industrial and Process Control %J MAG5 %P 45 %T I&CS Guide to AI Products %J MAG5 %P 50 %A Thomas E. Murphy %T Setting Up an Expert System %J MAG5 %P 54 %A A. C. Buffalano %T Expert Systems for the Military %J MAG6 %P 40 %A P. G. Freck %A R. P. Bonasso %T Drawing a Clear Picture of the Battlefield %J MAG6 %P 46 %A S. A. Vere %T Deviser- An AI Planner for Spacecraft Operations %J MAG6 %P 50 %A D. I. Smith %T CATS Precursor to Aerospace Expert Systems %J MAG6 %P 54 %A L. V. Filosofov %T Dynamic Recognition with Internal Instruction %J Engineering Cybernetics %V 22 %N 3 %D MAY-JUN 1984 %P 134 %A N. Mokhoff %T AI Techniques Aim to Ease VLSI Design %J MAG7 %P 33 %K AIENG %A H. J. HIndin %A S. F. Shapiro %T Speech Recognition Produces Natural Interface %J MAG7 %P 59 %A Z. L. Rabinovich %T Machine Intelligence and Fifth Generation Computer Structures %J Cybernetics %V 20 %N 3 %D MAY-JUN 1985 %P 426 %A W. Dilger %A W. Womannn %T The METANET: A Means for the Specification of Semantic Networks as Abstract Datatypes %J International Journal of Man-Machine Studies %V 21 %N 6 %D DEC 1984 %P 463 %A Michael B. First %A Lynn J. Soffer %A Randolph A. Miher %T QUICK (quick Index to Caduceus Knowledge) Using the Internish/Cadaceus Knowledge Base as an Electronic Textbook of Medicine %J Computers and Biomedical Research %V 18 %N 2 %D APR 1985 %P 137 %A Bernard Huet %T Semantic Modelling of Biological Sub-Systems by a Multilevel Control Structure Concept %J Kybernetes %V 14 %N 2 %D 1985 %P 93 %A J. A. Chester %T Artificial Intelligence-Is MIS Ready for the Explosion %J Infosystems %V 32 %N 4 %D APR 1985 %P 74 %A R. K. MIller %T Artificial Intelligence - A New Tool for Manufacturing %J MAG8 %P 56 %K AIENG %A R. P. Bergstrom %T AI - Fad with a Future %J MAG8 %P 65 %A Susan Walton %T Fighting Fire with Computers %T Technology Review %V 88 %N 6 %P 68-69 %D AUG/SEP 1985 %K forestry forest fires %X describes an expert system in a portable computer which is used to help fire fighters in determining how to fight forest fires. This system has been used to settle a law suit in Australia, to determine the appropriate amount of staffing for fire systems and has successfully predicted the area where a fire will occur and its path and duration of travel. ------------------------------ End of AIList Digest ********************