home *** CD-ROM | disk | FTP | other *** search
/ ftp.pasteur.org/FAQ/ / ftp-pasteur-org-FAQ.zip / FAQ / ai-faq / expert / part1
Encoding:
Internet Message Format  |  1997-08-14  |  76.4 KB

  1. Path: senator-bedfellow.mit.edu!bloom-beacon.mit.edu!hookup!jussieu.fr!oleane!newsxfer3.itd.umich.edu!howland.erols.net!infeed2.internetmci.com!newsfeed.internetmci.com!nntp.info.ucla.edu!nntp.club.cc.cmu.edu!cantaloupe.srv.cs.cmu.edu!mkant
  2. From: mkant+@cs.cmu.edu (Mark Kantrowitz)
  3. Newsgroups: comp.ai,comp.ai.shells,news.answers,comp.answers
  4. Subject: FAQ: Expert System Shells 1/1 [Monthly posting]
  5. Supersedes: <EXPERT_1_868777228@CS.CMU.EDU>
  6. Followup-To: poster
  7. Date: 13 Aug 1997 07:43:21 GMT
  8. Organization: School of Computer Science, Carnegie Mellon University
  9. Lines: 1428
  10. Approved: news-answers-request@MIT.Edu
  11. Distribution: world
  12. Expires: 24 Sep 1997 07:00:20 GMT
  13. Message-ID: <EXPERT_1_871455620@CS.CMU.EDU>
  14. Reply-To: mkant+ai-faq@cs.cmu.edu
  15. NNTP-Posting-Host: glinda.oz.cs.cmu.edu
  16. Keywords: Expert Systems, RETE, OPS
  17. Xref: senator-bedfellow.mit.edu comp.ai:48835 comp.ai.shells:3704 news.answers:109657 comp.answers:27554
  18.  
  19. Archive-name: ai-faq/expert/part1
  20. Last-Modified: Wed Apr 30 14:01:59 1997 by Mark Kantrowitz
  21. Version: 1.41
  22. Maintainer: Mark Kantrowitz <mkant+ai-faq@cs.cmu.edu>
  23. URL: http://www.cs.cmu.edu/Web/Groups/AI/html/faqs/ai/expert/part1/faq.html
  24. Size: 77655 bytes, 1437 lines
  25.  
  26. ;;; ****************************************************************
  27. ;;; Expert System Shells *******************************************
  28. ;;; ****************************************************************
  29. ;;; Written by Mark Kantrowitz
  30. ;;; expert_1.faq
  31.  
  32. This post contains the Expert System Shells FAQ. 
  33.  
  34. If you think of questions that are appropriate for this FAQ, or would
  35. like to improve an answer, please send email to us at mkant+ai-faq@cs.cmu.edu.
  36.  
  37. CONTRIBUTIONS to this summary should be sent to mkant+ai-faq@cs.cmu.edu.
  38. Companies wishing to expand their entries should send product
  39. summaries no longer than the RTworks or CLIPS entries, and should
  40. focus on features and facts. Hype and vague generalizations will be removed.
  41.  
  42. *** Copyright:
  43.  
  44. Copyright (c) 1992-95 by Mark Kantrowitz. All rights reserved.
  45.  
  46. This FAQ may be freely redistributed in its entirety without
  47. modification provided that this copyright notice is not removed.  It
  48. may not be sold for profit or incorporated in commercial documents
  49. (e.g., published for sale on CD-ROM, floppy disks, books, magazines,
  50. or other print form) without the prior written permission of the
  51. copyright holder.  Permission is expressly granted for this document
  52. to be made available for file transfer from installations offering
  53. unrestricted anonymous file transfer on the Internet.
  54.  
  55. If this FAQ is reproduced in offline media (e.g., CD-ROM, print form,
  56. etc.), a complimentary copy should be sent to Mark Kantrowitz, School
  57. of Computer Science, Carnegie Mellon University, 5000 Forbes Avenue,
  58. Pittsburgh, PA 15213-3891 USA.
  59.  
  60. This article is provided AS IS without any express or implied warranty.
  61.  
  62. *** Recent changes:
  63.  
  64. ;;; 1.32:
  65. ;;;  8-AUG-95 mk    Updated COMDALE entry in [1-6].
  66. ;;;
  67. ;;; 1.33:
  68. ;;; 21-DEC-95 mk    Deleted GEST entry, per Stefan Roth.
  69. ;;; 22-DEC-95 mk    Updated Gensym entry. New URL.
  70. ;;;
  71. ;;; 1.34:
  72. ;;; 18-JAN-96 mk    Updated M.4 entry.
  73. ;;; 19-JAN-96 mk    Updated the C-PRS entry.
  74. ;;;
  75. ;;; 1.35:
  76. ;;;  7-MAR-96 mk    Updated various Haley Enterprises entries.
  77. ;;; 19-MAR-96 mk    Updated ACQUIRE entry.
  78. ;;;
  79. ;;; 1.36:
  80. ;;; 10-MAY-96 mk    Updated EXSYS entry.
  81. ;;;  4-JUN-96 mk    Added TechMate entry.
  82. ;;; 20-JUN-96 mk    Updated telephone numbers for ILOG France.
  83. ;;; 23-JUL-96 mk    Updated XpertRule for Window entry.
  84. ;;; 29-JUL-96 mk    Replaced AIM entry with ModelQuest entry.
  85. ;;; 18-NOV-96 mk    Updated wxCLIPS entry.
  86.  
  87.  
  88. *** Topics Covered:
  89.  
  90.   [1-1]  Introduction
  91.   [1-2]  Other Sources of Information
  92.   [1-3]  Bibliography of Expert Systems books, introductions,
  93.          documentation, periodicals, and conference proceedings.
  94.   [1-4]  Note about 'Real-Time' expert systems
  95.   [1-5a] Free/Cheap Expert System Shells
  96.   [1-5b] Free/Cheap Expert System Shells: CLIPS and Related Systems
  97.   [1-6]  Commercial Expert System Shells
  98.   [1-7]  Associations
  99.   [1-8]  Glossary
  100.   [1-A]  Acknowledgements
  101.  
  102. Search for [#] to get to question number # quickly.
  103.  
  104. ----------------------------------------------------------------
  105. Subject: [1-1]  Introduction 
  106.  
  107. Certain questions and topics come up frequently in the various network
  108. discussion groups devoted to and related to Expert Systems. This
  109. file/article is an attempt to gather these questions and their answers
  110. into a convenient reference for AI researchers, students, and
  111. practitioners. It is posted on a monthly basis. The hope is that this
  112. will cut down on the user time and network bandwidth used to post,
  113. read and respond to the same questions over and over, as well as
  114. providing education by answering questions some readers may not even
  115. have thought to ask.
  116.  
  117. Currently this FAQ is a primarily a list of free and commercial expert
  118. system shells, but other questions and answers will be added as they
  119. arise.
  120.  
  121. The latest version of this file is available by anonymous FTP from
  122.    ftp.cs.cmu.edu:/user/ai/pubs/faqs/expert/expert_1.faq  [128.2.206.173]
  123. using username "anonymous" and password "name@host" (substitute your
  124. email address) or via AFS in the Andrew File System directory
  125.    /afs/cs.cmu.edu/project/ai-repository/ai/pubs/faqs/expert/expert_1.faq
  126.  
  127. You can also obtain a copy of the FAQ by sending a message to
  128. ai+query@cs.cmu.edu with 
  129.    Send ESS FAQ
  130. in the message body.
  131.  
  132. The FAQ postings are also archived in the periodic posting archive on
  133.    rtfm.mit.edu:/pub/usenet/news.answers/ai-faq/expert/ [18.181.0.24]
  134. If you do not have anonymous ftp access, you can access the archive by
  135. mail server as well.  Send an E-mail message to mail-server@rtfm.mit.edu
  136. with "help" and "index" in the body on separate lines for more
  137. information.
  138.  
  139. An automatically generated HTML version of this FAQ is accessible by
  140. WWW as part of the AI-related FAQs Mosaic page. The URL for this
  141. resource is
  142.    http://www.cs.cmu.edu/Web/Groups/AI/html/faqs/top.html
  143. The direct URL for the Expert Systems FAQ is
  144.    http://www.cs.cmu.edu/Web/Groups/AI/html/faqs/ai/expert/top.html
  145.  
  146. If you need to cite the FAQ for some reason, use the following format:
  147.    Mark Kantrowitz, "Answers to Frequently Asked Questions about
  148.    Expert System Shells", comp.ai.shells, <month>, <year>,
  149.    ftp.cs.cmu.edu:/user/ai/pubs/faqs/expert/expert_?.faq, 
  150.    mkant+ai-faq@cs.cmu.edu.
  151.  
  152. ----------------------------------------------------------------
  153. Subject: [1-2]  Other Sources of Information
  154.  
  155. In addition to the free expert system shells listed below, the Prolog
  156. Resource Guide lists a variety of Prolog implementations and products.
  157. In addition to being backward-chaining systems, many Prolog
  158. implementations provide support for forward-chaining rules and other
  159. expert systems requirements. For example, Amzi! Inc. sells Dennis
  160. Merritt's book, "Building Expert Systems in Prolog", Springer-Verlag,
  161. 1989, for $52 (see entry in bibliography below).
  162.  
  163. The July/August 1992 issue of PC AI magazine includes their annual
  164. product guide for expert systems and related tools. AI Expert Magazine
  165. publishes an "Expert Systems Resource Guide" once per year, usually in
  166. April.
  167.  
  168. The February 1991 issue of IEEE Computer has an article about Expert
  169. System Tools. Another article of possible interest is "Selection
  170. Criteria for Expert System Shells: A Socio-Technical Framework", by
  171. Anthony C. Stylianou, Gregory R. Madey, and Robert D.  Smith, CACM
  172. 35(10):30-48, October 1992.
  173.  
  174. The AI FAQ contains pointers to other resources that may be of
  175. interest to readers of this FAQ. If you can't find the information
  176. you're looking for here, try looking in the AI FAQ. The AI FAQ is
  177. posted monthly to the newsgroup comp.ai and is also available from the
  178. anonymous ftp locations mentioned above.
  179.  
  180. The Prime Time Freeware for AI CD-ROM collection includes several expert
  181. system shells, including Babylon, CLIPS, ESIE, Frulekit, and OPS5, among
  182. others. The sells (list) for $60 US plus applicable sales tax and
  183. shipping and handling charges. Payable through Visa, Mastercard, postal
  184. money orders in US funds, and checks in US funds drawn on a US bank. For
  185. more information write to Prime Time Freeware, 370 Altair Way, Suite
  186. 150, Sunnyvale, CA 94086 USA, call 408-433-9662, fax 408-433-0727, or
  187. send email to ptf@cfcl.com.
  188.  
  189. ----------------------------------------------------------------
  190. Subject: [1-3] Bibliography of Expert Systems books, introductions,
  191.                documentation, periodicals, and conference proceedings.
  192.  
  193. This section contains a list of key references and introductions about
  194. Production Systems, Expert Systems, and Match Algorithms. For other
  195. AI-related books, see part 4 of the AI FAQ.
  196.  
  197. Overviews and Texts:
  198.  
  199.    Bruce G. Buchanan and Edward H. Shortliffe, "Rule-Based Expert
  200.    Systems: The MYCIN Experiments of the Stanford Heuristic Programming
  201.    Project", Addison-Wesley, Reading, MA, 1985. The Davis and King
  202.    paper (chapter 4, "An overview of production systems") provides
  203.    a good overview.
  204.  
  205.    Frederick Hayes-Roth, "The knowledge based expert system: A tutorial",
  206.    IEEE Computer 17(9):11-28, 1984.
  207.  
  208.    Bruce G. Buchanan and R.O. Duda, "Principles of Rule-Based Systems",
  209.    Tech Report HPP-82-14, 1982. (Discusses the design of expert
  210.    systems, including representation, inference, and uncertainty
  211.    management. Examples from numerous specific systems, and discusses
  212.    which problems are suitable for attack by rule-based systems.)
  213.    Send email to gsmith@hpp.stanford.edu for information on getting
  214.    the tech report, or see the later report:
  215.       Bruce Buchanan and Reid Smith, "Fundamentals  of  Expert
  216.       Systems", Annual Review of Computer Science 3, 23-58, 1988.
  217.  
  218.    Joseph Giarratano and Gary Riley, "Expert Systems Principles and
  219.    Practice", PWS Publishing (20 Park Plaza, Boston, MA 02116-4324
  220.    1-800-842-3636, 1-617-542-3377, fax 1-617-338-6134), 1993, 644
  221.    pages, ISBN 0-534-93744-6, $53.94. 
  222.      [This is the second edition of "Expert Systems: Principles and
  223.       Programming" and comes with an MS-DOS CLIPS 6.0 interpreter. The
  224.       book includes a good tutorial on using CLIPS.]
  225.  
  226.    James P. Ignizio, "Introduction to Expert Systems: The Development
  227.    and Implementation of Rule-Based Expert Systems", McGraw-Hill,
  228.    1991. 402 pages, ISBN 0-07-909785-5 ($37.50). [Focuses on the
  229.    building of the knowledge-base model and its proper implmentation
  230.    from a decision-making perspective. Also covers knowledge
  231.    acquisition, inference, and validation. Especially good for
  232.    students in fields besides computer science, such as business,
  233.    engineering, and the social sciences. There are exercises at the
  234.    end of every chapter. Clear and concise explanations with good
  235.    examples. Also provides an introduction to EXSYS with an EXSYS demo disk.] 
  236.  
  237.    Samuel J. Biondo, "Fundamentals of Expert Systems Technology:
  238.    Principles and Concepts", Ablex, Norwood, NJ, 1990. 160 pages, ISBN
  239.    0-89391-701-X paper ($35).
  240.  
  241.    Dennis Merritt, "Building Expert Systems in Prolog", Springer-Verlag, 1989.
  242.    358 pages, ISBN 0-387-97016-9 hardcover ($52).
  243.    Explains how to build various expert system shells in Prolog, including
  244.    forward/backward chaining, FOOPS, rete-network, frames, solving
  245.    Rubik's cube and more. Includes complete source code listings.
  246.    (Source code from the book is also sold on disk by Amzi! Inc. and
  247.    is available by anonymous FTP from
  248.       ftp.std.com:/ftp/vendors/amzi/programs/
  249.       ftp.cs.cmu.edu:/user/ai/areas/expert/systems/amzi/programs/
  250.    as the files xsip.*) Their Web page is http://world.std.com/~amzi/
  251.  
  252.    David Hu, "C/C++ for Expert Systems", Management Information
  253.    Source, Portland, OR, 1989. 565 pages, ISBN 0-943518-86-5 ($24.95).
  254.    [Includes a diskette of source code from the book.]
  255.  
  256. General AI books with extensive coverage of expert systems:
  257.  
  258.    Firebaugh, Morris W., "Artificial Intelligence: A Knowledge-Based
  259.    Approach", PWS-Kent, Massachusetts, 1989.  ISBN 0-87835-325-9
  260.  
  261. OPS5:
  262.  
  263.    Charles L. Forgy, "OPS5 User's Manual", Technical Report
  264.    CMU-CS-81-135, Carnegie Mellon University, School of Computer
  265.    Science, Pittsburgh, PA 1981. 
  266.  
  267.    Thomas Cooper and Nancy Wogrin, "Rule-based Programming with OPS5", 
  268.    Morgan Kaufmann Publishers, 1988, ISBN 0-934613-51-6, $49.95.
  269.  
  270. Match Algorithms:
  271.  
  272.    RETE:
  273.       Charles L. Forgy, "RETE: A fast algorithm for the many
  274.       pattern/many object pattern match problem", Artificial
  275.       Intelligence 19(1):17-37, September 1982.  
  276.  
  277.    TREAT:
  278.       Daniel P. Miranker, "TREAT: A better match algorithm for AI
  279.       production systems". In Proceedings of the Sixth National
  280.       Conference on Artificial Intelligence (AAAI-87), pages 42-47,
  281.       August 1987. 
  282.  
  283.       Daniel P. Miranker, "TREAT: A New and Efficient Match Algorithm
  284.       for AI Production Systems", Morgan Kaufmann Publishers, 1990, 
  285.       143 pages, ISBN 0-934613-71-0, $29.95.
  286.  
  287.    MatchBox:
  288.       Mark Perlin, "The match box algorithm for parallel production
  289.       system match", Technical Report CMU-CS-89-163, Carnegie Mellon
  290.       University, School of Computer Science, Pittsburgh,
  291.       Pennsylvania, May 1989. 
  292.  
  293.    DRETE: 
  294.       Michael A. Kelly and Rudolph E. Seviora, "An evaluation of DRETE
  295.       on CUPID for OPS5 matching", in Proceedings of the Eleventh
  296.       International Joint Conference on Artificial Intelligence (IJCAI-89),
  297.       pages 84-90, Detroit MI, August 1989, Morgan Kaufmann Publishers.
  298.  
  299. Journals -- Expert Systems:
  300.  
  301.    EXPERT SYSTEMS WITH APPLICATIONS
  302.    Published 4 times annually. ISSN 0957-4174.
  303.    Subscriptions: Institutions L85 ($155), Individuals L45 ($72).
  304.    Pergamon Press Inc., 660 White Plains Road, Tarrytown, NY 10591-5153,
  305.    email PPI@pergamon.com, or Pergamon Press Ltd., Headington Hill Hall,
  306.    Oxford OX3 0BW, England.
  307.  
  308.    EXPERT SYSTEMS: THE INTERNATIONAL JOURNAL OF KNOWLEDGE ENGINEERING
  309.    Published 4 times annually. ISSN 0266-4720.
  310.    Subscriptions: L85 ($110)
  311.    Learned Information Ltd., Woodside, Hinksey Hill, Oxford OX1 5AU, UK.
  312.    Tel: +44 (0)865-730275  Fax: +44 (0)085-736354
  313.  
  314.    INTERNATIONAL JOURNAL OF EXPERT SYSTEMS
  315.    Published 4 times annually. ISSN 0894-9077.
  316.    Subscriptions: Institutions $135; Individuals $75. Outside the US add
  317.    $10 for surface mail and $20 for airmail.
  318.    JAI Press Inc., 55 Old Post Road -- No. 2, PO Box 1678, Greenwich, CT
  319.    06836-1678.
  320.  
  321.    KNOWLEDGE ENGINEERING REVIEW
  322.    Published quarterly, ISSN 0269-8889.
  323.    In the UK: Cambridge University Press, The Edinburgh Building,
  324.    Cambridge CB2 1BR, UK.
  325.    In N. America: Cambridge University Press, Journals Department, 40 West
  326.    20th Street, New York, NY 10011-4211.
  327.  
  328.    INTERNATIONAL JOURNAL OF APPLIED EXPERT SYSTEMS (IJAES)
  329.    Published three times annually. ISSN 0969-9317
  330.    Subscriptions: BP60.00/US$117.00. 
  331.    Taylor Graham Publishing, 500 Chesham House, 150 Regent Street,
  332.    London W1R 5FA UK.
  333.    Editor: Alan Sangster <a.sangster@aberdeen.ac.uk>
  334.    URL: http://www.abdn.ac.uk/~acc025/ijaes.html
  335.  
  336. ----------------------------------------------------------------
  337. Subject: [1-4] Note about 'Real-Time' expert systems
  338.  
  339. Many "real-time" expert systems are 'soft' real-time systems, in that
  340. they claim to be fast. A 'hard' real-time system would have features
  341. that guarantee a response within a fixed amount of real-time (e.g.,
  342. bounded computation, not just a fast match-recognize-act cycle).
  343. Systems like G2 use event-driven processing (restricting certain rules
  344. to execute only when specific WM elements change in a particular way)
  345. as a method of limiting forward chaining.
  346.  
  347. ----------------------------------------------------------------
  348. Subject: [1-5a] Free/Cheap Expert System Shells
  349.  
  350. Remember, when ftping compressed or compacted files (.Z, .gz, .arc, .fit,
  351. etc.) to use binary mode for retrieving the files.
  352.  
  353. Files that end with a .gz suffix were compressed with the patent-free
  354. gzip (no relation to zip). Source for gzip is available from:
  355.   prep.ai.mit.edu:pub/gnu/{gzip-1.2.3.shar,gzip-1.2.3.tar,gzip-1.2.3.msdos.exe}
  356.  
  357. If you do not have ftp access, you can FTP files by E-mail. Send a
  358. message with the word "help" in the body to ftpmail@decwrl.dec.com.
  359.  
  360.  
  361. FOCL is an expert system shell and machine learning program written in
  362. Common Lisp. The machine learning program extends Quinlan's FOIL
  363. program by containing a compatible explanation-based learning
  364. component.  FOCL learns Horn Clause programs from examples and
  365. (optionally) background knowledge. The expert system includes a
  366. backward-chaining rule interpreter and a graphical interface to the
  367. rule and fact base. For details on FOCL, see: Pazzani, M. and Kibler,
  368. D., "The role of prior knowledge in inductive learning", Machine
  369. Learning 9:54-97, 1992. It is available by anonymous ftp from
  370.    ics.uci.edu:/pub/machine-learning-programs/
  371. as the files README.FOCL-1-2-3, FOCL-1-2-3.cpt.hqx (a binhexed,
  372. compacted Macintosh application), FOCL-1-2-3.tar.Z (Common Lisp
  373. source code), and FOCL-1-2-3-manual.hqx (binhexed manual).  If you
  374. use a copy of FOCL, or have any comments or questions, send mail to
  375. pazzani@ics.uci.edu.
  376.  
  377. SOAR      -- ftp.cs.cmu.edu:
  378.           /afs/cs.cmu.edu/project/soar/public/Soar5/ -- Lisp Version
  379.           /afs/cs.cmu.edu/project/soar/public/Soar6/ -- C Version
  380.         Contact: soar-request@cs.cmu.edu
  381.         Integrated Agent Architecture. Supports learning through chunking.
  382.  
  383. OPS5      -- ftp.cs.cmu.edu:/user/ai/areas/expert/systems/ops5/ops5.tar.gz
  384.  
  385. BABYLON is a development environment for expert systems. It
  386. includes frames, constraints, a prolog-like logic formalism, and a
  387. description language for diagnostic applications. It is implemented in
  388. Common Lisp and has been ported to a wide range of hardware platforms.
  389. Available by anonymous ftp from 
  390.    ftp.gmd.de:/gmd/ai-research/Software/Babylon/ [129.26.8.84]
  391. as a BinHexed stuffit archive, on the Web via the URL
  392.    http://www.gmd.de/
  393. on the Apple CD-ROM, or with the book "The AI Workbench BABYLON",
  394. which contains *full source code* of BABYLON and the stand-alone
  395. version for the Mac. The book describes the use of BABYLON in detail.
  396.  
  397. MOBAL is a system for developing operational models of application
  398. domains in a first order logic representation. It integrates a manual
  399. knowledge acquisition and inspection environment, an inference engine,
  400. machine learning methods for automated knowledge acquisition, and a
  401. knowledge revision tool.  By using MOBAL's knowledge acquisition
  402. environment, you can incrementally develop a model of your domain in
  403. terms of logical facts and rules.  You can inspect the knowledge you
  404. have entered in text or graphics windows, augment the knowledge, or
  405. change it at any time. The built-in inference engine can immediately
  406. execute the rules you have entered to show you the consequences of
  407. your inputs, or answer queries about the current knowledge. MOBAL also
  408. builds a dynamic sort taxonomy from your inputs. If you wish, you can
  409. use several machine learning methods to automatically discover
  410. additional rules based on the facts that you have entered, or to form
  411. new concepts. If there are contradictions in the knowledge base due to
  412. incorrect rules or facts, there is a knowledge revision tool to help
  413. you locate the problem and fix it.  MOBAL (release 3.0b) is available
  414. free for non-commercial academic use by anonymous ftp from
  415.    ftp.gmd.de:/gmd/mlt/Mobal/
  416. The system runs on Sun SparcStations, SunOS 4.1, and includes a
  417. graphical interface implemented using Tcl/TK.
  418.  
  419. MIKE (Micro Interpreter for Knowledge Engineering) is a full-featured,
  420. free, and portable software environment designed for teaching purposes
  421. at the UK's Open University.  It includes forward and backward
  422. chaining rules with user-definable conflict resolution strategies, and
  423. a frame representation language with inheritance and 'demons' (code
  424. triggered by frame access or change), plus user-settable inheritance
  425. strategies.  Automatic 'how' explanations (proof histories) are
  426. provided for rule exectuion, as are user-specified 'why' explanations.
  427. Coarse-grained and fine-grained rule tracing facilities are provided,
  428. along with a novel 'rule graph' display which concisely shows the
  429. history of rule execution.  MIKE, which forms the kernel of an Open
  430. University course on Knowledge Engineering, is written in a
  431. conservative and portable subset of Edinburgh-syntax Prolog, and is
  432. distributed as non-copy-protected source code. MIKE version 1 was
  433. described in the October/November 1990 issue of BYTE. MIKE v1.50,
  434. which was formerly available from a range of ftp servers, has been
  435. superseded by two newer versions: MIKEv2.03, a full Prolog source code
  436. version, incorporating a RETE algorithm for fast forward chaining, a
  437. truth maintenance system, uncertainty handling, and hypothetical
  438. worlds, and MIKEv2.50, a turnkey DOS version with menu-driven
  439. interface and frame- and rule-browsing tools, fully compatible with
  440. MIKEv2.03, but without source code.  They are available by anonymous
  441. ftp from hcrl.open.ac.uk [137.108.81.16] as the files
  442.    MIKEv2.03: /pub/software/src/MIKEv2.03/*
  443.    MIKEv2.50: /pub/software/pc/MIKEV25.ZIP
  444. They are also available from the CMU AI Repository.
  445. For further information, please contact Marc Eisenstadt,
  446. M.Eisenstadt@open.ac.uk, Human Cognition Research Lab, The Open
  447. University, Milton Keynes MK7 6AA, UK, phone +44 908-65-3149, fax +44
  448. 908-65-3169.
  449.  
  450. ES: The October/November 1990 issue of BYTE also described the ES
  451. expert system. ES supports backward/forward chaining, fuzzy set
  452. relations, and explanation, and is a standalone executable for
  453. IBM-PCs. ES is available by anonymous ftp from
  454. ftp.uu.net:/pub/ai/expert-sys/ [192.48.96.9] as summers.tar.Z.
  455. ftp.uu.net is mirrored on unix.hensa.ac.uk [129.12.21.7] under
  456. /pub/uunet/.
  457.  
  458. WindExS (Windows Expert System) is a fully functional Windows-based
  459. forward chaining expert system. Its modular architecture allows the
  460. user to substitute new modules as required to enhance the capabilites
  461. of the system. WindExS sports Natural Language Rule Processor,
  462. Inference Engine, File Manager, User Interface, Message Manager and
  463. Knowledge Base modules. It supports forward chaining, and graphical
  464. knowledge base representation. Write etoupin@aol.com for documentation
  465. and operational system.
  466.  
  467. RT-Expert is a shareware expert system that lets C programmers
  468. integrate expert systems rules into their C or C++ applications.
  469. RT-Expert consists of a rule-compiler that compiles rules into C code,
  470. and a library containing the rule execution engine. RT-Expert for DOS
  471. works with Borland Turbo C, Borland C++, and Microsoft C/C++
  472. compilers. The personal edition is licensed for educational, research,
  473. and hobby use. Applications created with RT-Expert personal edition
  474. are not licensed for commercial purposes. Professional editions are
  475. available for commercial applications using DOS, Windows, and Unix
  476. environments. RT-Expert is available by anonymous ftp from
  477.    world.std.com:/vendors/rtis/rtexpert
  478. For more information, write to Real-Time Intelligent Systems Corporation
  479. <rtis@world.std.com>.
  480.  
  481. ----------------------------------------------------------------
  482. Subject: [1-5b] Free/Cheap Expert System Shells: CLIPS and Related Systems
  483.  
  484. CLIPS 6.0 (C Language Integrated Production System) is an OPS-like
  485. forward chaining production system written in ANSI C by NASA. The
  486. CLIPS inference engine includes truth maintenance, dynamic rule
  487. addition, and customizable conflict resolution strategies.  CLIPS,
  488. including the runtime version, is easily embeddable in other
  489. applications.  CLIPS includes an object-oriented language called COOL
  490. (CLIPS Object-Oriented Language) which is directly integrated with the
  491. inference engine.  CLIPS runs on many platforms including IBM PC
  492. compatibles (including Windows 3.1 and MS-DOS 386 versions),
  493. Macintosh, VAX 11/780, Sun 3/260, and HP9000/500.  CLIPS is available
  494. from COSMIC at a "nominal" fee (the MS-DOS/Windows 3.1 version $350
  495. for the software and $115 more for the documentation, with discounts
  496. for US academic institutions; for update orders $100 and $200,
  497. respectively) for unlimited copies with no royalties.  (CLIPS is
  498. available free to NASA, USAF, and their contractors for use on NASA
  499. and USAF projects.)  For more information, send email to
  500. service@cossack.cosmic.uga.edu, write COSMIC, University of Georgia,
  501. 382 East Broad Street, Athens, GA 30602, call 706-542-3265, or fax
  502. 706-542-4807. To subscribe to the CLIPS mailing list, send a message
  503. to the list server
  504.    listserv@cossack.cosmic.uga.edu (128.192.14.4) 
  505. with message body
  506.    SUBSCRIBE CLIPS-LIST
  507. The CLIPS help desk phone number is 713-286-8919 (fax 713-286-4479/244-5698)
  508. and email address is stbprod@fdr.jsc.nasa.gov. (The address is STB
  509. Products Help Desk, LinCom Corporation, 1020 Bay Area Boulevard, #200,
  510. Houston, TX 77058-2628.) The Software Technology Branch's home page is
  511.    http://www.jsc.nasa.gov/stb/STB_homepage.html
  512. NASA Information Services's home page is
  513.    http://hypatia.gsfc.nasa.gov/NASA_homepage.html
  514. and the CLIPS home page is
  515.    http://www.jsc.nasa.gov/~clips/CLIPS.html
  516. [Note: Folks who obtain CLIPS from COSMIC can do anything they wish
  517. with it, including redistribute it.  Folks who obtain CLIPS directly
  518. from NASA are restricted to using it for US government purposes only.]
  519. The CLIPS FAQ list and bug fixes are available from
  520.    hubble.jsc.nasa.gov:/pub/clips/
  521. and are maintained by Gary Riley <riley@gothamcity.jsc.nasa.gov>.
  522. Joseph Giarratano and Gary Riley's book, "Expert Systems Principles
  523. and Practice", comes with an MS-DOS CLIPS 6.0 interpreter (see [1-3]
  524. above). CLIPS is also available on the various AI CD-ROMs, and the
  525. MS-DOS version is available for $50 from Austin Code Works <info@acw.com>, 
  526. 11100 Leafwood Lane, Austin, Texas 78750-3409, phone 512-258-0785, 
  527. fax 512-258-8831, or BBS 512-258-8831.
  528.  
  529. DYNACLIPS (DYNAamic CLIPS Utilities), is a set of blackboard, dynamic
  530. knowledge exchange, and agent tools for CLIPS 5.1 and 6.0.  It is
  531. implemented as a set of libraries that can be linked with CLIPS 5.1 or
  532. CLIPS 6.0. Versions 3.0 and 3.1 will work with either CLIPS 5.1 or CLIPS 6.0.
  533. Source code is not available. Agents use the blackboard to
  534. communicate with other intelligent agents in the framework.  Each
  535. intelligent agent can send and receive facts, rules, and commands.
  536. Rules and facts are inserted and deleted dynamicly while the agents
  537. are running. Knowledge can be transfered on a temporary or permanent
  538. basis. For more information, please contact Yilmaz Cengeloglu, PO Box
  539. 4142, Winter Park, FL 32793-4142, or send email to
  540. cengelog@escmail.orl.mmc.com, yil@engr.ucf.edu or 73313.775@compuserve.com.
  541. It is available from the CMU AI Repository in
  542.    ftp.cs.cmu.edu:/user/ai/areas/expert/systems/clips/dyna/
  543.  
  544. AGENT_CLIPS is a multi-agent tool for MACINTOSH. Multiple copies  of CLIPS
  545. run at the same time on MACINTOSH.  Each Agent (CLIPS)  can send CLIPS
  546. commands to other active agents at run time.  AGENT_CLIPS handles  incoming  
  547. commands automatically. Command transfer is also mean that agents can 
  548. exchange facts, rules at run time.  This is a form of Knowledge Exchange 
  549. Among Intelligent Agents. AGENT_CLIPS does NOT use Blackboard Architecture.
  550. Library for AGENT_CLIPS is also included in this package. You can link 
  551. this library with other CLIPS applications such as fuzzyCLIPS. 
  552. AGENT_CLIPS can be obtained by anonymous ftp from
  553.    ftp.cs.cmu.edu:/user/ai/areas/expert/systems/clips/agent/
  554. It is also available from Compuserve, AIEXPERT Forum, Libraries,
  555. Expert System. For more information contact Yilmaz Cengeloglu at
  556. 73313.775@compuserve.com. 
  557.  
  558. FuzzyCLIPS 6.02 is a version of the CLIPS rule-based expert system
  559. shell with extensions for representing and manipulating fuzzy facts
  560. and rules. In addition to the CLIPS functionality, FuzzyCLIPS can deal
  561. with exact, fuzzy (or inexact), and combined reasoning, allowing fuzzy
  562. and normal terms to be freely mixed in the rules and facts of an
  563. expert system. The system uses two basic inexact concepts, fuzziness
  564. and uncertainty. Versions are available for UNIX systems, Macintosh
  565. systems and PC systems. There is no cost for the software, but please
  566. read the terms for use in the FuzzyCLIPS documentation. FuzzyCLIPS is
  567. available via WWW (World Wide Web). It can be accessed indirectly
  568. through the Knowledge Systems Lab Server using the URL
  569.    http://ai.iit.nrc.ca/home_page.html
  570. or more directly by using the URL
  571.    http://ai.iit.nrc.ca/fuzzy/fuzzy.html
  572. or by anonymous ftp from
  573.    ai.iit.nrc.ca:/pub/fzclips/
  574. For more information about FuzzyCLIPS send mail to fzclips@ai.iit.nrc.ca. 
  575.  
  576. wxCLIPS provides a simple graphical front end to CLIPS 5.1, CLIPS 6.0 and 
  577. CLIPS 6.0 with fuzzy extensions.  It is essentially CLIPS modified to work 
  578. with an event driven style of programming, and a set of GUI functions. 
  579. wxCLIPS is available as Sun Open Look, Sun Motif, Linux Open Look, Windows 
  580. 3.1, Windows 32-bit, and Windows 95 binaries.  wxCLIPS is available by 
  581. anonymous FTP from
  582.  
  583.     ftp.aiai.ed.ac.uk:/pub/packages/wxclips/ [192.41.104.6]
  584.  
  585. or the URL
  586.  
  587.     http://www.aiai.ed.ac.uk/~jacs/wxclips/wxclips.html
  588.  
  589. To be added to the wxclips-users or wxclips-announce mailing lists, send 
  590. mail to wxclips-users-request@aiai.edinburgh.ac.uk. For more information, 
  591. write to Julian Smart <J.Smart@ed.ac.uk>.
  592.  
  593. ----------------------------------------------------------------
  594. Subject: [1-6] Commercial Expert System Shells
  595.  
  596. The commercial products below are listed in alphabetical order.
  597.  
  598. ACQUIRE is knowledge acquisition system and expert system shell. It is a
  599. complete development environment for building and maintaining
  600. knowledge-based applications. It provides a step-by-step methodology for
  601. knowledge engineering that allows the domain experts themselves to be
  602. directly involved in structuring and encoding the knowledge. (The direct
  603. involvement of the domain expert improves the quality, completeness and
  604. accuracy of acquired knowledge, lowers development and maintenance
  605. costs, and increases their control over the form of the software
  606. application.) Features include a structured approach to knowledge
  607. acquisition; a model of knowledge acquisition based on pattern
  608. recognition; knowledge represented as objects, production rules and
  609. decision tables; handling uncertainty by qualitative, non-numerical
  610. procedures; extremely thorough knowledge bases; sophisticated report
  611. writing facilities; and self documenting knowledge bases in a hypertext
  612. environment.  
  613. ACQUIRE-SDK, their Software Development Kit, provides: callable libraries for 
  614. MS-DOS,and SCO Unix; DLL's for Asmetrix TooBook, Windows, Windows NT, 
  615. Windows 95 and Win 32; and custom controls for Visual Basic. Call or email 
  616. them for information on how to utilize the SDK to deliver applications over 
  617. the WWW.
  618. The ACQUIRE development package (knowledge acquisition system and expert
  619. system shell) costs $995 for Windows 3.1 and includes manual, a tutorial, 
  620. on-line help and telephone helpline. For more information please visit their 
  621. web page at
  622.    http://vvv.com/ai/
  623. For an example of an ACQUIRE application that is running over the web
  624. try their Whale Watcher demonstration at 
  625.    http://vvv.com/ai/demos/whale.html 
  626. For more information, write to Acquired Intelligence Inc, Suite 205,
  627. 1095 McKenzie Avenue, Victoria, Canada V8P 2L5, call 604-479-8646, fax
  628. 604-479-0764, or send email <sales@aiinc.bc.ca>.
  629.  
  630. ACTIVATION FRAMEWORK runs on personal computers (DOS, Windows) and UNIX
  631. workstations.  This tool is not a traditional expert system shell,
  632. rather is a tool for building real-time data interpretation
  633. applications.  The vendor claims the tool competes with Gensym's G2 in
  634. terms of application domains. For more information, write to the sales
  635. office at The Real-Time Intelligent Systems Corporation, 26 Worthen,
  636. Chelmsford, MA 01824, call 508-250-4633, or fax 508-256-8132. To reach
  637. the development office write to 76 Otis Street, Westborough, MA 01581,
  638. call 508-870-0043, fax 508-870-0148, or send email to rtis@world.std.com.
  639.  
  640. Aion Development System (ADS) runs on numerous platforms, including
  641. DOS, OS/2, SunOS, Microsoft Windows, and VMS.  It includes an object
  642. oriented knowledge representation, forward, backward, bidirectional,
  643. and pattern matching rules, graphics, calls to/from other languages
  644. (C, Pascal, ...), and the Choreographer graphical user interface. For
  645. more information, write to Aion Corporation, 101 University Avenue,
  646. Palo Alto, CA 94301, call 800-845-2466 (415-328-9595), or fax
  647. 415-321-7728.  For Europe, write to Software Generation,
  648. Kontichsesteenweg 40, B 2630 Aartselaar, Belgium, call
  649. 32-(0)3-877.12.93, or fax 32-(0)3-877.13.55
  650.  
  651. Angoss Knowledge Seeker. Angoss is a data-mining tool that can be used
  652. to produce knowledge bases of rules by infering cause and effect
  653. relationships from a database. The DOS version costs $799 and the
  654. Windows version $899. For more information, write to Angoss Software
  655. International Ltd., 430 King Street W., Suite 201, Toronto M5V 1J5,
  656. Canada, call 416-593-1122, or fax 416-593-5077.
  657.  
  658. ART*Enterprise (Brightware, Inc., formerly a division of Inference 
  659. Corporation). ART*Enterprise is the latest of the family of rule-based 
  660. development environments originating with ART in the mid-1980s. It is a 
  661. development environment for enterprise-wide applications,
  662. incorporating rules, a full object system which includes features
  663. currently not present in C++ or Smalltalk, and a large collection of
  664. object classes for UI development across platforms (from Windows to
  665. OS/2 to Unix), access to databases (SQL-based and ODBC-based), and
  666. multi-person development. The ART*Enterprise environment provides a
  667. forward chaining engine where backward chaining can be implemented,
  668. though it is not supported directly. ART*Enterprise also provides a
  669. CBR kernel for those who are interested in incorporating it into their
  670. applications. For further information, contact Brightware, Inc., 
  671. 101 Rowland Way, Suite 310, Novato, CA 94945, call 1-800-532-2890
  672. (1-415-899-9070), fax 415-899-9080, or email info@brightware.com.
  673. Their home page is located at the URL
  674.   http://www.brightware.com/
  675. In addition to the usual company and product information, this page features 
  676. several job openings.
  677.  
  678. Arity Expert Development Package is an expert system that integrates
  679. rule-based and frame-based representations of knowledge with several
  680. different kinds of certainty factors. The OS/2 version costs $495 and
  681. the DOS version $295. For more information, write to Arity Corporation,
  682. Damonmill Square, Concord, MA 01742, call 800-722-7489 (508-371-1243),
  683. fax 508-371-1487, or send email to 73677.2614@compuserve.com or Paul G.
  684. Weiss <pgweiss@netcom.com>.
  685.  
  686. BABYLON. For more information, write to VW-GEDAS GmbH, Pascalstrasse
  687. 11, W-1000 Berlin 10, call +49 30-39-970-0, or fax +49 30-39-970-999.
  688.  
  689. CAM Software sells two expert system tools, DClass and LogicTree.
  690. DClass is a decision-tree system used for manufacturing applications.
  691. LogicTree is a decision-making system designed for non-programmers.
  692. For more information, write to CAM Software, 390 W. 800 N., Suite 103,
  693. PO Box 276, Orem, UT 84059-0276, call 800-293-6777, or fax 801-225-0286.
  694.  
  695. CBR Express (Inference Corporation). CBR Express family of
  696. products supports case-based retrieval of information. For further
  697. information contact Inference Corporation, 550 N. Continental Blvd., El
  698. Segundo, CA 90245, call 800-322-9923 (310-322-0200), fax 310-322-3242,
  699. or email marketing@inference.com. Their home page is located at the URL
  700.    http://www.inference.com/
  701. In addition to the usual company and product information, this page
  702. features a live demo of case-based retrieval in action and several job
  703. openings. 
  704.  
  705. COGSYS. For more information, write to COGSYS Ltd., Enterprise House,
  706. Unit 37, Salford University Business Park, Salford M6 6AJ, England, or
  707. call 061-745-7604.
  708.  
  709. COMDALE/C, COMDALE/X, and ProcessVision. COMDALE/C is a real-time
  710. expert system designed for industrial process monitoring and control. 
  711.    +  COMDALE/C allows requests for justification of recommendations,
  712.       conclusions, and control actions without interrupting the decision
  713.       making process. It can deal with uncertainty in knowledge and data,
  714.       and has an open architecture and time-based reasoning. Other features
  715.       include: full object-oriented configuration; full networking
  716.       capabilities; alarm processing; an interrupt driven controller;
  717.       trending and historical data collection; time-scheduled events; a
  718.       realtime database, and interfaces with DCSs, PLCs and other I/O
  719.       devices.
  720.    +  COMDALE/X is an off-line consultative expert system which
  721.       queries the user for information required to make its decisions.
  722.       COMDALE/X is included with COMDALE/C as the development tool for
  723.       real-time expert systems. COMDALE/X has the capability to incorporate
  724.       hypertext documents with the reasoning abilities of the expert system
  725.       to produce expert hyper manuals which provide information and generate
  726.       advice through an easy to use interface.
  727.    +  ProcessVision is a real-time process monitoring and control
  728.       software package. Based on an open and modular architecture,
  729.       ProcessVision provides a graphical operator interface; intuitive
  730.       object-oriented display configuration, smart alarming, sensor
  731.       validation, hot standby, and unlimited connectivity to all your
  732.       process instrumentation in one global environment. 
  733. For more information, write to Comdale Technologies (Canada) Inc., The
  734. Comdale Building, 701 Evans Avenue, Suite 600, Toronto, Ontario, CANADA,
  735. M9C 1A3, call 416-620-1234, fax 416-620-4526, or send email to
  736. info@comdale.com, or see their web site,
  737.    http://www.comdale.com/
  738.  
  739. C-PRS (Procedural Reasoning System in C) aims at representing and
  740. executing operating procedures. It allows the user to express and
  741. represent the conditional sequences of complex operations and to
  742. ensure their execution in real time while embedded in the application
  743. environment.  C-PRS is useful for process control and supervision
  744. applications.  The PRS technology has been applied to different tasks
  745. with real-time constraints and demands including the monitoring of
  746. several subsystems of the NASA space shuttle, the diagnosis and
  747. supervision of telecommunication networks (Telecom Australia), the
  748. control of mobile robots (SRI, LAAS), the control system of
  749. surveillance aircrafts (Grumman) and air traffic management (Civil
  750. Aviation Authority).  The procedural reasoning technology was
  751. initially developed at the Artificial Intelligence Center of the
  752. Stanford Research Institute (Menlo Park, California).  ACS
  753. Technologies has further developed and now markets C-PRS, the first
  754. commercial implementation of the Procedural Reasoning technology.
  755. C-PRS was developed with the most currently recognized standards: C,
  756. UNIX, X11, MOTIF. It guarantees some real time properties. It is
  757. available on numerous platforms and operating systems, including
  758. SPARC, DECstation, Sony News, Hewlett Packard, VxWorks, and others.
  759. For more information write to ACS Technologies, 5, Place du Village
  760. d'Entreprises, B.P. 556 31674 LABEGE Cedex, FRANCE, call
  761. 33-62-24-99-20, fax 33-61-39-86-74, or send email to email to
  762. <ingrand@ingenia.fr> or <cprs@ingenia.fr>.
  763.  
  764. CPR (Case-based Problem Resolution) is a C++ class library and
  765. Help!CPR is a helpdesk and knowledge authoring application that uses
  766. CPR. CPR is being embedded within call tracking systems and Help!CPR
  767. competes directly with Inference Corporations's CBR Express and
  768. CasePoint (CasePoint being CBR Express without authoring
  769. capabilities). For more information, write to The Haley Enterprise,
  770. Inc., 413 Orchard Street, Sewickley, PA 15143, call 800-233-2622
  771. (412-741-6420), fax 412-741-6457, send email to info@haley.com, or see
  772. their web site  
  773.    http://www.haley.com/
  774. or ftp site
  775.    ftp://ftp.haley.com/
  776. These sites include their literature in PostScript and HTML, as well
  777. as their software.
  778.  
  779.  
  780. CRYSTAL runs on personal computers and is available from Intelligent
  781. Environemnts. For more information, write to Intelligent Environments
  782. Europe Ltd., Crystal House, PO Box 51, Sunbury-on-Thames, Middlesex TW16
  783. 7UL, England, call 44-0-932-772266, or fax 44-0-932-771499.
  784. See PC Magazine 8(2), January 31, 1989.
  785.  
  786. CxPERT is an expert system shell that produces royalty-free C code. For
  787. more information, write to Software Plus Ltd., 1315 Pleasant Meadow
  788. Road, Crofton, MD 21114, or call 301-261-0264.
  789.  
  790. The Easy Reasoner (TM) is a Case-Based Retrieval (CBR) tool with
  791. Reasoning that provides an adaptive associative memory; retrieves
  792. similar cases from memory given a new case; extends Query-by-Example
  793. (QBE) by providing Query-by-Similarity(TM) (QBS); indexes existing
  794. databases using decision trees; supports xBase, ODBC, and SQL
  795. databases; maximizes information while minimizing complexity;
  796. automatically filteres noise to simplifies decision trees; induces
  797. automatically or under explicit control; ranks and retrieves
  798. classified cases by similarity; efficiently retrieves similar cases
  799. from large databases; efficiently retrieves most similar case from
  800. large DBs; efficiently retrieves "next most similar" case; supports
  801. multiple decision tree indices per database; supports multiple
  802. decision trees per field; classifies new information using any
  803. decision tree; automatically or interactively classifies new cases;
  804. handles missing data and "don't know" responses; provides customizable
  805. thesaurus for nominal fields; provides adaptive, context-sensitive,
  806. default reasoning; provides adaptive estimation using decision trees;
  807. predicts or ranks values for nominal or ordinal fields; automatically
  808. learns N-dimensional similarity spaces; quickly retrieves closest case
  809. from similarity space; ranks cases by distance in similarity space;
  810. retrieves records where similarity depends on text; circumvents
  811. spelling problems with N-M-grams; recognizes various forms of English
  812. dictionary words; automatically determines information content per
  813. word; automatically determines thesaural information content. Easy
  814. Reasoner. The Easy Reaoner 16 bit Windows Toolkit costs $249, The Easy
  815. Reaoner 32 bit Windows Toolkit costs $499, The Easy Reasoner OS/2
  816. Toolkit costs $499, and The Easy Reasoner UNIX X/Motif Toolkit costs
  817. $999.  UNIX Versions available for Sun OS, Sun Solaris, HP UX, Data
  818. General, AIX.  For more information, write to The Haley Enterprise,
  819. Inc., 413 Orchard Street, Sewickley, PA 15143, call 800-233-2622
  820. (412-741-6420), fax 412-741-6457, send email to info@haley.com, or see
  821. their web site 
  822.    http://www.haley.com/
  823. or ftp site
  824.    ftp://ftp.haley.com/
  825. These sites include their literature in PostScript and HTML, as well
  826. as their software.
  827.  
  828. ECLIPSE runs on personal computers (DOS, Windows). System V Unix and
  829. POSIX versions are also available. The syntax is derived from
  830. Inference Corporations' ART and is compatible with NASA's CLIPS.
  831. Features include data-driven pattern matching, forward and backward
  832. chaining, truth maintenance, support for multiple goals, relational
  833. and object-oriented representations, and integration with dBase. For
  834. more information, write to The Haley Enterprise, Inc., 413 Orchard
  835. Street, Sewickley, PA 15143, call 800-233-2622 (412-741-6420), fax
  836. 412-741-6457, or send email to info@haley.com, or see their web site 
  837.    http://www.haley.com/
  838. or ftp site
  839.    ftp://ftp.haley.com/
  840. These sites include their literature in PostScript and HTML, as well
  841. as their software.  See also IEEE Computer, February 1991, pages
  842. 4-12. The cost is $499 for the Eclipse 16 bit Windows Toolkit, $999
  843. for Eclipse 32 bit Windows Toolkit or Eclipse OS/2 Toolkit, and $1,999
  844. for Eclipse UNIX X/Motif Toolkit. Versions are available for Sun OS,
  845. Sun Solaris, HP UX, Data General, AIX. 
  846.  
  847. Emerald Empower Procedural Advisor for Macintosh or PC Windows.  $6800
  848. Fault trees are built graphically to automate the decision path that an 
  849. expert uses for troubleshooting a problem.  Emerald Intelligence, Inc, 
  850. 3850E Research Park Dr, Ann Arbor, MI 48108, call 313-663-8757, or fax
  851. 313-663-8757.
  852.  
  853. Esteem is a case-based reasoning tool for Windows that integrates
  854. case-based reasoning with rules. For more information write to Esteem
  855. Software Inc., 302 E. Main, Cambridge City, IN 47327, call
  856. 317-478-3955, or fax 317-478-3550.
  857.  
  858. EXSYS Professional runs under MS-DOS, MS-Windows, Macintosh, SunOS,
  859. Solaris, Unix and Vax. It supports backward and forward chaining, linear
  860. programming, fuzzy logic, neural networks, and has a SQL interface.
  861. For more information please visit their 
  862. web page at
  863.    http://www.exsysinfo.com/ 
  864. For examples of EXSYS applications running over the web
  865. try their Web Runtime Engine demonstrations at 
  866.    http://www.exsysinfo.com/Wren/wren.html
  867. For an MS-Windows executable demo of EXSYS Professional/EXSYS RuleBook
  868. ftp://ftp.exsysinfo.com/pub/demos/
  869. These sites include their literature in PDF and HTML, as well as their
  870. software.
  871. For more information, send Email to info@exsysinfo.com, 
  872. write to Exsys, Inc., 1720 Louisiana Boulevard, NE, Suite 312,
  873. Albuquerque, NM 87110, call 800-676-8356 (505-256-8356), or fax
  874. 505-256-8359. See also PC Tech Journal 7(1):115, January, 1989.
  875.  
  876. FLEX is a hybrid expert system toolkit available across a wide range of
  877. different hardware platforms which offers frames, procedures and rules
  878. integrated within a logic programming environment.  FLEX supports
  879. interleaved forward and backward chaining, multiple inheritance,
  880. procedural attachment, an automatic question and answer system.  Rules,
  881. frames and questions are described in a English-like Knowledge
  882. Specification Language (KSL) which enables the development of easy-to-read
  883. and easy-to-maintain knowledge bases.  FLEX is implemented in, and has
  884. access to, Prolog. FLEX is available from LPA (who originally developed
  885. flex on the PC), and also from most major Prolog vendors under license,
  886. including Quintus, BIM, Interface, and ISL.  FLEX has been used in
  887. numerous commercial expert systems, and prices on a PC running Windows or
  888. on a Macintosh start at around $1,000.  [A review of Quintus-flex is
  889. expected in an upcoming issue of PC-AI. --mk] For more information contact:
  890. Logic Programming Associates Ltd, Studio 4, R.V.P.B., Trinity Road, 
  891. London, SW18 3SX.  Tel: +44 (0) 181-871-2016; Fax: +44 (0) 181-874-0449.
  892. Email: lpa@cix.compulink.co.uk. In the US call 1-800-949-7567. 
  893. Their web page is located at the URL
  894.    http://www.lpa.co.uk
  895.  
  896. Foundation Technologies sells expert system products and services for
  897. financial applications, such as pension management. For more
  898. information write to Foundation Technologies Inc., One Kendall Square,
  899. Cambridge, MA 02139, call 617-720-2760, or fax 617-720-4153.
  900.  
  901. Gensym's G2 offers a graphical, object-oriented environment for
  902. creating intelligent applications that monitor, diagnose, and control
  903. dynamic events in on-line and simulated environments. Featuring a
  904. structured natural language for creating rules, models, and
  905. procedures, G2 is the foundation of all Gensym application products
  906. and end-user applications. Gensym's application products include the G2
  907. Diagnostic Assistant (GDA), which provides a visual programming
  908. environment for creating intelligent process management applications.
  909. NeurOn-Line, another Gensym product, allows users to easily create
  910. neural network applications.  G2 includes concurrent execution of
  911. rules and procedures and the ability to reason about behavior over
  912. time. G2 GUIDE allows users to easily create graphical end user
  913. interfaces and real-time displays. Gensym's Telewindows provides a
  914. powerful multi-user client/server environment that allows users to share G2
  915. applications. Gensym also offers G2 Bridge Products for connectivity to other
  916. programs (C and ADA) and real-time data systems including relational
  917. databases, distributed control systems, and programmable logic controllers.
  918. Gensym supports its products worldwide through 26 direct sales offices and a
  919. network of over 100 marketing partners.  For more information, please write
  920. to Gensym Corporation, 125 Cambridge Park Drive, Cambridge, MA 02140  USA,
  921. call +617-547-2500, fax +617-547-1962, or send email to info@gensym.com.
  922. Gensym's homepage is located at 
  923.    http://www.gensym.com
  924. (The Gensym page was formerly located at http://www.industry.net/gensym. 
  925. The IndustryNet page will be removed this spring.)
  926.  
  927. GBB, generic blackboard framework: provides:
  928.  -- A high-performance blackboard database compiler and
  929.       runtime library, which support pattern-based, multidimensional 
  930.       range-searching algorithms for efficient proximity-based retrieval 
  931.       of blackboard objects
  932.  -- KS representation languages
  933.  -- Generic control shells and agenda-management utilities
  934.  -- Interactive, graphic displays for monitoring and examining
  935.     blackboard and control components
  936. These components provide the infrastructure needed to build
  937. blackboard-based applications.    GBB is available for DOS/Windows, Mac,
  938. Unix workstations (Sun, HP/Apollo, IBM, DEC, Silicon Graphics),
  939. Symbolics and TI Explorer Lisp machines.  (GBB is a significantly enhanced,
  940. commercial version of the UMass GBB research framework, available via
  941. FTP from ftp.cs.umass.edu:/gbb/.) NetGBB, distributed extension to
  942. GBB, provides to GBB the communication and coordination facilities
  943. needed to build heterogenous distributed blackboard applications.
  944. For more information write to Blackboard Technology Group, Inc., 401 Main 
  945. Street, Amherst, MA  01002, call 800-KSS-8990 or 413-256-8990, or fax
  946. 413-256-3179. To be added to the mailing lists, send mail to
  947. gbb-user-request@bn.cs.umass.edu. There are two mailing lists, gbb-user
  948. (moderated) and gbb-users (unmoderated). Blackboard Technlogy has a
  949. WWW page at the URL
  950.    http://www.bbtech.com/
  951.  
  952. GOLDWORKS III. For more information, write to Gold Hill Computers, Inc.,
  953. 26 Landsdowne Street, Cambridge, MA 02139, call 800-242-5477
  954. (617-621-3300), or fax 617-621-0656.
  955.  
  956. GURU is an expert system development environment and RDBMS that offers a
  957. wide variety of information processing tools combined with
  958. knowledge-based capabilities such as forward chaining, backward
  959. chaining, mixed chaining, multi-value variables, and fuzzy reasoning.
  960. For more information about GURU and the other database engines,
  961. development tools, and services offered by Micro Data Base Systems,
  962. please write to Micro Data Base Systems, Inc., 1305 Cumberland Avenue,
  963. P.O. Box 2438, West Lafayette, IN 47906-0438, call 800-445-MDBS/6327
  964. (317-463-7200), fax 317-463-1234, or send email to info@mdbs.com.
  965.  
  966. HUGIN System is a software package for construction of model based expert
  967. systems in domains characterized by inherent uncertainty. The Hugin System
  968. contains an easy to use probability based deduction system, applicable to
  969. complex networks with cause-effect causal relations subject to uncertainty.
  970. The Hugin System presents a novel development. The implementation is based
  971. on an improvement of the award winning work by Lauritzen and Spiegelhalter:
  972. Local Computation with Probabilities on Graphical Structures and their
  973. Application to Expert Systems. The Hugin Demonstration, for 
  974. Sun Workstations and PC-Windows, is available for anonymous ftp from 
  975.    hugin.dk:/pub/README [130.225.63.15]
  976. The WWW home page for HUGIN is accessible by the URL
  977.    http://hugin.dk/
  978. For more information write to Hugin Expert A/S, Niels Jernes Vej 10,
  979. DK-9220 Aalborg O, Phone +45 9815 6644, Fax: +45 9815 8550, Email:
  980. info@hugin.dk.
  981.  
  982. Icarus is an expert systems development tool for PCs. It includes
  983. links to Lotus and dBASE files, forward and backward chaining, and
  984. Bayesian confidence factors. For more information, write to Icarus,
  985. 11300 Rockville Pike, Rockville, MD 02852-3088, call 301-881-9350, or
  986. fax 301-881-2542.
  987.  
  988. ILOG RULES is a high performance embeddable rule-based inference
  989. engine. It is a forward chaining tool, written in C++ (hence it is
  990. object-oriented and supports inheritance mechanisms) and is also
  991. provided as a C++ library. It runs virtually on any Unix platform
  992. (e.g., HP97X0, Sun4, RS/6000, DecStations) as well as on PCs running
  993. DOS (with or without MS/Windows) or OS/2.  It extends OPS/5 with
  994. nested premises (objects as values), rule packets (logical grouping of
  995. rules), a full Truth Maintenance System (TMS) for efficient
  996. non-monotonic reasoning, compilation of rules into C/C++ code, and an
  997. object oriented data-model in C++. ILOG RULES work directly on user
  998. objects, so interfacing is straightforward. C/C++ code may be included
  999. in rule conditions and actions.  ILOG RULES is based on the fast XRETE
  1000. implementation of the RETE algorithm developed by Thomson-CSF.  For
  1001. more information, contact ILOG, Inc., 2073 Landings Drive, Mountain
  1002. View, CA 94043, tel 415-390-9000, fax 415-390-0946, e-mail
  1003. info@ilog.com.  European customers should contact ILOG SA, 9, rue de
  1004. Verdun, BP 85, 94253 Gentilly CEDEX, France, 
  1005. tel +33 (1) 49-08-35-00, fax +33 (1) 49-08-35-10, e-mail info@ilog.fr.
  1006. The URL of ILOG's web page is
  1007.    http://www.ilog.fr
  1008.  
  1009. INTELLIGENCE COMPILER.  For more information, write to Intelligence
  1010. Ware 9800 S. Sepulveda Blvd.  Los Angeles, CA 90045-5228 call
  1011. 213-417-8896, or fax 213-417-8897.
  1012.  
  1013. KDS is a case-based system that produces rules from cases. For more
  1014. information, write to KDS Corporation, 934 Cornell Street, Wilmeete, IL
  1015. 60091-1405, call 708-251-2621, or fax 708-251-6489.
  1016.  
  1017. KEE, ProKappa, and Kappa are expert system development packages that run
  1018. on personal computers, workstations, and Lisp machines. Features include
  1019. ATM, rule-based reasoning, and OOP support.  For more information, write
  1020. to IntelliCorp, Inc., 1975 El Camino Real West, Suite 101, Mountain View, CA
  1021. 94040-2216, call 415-965-5700/5500 or fax 415-965-5647. In Europe call
  1022. +44-344-305305.  See also CACM 31(4):382-401, April, 1988.
  1023.  
  1024. KES and SNAP run on personal computers (KES $4,000), workstations (KES
  1025. $10,000, SNAP $40,000 on most platforms), minicomputers (KES $25,000),
  1026. IBM mainframes (KES $60,000). Although KES can be purchased
  1027. separately, it is part of SNAP. For more information write to Software
  1028. Architecture and Engineering, Inc., 1600 Wilson Boulevard, Suite 500,
  1029. Arlington, VA 22209, call 703-276-7910, or fax 703-284-3821.  Write to
  1030. Template Software, 13100 Worldgate Drive, Suite 340, Herndon, Virginia
  1031. 22070, call 703-318-1000, or fax 703-318-7378.
  1032.  
  1033. Knowledge Craft is an expert-system development toolkit for
  1034. scheduling, design, and configuration applications. For more
  1035. information, write to Carnegie Group, 5 PPG Place, Pittsburgh, PA
  1036. 15222, call 800-284-3424 (412-642-6900), or fax 412-642-6906.
  1037.  
  1038. KnowledgeWorks from Harlequin runs on a variety of Unix platforms,
  1039. including Sun Sparc and clones (SunOS and Solaris), IBM RS/6000 (AIX),
  1040. DEC MIPS (Ultrix), DEC Alpha (OSF/1), HP PA (HP-UX), and SGI (IRIX).
  1041. It includes a CLOS-based object system, OPS compatible forward chainer
  1042. (2500 firings/sec on a Sparc2), Prolog compatible backward chainer
  1043. (40 KLIPS), graphical programming environment, user-defined conflict
  1044. resolution, MetaRule Protocol for extending execution model, and a
  1045. SQL interface for relational databases.  For further information, 
  1046. contact by e-mail worldwide:
  1047.    knowledgeworks-request@harlequin.com (OR @harlequin.co.uk)
  1048. or in the US:   
  1049.    FAX:   617-252-6505
  1050.    Voice: 800-WORKS-4-YOU (800-967-5749) or 617-374-2400 or 617-252-0052
  1051.    Mail:  Harlequin Inc., One Cambridge Center, Cambridge, MA 02142
  1052. or in Europe:
  1053.    FAX:   0223-872-519 (OR 44-1223-872-519 from outside UK)
  1054.    Voice: 0223-873-800 OR -872-522 (OR 44-1223-873-800 from outside UK)
  1055.    Telex: 818440 harlqn g
  1056.    Mail:  Harlequin Ltd., Barrington Hall, Barrington, Cambridge, CB2 5RG
  1057. Harlequin also sells LispWorks (a Common Lisp and Prolog programming 
  1058. environment described in part 4 of the Lisp FAQ), MLWorks (an ML 
  1059. programming environment), and Watson (an intelligence analysis tool).
  1060.  
  1061. K-Vision is a knowledge acquisition and visualization tool. It runs on
  1062. Windows, DOS, and UNIX workstations. For more information write to
  1063. Ginesys Corporation, 1200 Woodruff Road, Suite C-9, Greenville, SC
  1064. 29607-5731, call 800-277-8338 (803-288-8338), or fax 803-458-9050.
  1065.  
  1066. Laser. For more information, write to Bell Atlantic Knowledge Systems,
  1067. Inc., P.O. Box 3528, Princeton, NJ 08543-3528, or call 800-552-2257
  1068. (609-275-8393).
  1069.  
  1070. LEVEL5 OBJECT for Microsoft Windows runs on an IBM PC compatible
  1071. computer using Windows 3.1 or above. LEVEL5 OBJECT is a robust
  1072. object-oriented application development system with a tunable inference
  1073. engine product.  For more information, write to Information Builders,
  1074. 503 Fifth Avenue, Indialantic, FL 32903, call 800-444-4303
  1075. (407-729-9046), fax 407-727-7615, or email to 76366.323@compuserve.com,
  1076. techsup@l5r.com, or sales@l5r.com. Their Web server is located at the URL 
  1077.    http://www.l5r.com/level5.html
  1078. For Customer Support call 407-984-8705.
  1079.  
  1080. There are several versions of the M.4 product.  M.4 VB is a Visual
  1081. Basic custom control that sells for $199.  The full M.4 package runs on
  1082. personal computers (DOS, Windows) and sells for $995.  It features a modular
  1083. kernel library that can be linked into C-language applications, backward and
  1084. forward chaining, pattern matching, certainty factors, procedural control,
  1085. an object-oriented representation, and ODBC hooks.  M.4 is embeddable,
  1086. configurable, and extendable and is provided as libraries, a custom control
  1087. (VBX), and as a DDE Server.  Working VB, Visual C++, ToolBook, and DOS GUIs
  1088. are provided to illustrate various integration techniques.  M.4 is also
  1089. available as embeddable libraries for Sun SPARCstations for $2,495 and as
  1090. embeddable libraries for Macintosh System 7 for $995.  For more information,
  1091. write to Teknowledge Corporation (formerly Cimflex Teknowledge Corporation),
  1092. 1810 Embarcadero Road, Palo Alto, CA 94303, or call 800-285-0500
  1093. (415-424-0500), fax 415-493-2645, or visit http://www.teknowledge.com/M4
  1094.  
  1095. MailBot, from Daxtron Labs, is a personal E-Mail agent for Microsoft Mail.
  1096. MailBot provides filtering, forwarding, notification, automatic
  1097. question answering and listserv like capabilities. MailBot can act as a 
  1098. expert system shell for mail. The front-end translates user rule inputs 
  1099. into a variant of Prolog. A API exists for writting action code in 
  1100. Visual Basic. More information is available from the URL
  1101.    http://www.polaris.net/~daxtron/mailbot.htm
  1102.  
  1103. MEM-1 is a Lisp-based language that aids in the development of
  1104. Case-Based Reasoning systems; provides facilities to define case
  1105. structures, create cases, divide cases into sub-cases, weigh case
  1106. attributes, define indexing schemes and similarity functions, adapt
  1107. solutions and define procedural adaptation rules. Runs on Windows, DOS,
  1108. Sun, DECStation, RS/6000, and Macintosh. Price: $199 ($50 for
  1109. educational institutions). For more information, write to CECASE, 2291
  1110. Irving Hill Drive, Lawrence, KS 66045, call 913-864-4896, fax
  1111. 913-864-7789, or send email to mem1info@cecase.ukans.edu
  1112.  
  1113. ModelQuest 4.0. Runs on Windows 3+, NT, 95 ($995). ModelQuest is easy to 
  1114. learn and use so you can quickly take advantage of its power.  ModelQuest 
  1115. produces more accurate and robust models as well as royalty-free C code. 
  1116. For more information, write to Abtech Corporation, 1575 State Farm 
  1117. Boulevard, Charlottesville, VA 22901, call 804-977-0686, fax 
  1118. 804-977-9615, e -mail sales@abtech.com, or visit their web page
  1119.    http://www.abtech.com/
  1120.  
  1121. MUSE. For more information, write to Cambridge Consultants, Science
  1122. Park, Milton Road, Cambridge CB4 4DW, England, or call
  1123. 0223-420024 Cambridge.
  1124.  
  1125. NEXPERT OBJECT runs on over 30 platforms supported including personal
  1126. computers ($5000), Macintosh ($5000), workstations ($12,000),
  1127. minicomputers, and mainframes. Nexpert Object is written in C, and
  1128. includes a graphical user interface, knowledge acquisition tools, and
  1129. forms system. For more information, write to Neuron Data, 156
  1130. University Avenue, Palo Alto, CA 94301, call 800-876-4900
  1131. (415-321-4488), or fax 415-321-3728. Other offices include New York,
  1132. 212-832-8900; Philadelphia, 215-941-2981; Washington, DC,
  1133. 703-821-8800; Los Angeles, 714-851-4621; Chicago, 708-955-3688;
  1134. Houston, 713-739-9020; United Kingdom, 44-71-408-2333, fax
  1135. 44-71-495-6274; France, 33-1-40-70-04-21, fax 33-1-47-23-71-43; and
  1136. Japan, 81-3-3746-4371, fax 81-3-3746-4374.  See also IEEE Software
  1137. 5(5):98, September, 1988, PC Tech Journal 6(11):112, November, 1988,
  1138. MacUser 4(12):134, December, 1988, MacUser 4(9):136, September, 1989,
  1139. Computer Language 6(12):123, December, 1989, PC Week 7(26):43, July 2,
  1140. 1990, MacWeek 4(25):10, July 10, 1990, and IEEE Expert December, 1991,
  1141. page 72. [This entry is a bit out of date. Nexpert Object is now part
  1142. of a larger product called "Smart Elements", which includes Open
  1143. Interface 2.0 -- an object-oriented GUI developer -- in addition to
  1144. Nexpert Object 3.0. Any Neuron Data folks out there want to redo this entry?]
  1145.  
  1146. Object Management Workbench* (OMW) is the first object-oriented
  1147. analysis and design tool which incorporates directly executable
  1148. diagrams and business rules.  OMW works with Kappa(, an integrated,
  1149. visual programming environment for developing client/server
  1150. applications.  Kappa applications are developed on Unix and can be
  1151. delivered on either Unix or MS Windows.  With Kappa CommManager*, an
  1152. object request broker, customers can distribute Kappa applications,
  1153. including program logic, across Unix, MS Windows and MVS.  Kappa-PC(
  1154. is IntelliCorps' integrated MS Windows-based programming environment
  1155. for departmental developers. For more information, write to
  1156. IntelliCorp, Inc., 1975 El Camino Real West, Mountain View, CA
  1157. 94040-2216, call 415-965-5700 or fax 415-965-5647. In Europe call
  1158. +44-344-305305.  See also CACM 31(4):382-401, April, 1988.
  1159.  
  1160. OPS83 was developed by the developers of OPS5 as a successor to OPS5.
  1161. OPS83 is written in C, and OPS83 rule bases can be embedded in C
  1162. programs.  OPS83 was the first OPS-like language to provide this
  1163. integration of rule bases with C.  OPS83 supports Generalized Forward
  1164. Chaining (GFC), a new control structure that permits rules to be more
  1165. expressive; one GFC rule can replace several conventional flat rules.
  1166. (Details and examples are available on request.)  The current version
  1167. of OPS83 uses the proprietary Rete II algorithm to enable it to handle
  1168. large, complex rule sets efficiently.  A multi-windowed,
  1169. point-and-click development environment called the OPS83 Workbench is
  1170. offered.  OPS83 is available for DOS, OS/2, UNIX, VMS, and some
  1171. proprietary operating systems.  For information, write Production
  1172. Systems Technologies, Inc., 5001 Baum Blvd., Pittsburgh, PA 15213,
  1173. call 412-683-4000, or fax 412-683-6347.
  1174.  
  1175. Personal Consultant Plus. For more information, write to Texas Instruments
  1176. PO Box 2909, MS/2240, Austin, TX 78769, or call 800-527-3500.
  1177.  
  1178. PowerSMARTS (multimedia rule-based logic), DataSMARTS (database mining), 
  1179. NeuroSMARTS (neural net) for Macintosh or PC Windows.  Costs range from 
  1180. $495 to $4995.  Cognition Technology Corporation, 1000 Massachusetts Ave,
  1181. Cambridge, MA 02138, 617-492-0246, FAX 617-492-0247, Internet ctcma@aol.com 
  1182.  
  1183. RAL (Rule-extended Algorithmic Language) is a high-performance C-based
  1184. expert systems tool.  It was designed to permit seamless integration
  1185. of rules and objects into C programs.  RAL is a superset of C.  RAL
  1186. rules can operate directly on the data types used by the C code in
  1187. your application.  RAL "understands" C type declarations, function
  1188. prototypes, #define constants, etc.  C expressions, statements,
  1189. macros, function calls, etc. can be embedded directly in the rules.
  1190. RAL has an open architecture that permits it to be used with any GUI
  1191. builder, data base library, or other library that can be used with C.
  1192. No bridges are required.  For efficiency, RAL rules are compiled into
  1193. C code.  Charles Forgy, the inventor of Rete, has developed a more
  1194. efficient match algorithm called Rete II for RAL.  (Benchmark results
  1195. are available on request.)  A special version of the language, called
  1196. RAL/RT, adds the features that are required for real-time expert
  1197. systems.  RAL and RAL/RT have a multi-windowed, point-and-click
  1198. development environment called the RAL Workbench.  RAL and RAL/RT are
  1199. available for DOS, MS Windows, OS/2, and UNIX.  License fees for
  1200. development systems are available on request.  There are no run-time
  1201. fees charged for distributing applications developed using RAL.  For
  1202. information, write Production Systems Technologies, Inc., 5001 Baum
  1203. Blvd., Pittsburgh, PA 15213, call 412-683-4000, or fax 412-683-6347.
  1204.  
  1205. ReMind. ReMind is a case-based reasoning tool. For more information,
  1206. write to Cognitive Systems Inc., 880 Canal Street, Stamford, CT 06907,
  1207. call 203-356-7756, or fax 203-356-7760.
  1208.  
  1209. Rete++ supports both forward and backward chaining.  With Rete++ the
  1210. programmer can develop object hierarchies and instantiate, manipulate,
  1211. and access them using either C++, the standard rule-based syntax, or
  1212. C.  Asserting and modifying the data that is considered by rules is
  1213. done by creating a C++ instance and performing assignments to and
  1214. accessing the member data of the instance.  Rete++ automatically
  1215. generates C++ class taxonomies.  The C++ components of Rete++
  1216. applications use these generated classes directly or further subclass
  1217. them as needed.  The Rete++ inference engine automatically considers
  1218. any instances of a generated class (or its subclasses) in the matching
  1219. of rule conditions.  C++ data types provided by Rete++ allow more
  1220. flexible representation and automatic reasoning using standard C++
  1221. syntax without extraneous function calls.  Rete++ automatically
  1222. monitors changes to C++ objects without requiring programmers to
  1223. explicitly code function calls.  Rete++ is provided as a C++ class
  1224. library.  As such, it may be linked as part of your C++ application.
  1225. You may completely embed Rete++, with or without its graphical
  1226. development environment.  Modules for developing Case Based Reasoning
  1227. and integration with databases are available for Rete++ applications.
  1228. Rete++ integrates a dependency based Truth Maintenance System to
  1229. preserve logically sound and complete reasoning in spite of
  1230. non-monotonicity.  Multiple rulesets and agendas support modular
  1231. development and cooperating expert systems. Rete++ has an advanced
  1232. browser for rule based programming. The Rete++ windowing development
  1233. environment monitors the knowledge base with multiple views that are
  1234. all updated in real-time, allowing for debugging, browsing, the
  1235. monitoring and setting of break points, and the tracing of rules,
  1236. facts and goals.  Rete++ 16 bit Windows Toolkit costs $999, Rete++ 32
  1237. bit Windows Toolkit costs $1,999, Rete++ OS/2 Toolkit costs $1,999,
  1238. and Rete++ UNIX X/Motif Toolkit costs $2,999.  UNIX Versions available
  1239. for Sun OS, Sun Solaris, HP UX, Data General, AIX.  For more
  1240. information write to The Haley Enterprise, Inc. 413 Orchard St.,
  1241. Sewickley, PA 15143, call 800-233-2622 (412-741-6420 or 412-967-1100), fax
  1242. 412-741-6457, or send email to info@haley.com, or see
  1243. their web site 
  1244.    http://www.haley.com/
  1245. or ftp site
  1246.    ftp://ftp.haley.com/
  1247. These sites include their literature in PostScript and HTML, as well
  1248. as their software.
  1249.  
  1250. RT/Expert is an expert system development package integrated into the
  1251. SystemBuild development environment that runs on PCs, UNIX, and VMS
  1252. systems. For more information, write to Integrated Systems Inc., 3260
  1253. Jay Street, Santa Clara, CA 95054, call 408-980-1500, or fax 408-980-0400.
  1254.  
  1255. RTworks is a family of independent software modules developed for
  1256. intelligent real-time data acquisition and monitoring, data analysis,
  1257. message/data distribution, and message/data display. RTworks offers a
  1258. number of sophisticated problem-solving strategies including
  1259. knowledge-based systems, a point-and-click graphical user interface,
  1260. temporal and statistical reasoning, and the ability to distribute an
  1261. application over a heterogeneous network.  Included with RTworks is a
  1262. high-speed inference engine (RTie) which is used to analyze the data
  1263. using objects, classes, procedures, and rules. The IE can perform
  1264. trending, prediction and temporal reasoning of rapidly changing data.
  1265. Displays can be built by non-programmers using a user-friendly DRAW
  1266. program.  More than 60 different formats are provided for displaying
  1267. input data including strip charts, bar charts, control charts, dials,
  1268. pie charts, and high-low graphs.  Graphical objects can be tied to
  1269. variables which dynamically control attributes such as color, scale,
  1270. rotation, motion, animation, and more.  RTworks runs in a
  1271. client-server architecture in which the RTserver process intelligently
  1272. distributes the application's messages and data to only the client
  1273. prcoesses which need them. User-defined client processes can connect
  1274. to the RTserver and send and receive messages with other processes in
  1275. the application. Possible applications include process control,
  1276. network monitoring, financial trading, and command and control.
  1277. RTworks is available on a variety of Unix and VMS platforms under a
  1278. floating license in which you pay only for the number of simultaneous
  1279. users, and the software is not node-locked to a particular machine.
  1280. Current RTworks customers include Lockheed, NASA, Dow Chemical, PG&E
  1281. (Pacific, Gas, and Electric), SWIFT, Mazda, and NTT. For further
  1282. information, write to Talarian Corporation, 444 Castro Street, Suite
  1283. 140, Moutain View, CA 94041, call 415-965-8050, fax 415-965-9077, or
  1284. send E-mail to info@talarian.com, or look on the world-wide web at
  1285.    http://www.mainstreet.net/talarian/
  1286.  
  1287. SMECI is an expert system shell based on Lisp. For more information,
  1288. contact ILOG, Inc., 2073 Landings Drive, Mountain View, CA 94043, tel
  1289. 415-390-9000, fax 415-390-0946, email info@ilog.com.  European
  1290. customers should write to ILOG, 2, av. Gallieni, BP 85, 94253 Gentilly
  1291. Cedex, France, tel +33 (1) 46-63-66-66, fax +33 (1) 46-63-15-82, email
  1292. info@ilog.fr.
  1293.  
  1294. Sophos. For more information, write to Cognisys Consultants Inc., 7355
  1295. Trans Canada Highway, Suite 210, Saint-Laurent, Quebec, CANADA H4T
  1296. 1T3, call 514-856-2311, or fax 514-856-2368.
  1297.  
  1298. STATUTE Corporate V3.0 for Windows. Includes facilities for automatic
  1299. document generation. Interfaces for Visual Basic, C, C++, and
  1300. applications that can link to DLLs. Phone: 1-800-229-1954 (616-242-1982). 
  1301. Fax: 1-800-229-1959 (616-242-1948).
  1302.  
  1303. TechMate is a real life expert system designed to serve as a decision
  1304. aid and productivity tool for maintenance engineers and technicians.
  1305. TechMate minimizes the expertise required from the technician to
  1306. troubleshoot and diagnose problems in even highly sophisticated and
  1307. complex units.  Oriented for the functional level, TechMate can
  1308. troubleshoot units that contain analog, digital and mechanical modules
  1309. in electronic, electro-optic, hydraulic, or mechanical systems and
  1310. devices. TechMate is used in many fault isolation applications in
  1311. field service, depot facilities, and production lines. Its learning
  1312. algorithms make TechMate grow smarter with use.  TechMate is a
  1313. model-based system that derives its intelligence from universal
  1314. built-in knowledge bases and inference mechanisms, and from specific
  1315. knowledge about the UUT (Unit Under Test) supplied by the test
  1316. designer. It generates diagnostic assessments from the equipments
  1317. block diagram (which can be entered manually or imported
  1318. electronically) and the characteristics of the symptoms and tests. It
  1319. is also capable of diagnosing multiple faults.  For a given set of
  1320. symptoms and test results (including BIT results), TechMate's
  1321. diagnostic algorithms rank candidate faulty modules by their
  1322. likelihood of failure. It may also zoom in to further assess the fault
  1323. likelihood of each individual sub-module. Next, TechMate identifies
  1324. and evaluates the tests that may be used to isolate a fault, and
  1325. proposes the most cost-efficient tests. The sequence of tests is
  1326. dynamically reordered based on the symptoms, BIT and test responses,
  1327. thereby eliminating redundant tests. TechMate provides on-line
  1328. documentation of the device and its tests. It also includes a database
  1329. tool for storing and retrieving administrative data and sharing it
  1330. with commercial DBMS. TechMate can be interfaced with a wide variety
  1331. of test instruments and ATE systems. TechMate runs on Microsoft
  1332. Windows and on UNIX/X-Windows. TechMate customers include Texas
  1333. Instruments, Northrop, Raytheon, Honeywell, BARCO, British Gas,
  1334. Deutche Aerospace, and Siemens Plessey.  For further information, call
  1335. IET Intelligent Electronics at 617-229-5855, fax 617-221-5692, or send
  1336. E-mail to sales@ietusa.com, or look on the world-wide web at
  1337. http://www.ietusa.com/
  1338.  
  1339. TestBench, Shell is available from the Carnegie Group, Pittsburgh,
  1340. Pennsylvania.  The development environment runs on the SUN
  1341. workstations and the production environment on a number of platforms
  1342. including PCs and NeXT machines. For more information, write to
  1343. Carnegie Group, 5 PPG Place, Pittsburgh, PA 15222, call 800-284-3424
  1344. (412-642-6900), or fax 412-642-6906.
  1345.  
  1346. VBXpert is a VBX custom control that uses the Rete Algorithm to add
  1347. expertise to Visual Basic applications.  VBXpert extends Visual Basic 
  1348. to support rule-based knowledge-based systems development by encapsulating 
  1349. the Rete Algorithm within a VBX custom control.  It is a true custom
  1350. control with Visual Basic property and event editing support and provides
  1351. convenient properties that can be accessed and set by VB code to control
  1352. embedded reasoning.  VBXpert also provides: inference engine events that
  1353. execute code you enter using the Visual Basic editor; a general-purpose
  1354. "Callback" event to call Visual Basic from the actions of rules; efficient
  1355. processing, even for a thousand if-then rules; automatic subgoaling and
  1356. logical deduction; automatic retraction of invalid or outdated conclusions;
  1357. Visual Basic declarations for Eclipse DLLs; supports Visual Basic's ANY
  1358. and Variant data types; supports multiple concurrent Visual Basic apps;
  1359. includes Eclipse DLLs and executable; includes C source code for the VBX;
  1360. VBXpert for Windows $99 (price shown is for domestic check, VISA, 
  1361. MasterCard, and American Express orders only.) The Haley Enterprise, Inc. 
  1362. 413 Orchard St., Sewickley, PA 15143-2029 (800) 233-2622, 412-741-6420, 
  1363. Info@Haley.COM, or see their web site 
  1364.    http://www.haley.com/
  1365. or ftp site
  1366.    ftp://ftp.haley.com/
  1367. These sites include their literature in PostScript and HTML, as well
  1368. as their software.
  1369.  
  1370. Visual Expert is a GUI-based expert system development tool for Windows.
  1371. For more information, write to SoftSell Technologies, 16150 NE 85th
  1372. Avenue, Suite 224, Redmond, WA 98052, call 206-556-1436, or fax 206-883-9002.
  1373.  
  1374. VP-EXPERT version 3.1 runs on the IBM PC under DOS. It costs $349.  A
  1375. student version of the product is available for around $40. The
  1376. student version is fully functional but limited to 16k in the total
  1377. size of the system. For more information, write to Wordtech Systems
  1378. Inc., PO Box 1747, Orinda, CA 94563, call 510-689-1200, or fax
  1379. 510-689-1263.  See also MacUser 4(12):134, December, 1988.
  1380.  
  1381. XpertRule for Windows represents knowledge as decision trees, tables
  1382. of decision examples, exception trees and sets of pattern rules. It 
  1383. can produce C code. Fuzzy Logic and Genetic Algorithm optimization 
  1384. are included. For more information, write to Attar Software USA, PO Box
  1385. 68, Harvard, MA 01451-0068, call 800-456-3966, or fax 508-456-8383.
  1386. European customers should write to Attar Software Limited, Newlands
  1387. House, Leigh, Lancashire, UK WN7 4HN, or send email to info@attar.co.uk
  1388. See also their home page at http://www.attar.com/
  1389.  
  1390. YAPS is a tool for building expert systems and other programs that use
  1391. a rule-based knowledge representation in Lisp. The YAPS library
  1392. provides a CLOS class and appropriate methods which the programmer may
  1393. mix into his/her own classes or use directly.  Rules and facts about
  1394. an instance are associated with the instance.  Instead of one large
  1395. knowledgebase with many rules which are hard to debug and maintain,
  1396. the programmer creates smaller knowledge-bases which are modular and
  1397. more efficient.  The YAPS knowledge-bases can interact with and be
  1398. controlled by the programmer's other modules, making hybrid systems
  1399. straightforward.  Introduced by Liz Allen at AAAI-83, YAPS is now
  1400. available on Apple Macintosh, Sun3 and Sun4 (SPARC), DEC VAX under VMS
  1401. and Ultrix, and 88Open platforms. On workstations, a single license
  1402. costs $3995 and on the Macintosh (under Macintoch Common Lisp), it is
  1403. $445. YAPS runs in most commercial Common Lisps including Allegro CL,
  1404. Harlequin LispWorks, Lucid CL, IBUKI CL, and Macintosh Common Lisp.
  1405. YAPS is also available for the TI Explorer and Symbolic Lisp Machines,
  1406. and a Flavors version is available for Sun3 in Franz Lisp.  Other
  1407. ports are underway -- for price and availability contact College Park
  1408. Software at 461 W. Loma Alta Dr., Altadena, CA 91001-3841, USA; or by
  1409. email at info@cps.altadena.ca.us, or call 818-791-9153 (voice) or
  1410. 818-791-1755 (FAX).
  1411.  
  1412. ----------------------------------------------------------------
  1413. Subject: [1-7] Associations
  1414.  
  1415. INTERNATIONAL ASSOCIATION OF KNOWLEDGE ENGINEERS (IAKE)
  1416. IAKE, 973-D Russell Avenue, Gaithersburg, MD 20879-3276.
  1417. 301-948-5390, fax 301-926-4243. Email: iake@umuc.umd.edu
  1418. $65 regular ($110 2-year), $30 students in US/Canada.
  1419. Add $10/year for Carribean, Central America, Mexico.
  1420. Add $25/year for Europe, North Africa, South America.
  1421. Add $30/year for Asia, USSR, Central and South Africa, Australia, and
  1422. New Zealand.
  1423.  
  1424. ----------------------------------------------------------------
  1425. Subject: [1-8] Glossary
  1426.  
  1427. Expert System Shell     A shell is a program that facilitates the
  1428.                         development of expert systems. 
  1429.  
  1430. ----------------------------------------------------------------
  1431. Subject: [1-A] Acknowledgements
  1432.  
  1433. This FAQ was originally based on posts by Jason Trenouth
  1434. <jason@harlequin.co.uk>, George Betzos <gabetzos@mailbox.syr.edu>, and
  1435. Douglas Foxvog <foxvog@cyc.com>, as well as parts of the
  1436. commercial products section of the AI FAQ.  Thanks also to Arnold
  1437. Bloemer <bloemer@tnt.uni-hannover.de>, Hans Voss, Stephan Weber, Tom
  1438. Laffey, ljs@zycor.lgc.com, Hal Waters, Philip Vanneste, Daniel
  1439. Corkill, Bruce Chih-Lung Lin, Willem Van Dyk, Kan-Lee Liou, Les
  1440. Degroff, Alex Kean, Bob Orchard, Steve Witt, Cameron Laird, Thomas A.
  1441. Russ, Peter Pavek, Ingemar Hulthage, Jerry Franke, Julian Smart,
  1442. Andrew Verden, Remi Lissajoux, Patrick Albert, Patrick Suel, Liz
  1443. Allen. Thanks to Richard Fozzard for information about MIKE and ES.
  1444.  
  1445. ----------------------------------------------------------------
  1446. ;;; *EOF*
  1447.