home *** CD-ROM | disk | FTP | other *** search
/ Nebula 1994 June / NEBULA_SE.ISO / Documents / FAQ / AI-faq / part6 < prev    next >
Encoding:
Text File  |  1993-08-13  |  28.8 KB  |  534 lines

  1. Newsgroups: comp.ai,comp.ai.shells,news.answers,comp.answers
  2. Path: senator-bedfellow.mit.edu!bloom-beacon.mit.edu!usc!howland.reston.ans.net!noc.near.net!das-news.harvard.edu!cantaloupe.srv.cs.cmu.edu!crabapple.srv.cs.cmu.edu!mkant
  3. From: mkant+@cs.cmu.edu (Mark Kantrowitz)
  4. Subject: FAQ: Expert System Shells 6/6 [Monthly posting]
  5. Message-ID: <ai-faq-6.text_745225892@cs.cmu.edu>
  6. Followup-To: poster
  7. Keywords: Expert Systems, RETE, OPS
  8. Sender: news@cs.cmu.edu (Usenet News System)
  9. Supersedes: <ai-faq-6.text_742547005@cs.cmu.edu>
  10. Nntp-Posting-Host: a.gp.cs.cmu.edu
  11. Reply-To: mkant+ai-faq@cs.cmu.edu
  12. Organization: School of Computer Science, Carnegie Mellon University
  13. Date: Fri, 13 Aug 1993 07:12:29 GMT
  14. Approved: news-answers-request@MIT.Edu
  15. Expires: Fri, 24 Sep 1993 07:11:32 GMT
  16. Lines: 515
  17. Xref: senator-bedfellow.mit.edu comp.ai:18229 comp.ai.shells:1089 news.answers:11330 comp.answers:1591
  18.  
  19. Archive-name: ai-faq/part6
  20. Last-Modified: Tue Jul 20 21:16:51 1993 by Mark Kantrowitz
  21. Version: 1.9
  22.  
  23. ;;; ****************************************************************
  24. ;;; Expert System Shells *******************************************
  25. ;;; ****************************************************************
  26. ;;; Written by Mark Kantrowitz
  27. ;;; ai-faq-6.text -- 28616 bytes
  28.  
  29. This post contains Part 6 of the AI FAQ. It is cross-posted to the
  30. newsgroup comp.ai.shells because it contains material of interest to
  31. readers of that newsgroup. The other parts of the AI FAQ are posted only
  32. to the newsgroups comp.ai and news.answers.
  33.  
  34. CONTRIBUTIONS to this summary should be sent to mkant+ai-faq@cs.cmu.edu. 
  35. Companies wishing to expand their entries should send product
  36. summaries no longer than the RTworks or CLIPs entries, and should
  37. focus on features and facts. Hype and vague generalizations will be removed.
  38.  
  39. Part 6 (Expert System Shells):
  40.   [6-1]  Introduction and Acknowledgements
  41.   [6-2]  Other Sources of Information
  42.   [6-3]  Free/Cheap Expert System Shells
  43.   [6-4]  Commercial Expert System Shells
  44.  
  45. Search for [#] to get to question number # quickly.
  46.  
  47. ----------------------------------------------------------------
  48. Subject: [6-1]  Introduction and Acknowledgements
  49.  
  50. This is a list of commercial expert system shells and companies
  51. originally based on posts by Jason Trenouth <jason@harlequin.co.uk>,
  52. George Betzos <gabetzos@mailbox.syr.edu>, and Foxvog Douglas
  53. <dfo@vttoulu.tko.vtt.fi>, as well as parts of the commercial products
  54. section of the AI FAQ.  Thanks also to Arnold Bloemer
  55. <bloemer@tnt.uni-hannover.de>, Hans Voss, Stephan Weber, Tom Laffey,
  56. ljs@zycor.lgc.com, Hal Waters, Philip Vanneste, Daniel Corkill, Bruce
  57. Chih-Lung Lin, Willem Van Dyk, Kan-Lee Liou, Les Degroff, Alex Kean,
  58. Bob Orchard, Steve Witt, Cameron Laird, Thomas A. Russ, Peter Pavek,
  59. Ingemar Hulthage, Jerry Franke, Julian Smart, Andrew Verden, Remi
  60. Lissajoux, Patrick Albert, Patrick Suel, Liz Allen. Thanks to Richard
  61. Fozzard for information about MIKE and ES.
  62.  
  63. Many "real-time" expert systems are 'soft' real-time systems, in that
  64. they claim to be fast. A 'hard' real-time system would have features
  65. that guarantee a response within a fixed amount of real-time (e.g.,
  66. bounded computation, not just a fast match-recognize-act cycle).
  67. Systems like G2 use event-driven processing (restricting certain rules
  68. to execute only when specific WM elements change in a particular way)
  69. as a method of limiting forward chaining.
  70.  
  71. ----------------------------------------------------------------
  72. Subject: [6-2]  Other Sources of Information
  73.  
  74. In addition to the free expert system shells listed below, the Prolog
  75. Resource Guide lists a variety of Prolog implementations and products.
  76. In addition to being backward-chaining systems, many prolog
  77. implementations provide support for forward-chaining rules and other
  78. expert systems requirements. For example, Amziod sells
  79. Dennis Merritt's book, "Building Expert Systems in Prolog",
  80. Springer-Verlag, 1989, for $47 (with disk containing source code for $82).
  81.  
  82. The July/August 1992 issue of PC AI magazine includes their annual
  83. product guide for expert systems and related tools.  The December 1992
  84. issue of AI Expert Magazine, pages 42-49, contains an Expert System
  85. Resource Guide. The February 1991 issue of IEEE Computer has an
  86. article about Expert System Tools. Another article of possible
  87. interest is "Selection Criteria for Expert System Shells: A
  88. Socio-Technical Framework", by Anthony C. Stylianou, Gregory R. Madey,
  89. and Robert D.  Smith, CACM 35(10):30-48, October 1992.
  90.  
  91. Part 3 of the AI FAQ lists several key references on expert systems.
  92.  
  93. ----------------------------------------------------------------
  94. Subject: [6-3] Free/Cheap Expert System Shells
  95.  
  96. FOCL      -- ics.uci.edu:pub/SaranWrap/{README,KR-FOCL-ES.cpt.hqx}
  97.       Contact: pazzani@ics.uci.edu
  98.       Expert System Shell and Machine Learning Program;
  99.       Extends Quinlan's FOIL.
  100.  
  101. SOAR      -- ftp.cs.cmu.edu:
  102.           /afs/cs.cmu.edu/project/soar/public/Soar5/ -- Lisp Version
  103.           /afs/cs.cmu.edu/project/soar/public/Soar6/ -- C Version
  104.         Contact: soar-request@cs.cmu.edu
  105.         Integrated Agent Architecture. Supports learning through chunking.
  106.  
  107. OPS5      -- ftp.cs.cmu.edu:user/ai/software/expert-systems/ops5.tar.Z
  108.  
  109. BABYLON-- gmdzi.gmd.de:gmd/ai-research/Software/ (129.26.8.90)
  110.       (BinHexed stuffit archive of Babylon)
  111.       Development environment for expert systems.
  112.  
  113. CLIPS 6.0 is an OPS-like forward chaining production system written in
  114. ANSI C by NASA. The CLIPS inference engine includes truth maintenance,
  115. dynamic rule addition, and customizable conflict resolution strategies.
  116. CLIPS, including the runtime version, is easily embeddable in other
  117. applications. CLIPS now includes an object-oriented language called COOL.
  118. CLIPS runs on IBM PC compatibles (including Windows 3.1 and MS-DOS 386
  119. versions), Macintosh, VAX 11/780, Sun 3/260, and HP9000/500.  CLIPS is
  120. available from COSMIC at a nominal fee for unlimited copies with no
  121. royalties. (CLIPS is available free to NASA, USAF, and their contractors
  122. for use on NASA and USAF projects.) For more information, email
  123. service@cossack.cosmic.uga.edu, write COSMIC, University of Georgia, 382
  124. East Broad Street, Athens, GA 30602, call 706-542-3265, or fax
  125. 706-542-4807. To subscribe to the CLIPS mailing list, send a message to
  126. the list server listserv@cossack.cosmic.uga.edu (128.192.14.4) with
  127. message body SUBSCRIBE CLIPS-LIST. An electronic bulletin board
  128. containing information regarding CLIPS can be reached 24 hours a day at
  129. 713-280-5375 or 713-280-7552. Communications information is 300, 1200, or
  130. 2400 baud, no parity, 8 data bits, and 1 stop bit. The CLIPS help desk
  131. phone number is 713-280-8919 and email address is
  132. stbprod@krakatoa.jsc.nasa.gov. (The address is STB Products Help Desk,
  133. LinCom Corporation, 1020 Bay Area Boulevard, #200, Houston, TX
  134. 77058-2628.) The book "Expert Systems: Principles and Programming" by
  135. Joseph Girrantano and Garey Riley comes with an MS-DOS CLIPS 4.2
  136. interpreter.
  137.  
  138. MIKE and ES:
  139.    The October/November 1990 issue of BYTE described two expert systems
  140.    named MIKE and ES. MIKE is a frame-based system built in an included
  141.    public domain Prolog for IBM-PCs. ES supports backward/forward
  142.    chaining, fuzzy set relations, and explanation, and is a standalone
  143.    executable for IBM-PCs. They are available by anonymous ftp from
  144.    ftp.uu.net:/pub/ai/expert-sys/ [192.48.96.9] as mike/mike1.tar.Z,
  145.    mike/mike2.tar.Z and summers.tar.Z. ftp.uu.net is mirrored on
  146.    unix.hensa.ac.uk [129.12.21.7] under /pub/uunet/.
  147.  
  148. ----------------------------------------------------------------
  149. Subject: [6-4] Commercial Expert System Shells
  150.  
  151. The commercial products below are listed in alphabetical order.
  152.  
  153. 1ST-CLASS, 1ST-CLASS FUSION, and 1ST-CLASS HT run on personal
  154. computers. For more information, write to 1st-Class Expert Systems,
  155. Inc., 526 Boston Post Road, Suite 150, Wayland, MA 01778 or call
  156. 800-872-8812 (508-358-7722). See PC Tech Journal 7(4):111, April, 1989
  157. and PC Week 6(20):23, May 22, 1989.
  158.  
  159. ACTIVATION FRAMEWORK runs on personal computers and costs $5000.  This
  160. tool is not a tradition expert system shell, rather is a tool for
  161. building real-time data interpretation applications.  The vendor
  162. claims the tool competes with Gensym's G2 in terms of application
  163. domains.  However, G2 is not a tool for end users, but rather for C
  164. and/or Ada software developers. For more information, write to The
  165. Real-Time Intelligent Systems Corporation, 26 Worthen Street,
  166. Chelmsford, MA 01824, or call 508-250-4633.
  167.  
  168. Aion Development System (ADS) runs on numerous platforms, including
  169. DOS, OS/2, SunOS, Microsoft Windows, and VMS.  It includes an object
  170. oriented knowledge representation, forward, backward, bidirectional,
  171. and pattern matching rules, graphics, calls to/from other languages
  172. (C, Pascal, ...), and the Choreographer graphical user interface. For
  173. more information, write to Aion Corporation, 101 University Avenue,
  174. Palo Alto, CA 94301, call 800-845-2466 (415-328-9595), or fax
  175. 415-321-7728.  For Europe, write to Software Generation,
  176. Kontichsesteenweg 40, B 2630 Aartselaar, Belgium, call
  177. 32-(0)3-877.12.93, or fax 32-(0)3-877.13.55
  178.  
  179. ART-IM and CBR Express run on personal computers (ART-IM $8,000, CBR
  180. Express $10,000), workstations (CBR Express $12,500), and IBM
  181. mainframes (CBR Express $150,000).  Although ART-IM can be purchased
  182. as a separate product, it is part of CBR Express. ART-IM does
  183. forward-chaining, has object-oriented contructs, and a good C interface.
  184. It will also do backward chaining but you have to program that into
  185. the rules yourself (easy enough to do). For more information, write
  186. to Inference Corporation, 550 North Continental Boulevard, El Segundo,
  187. CA 90245, call 213-322-0200, or fax 213-322-3242.
  188.  
  189. BABYLON. For more information, write to VW-GEDAS GmbH, Pascalstrasse
  190. 11, W-1000 Berlin 10, call +49 30-39-970-0, or fax +49 30-39-970-999.
  191.  
  192. CLIPS is an OPS-like forward chaining production system written in ANSI C
  193. by NASA. The CLIPS inference engine includes truth maintenance, dynamic
  194. rule addition, and customizable conflict resolution strategies. CLIPS,
  195. including the runtime version, is easily embeddable in other applications.
  196. CLIPS runs on IBM PC compatibles, Macintosh, VAX 11/780, Sun 3/260, and
  197. HP9000/500.  CLIPS is available from COSMIC at a nominal fee for unlimited
  198. copies with no royalties. CLIPS includes the Common Object-Oriented
  199. Language (COOL) for real object-oriented programming. For more
  200. information, email service@cossack.cosmic.uga.edu, write COSMIC,
  201. University of Georgia, 382 East Broad Street, Athens, GA 30602, call
  202. 404-542-3265, or fax 404-542-4807. To subscribe to the CLIPS mailing list,
  203. send a message to the list server listserv@cossack.cosmic.uga.edu
  204. (128.192.14.4) with message body SUBSCRIBE CLIPS-LIST. An electronic
  205. bulletin board containing information regarding CLIPS can be reached 24
  206. hours a day at 713-280-3896 or 713-280-3892. Communications information is
  207. 300, 1200, or 2400 baud, no parity, 8 data bits, and 1 stop bit. The CLIPS
  208. help desk phone number is 713-286-8919 and email address is
  209. stbprod@krakatoa.jsc.nasa.gov. The book "Expert Systems: Principles and
  210. Programming" by Joseph Girrantano and Garey Riley comes with an MS-DOS
  211. CLIPS interpreter, but is geared toward an older version of CLIPS.
  212.  
  213. COGNATE runs on the Apple Macintosh and costs $250. For more
  214. information, write to Peridom, PO Box 1812, Bowie, MD 20716, or call 
  215. 301-390-9570. See also MacUser 4(12):134, December, 1988.
  216.  
  217. COGSYS. For more information, write to COGSYS Ltd., Enterprise House,
  218. Unit 37, Salford University Business Park, Salford M6 6AJ, England, or
  219. call 061-745-7604.
  220.  
  221. CRYSTAL runs on personal computers and is available from Intelligent
  222. Environemnts. See PC Magazine 8(2), January 31, 1989.
  223.  
  224. ECLIPSE runs on personal computers (DOS, Windows). System V Unix and
  225. POSIX versions are also available. The syntax is derived from
  226. Inference Corporations' ART and is compatible with NASA's CLIPS.
  227. Features include data-driven pattern matching, forward and backward
  228. chaining, truth maintenance, support for multiple goals, relational
  229. and object-oriented representations, and integration with dBase. For
  230. more information, write to The Haley Enterprise, Inc., 413 Orchard
  231. Street, Sewickley, PA 15143, call 412-741-6420, or fax 412-741-6457.
  232. See also IEEE Computer, February 1991, pages 19-31. Cost is $999 for
  233. Windows, $1,999 for Unix, $799 for DOS 386, and $1,499 for OS/2.
  234.  
  235. EXPERT-EASE runs on personal computers and is available from
  236. Expertech, Ltd. See PC User (103):94, March 29, 1989.
  237.  
  238. Exper-OPS5-Plus runs on the Apple Macintosh and costs $495. For more
  239. information, write to ExperTelligence, 5638 Hollister, Suite 302,
  240. Goleta, CA 93117, call 800-828-0113 (except CA), 800-826-6144 (CA
  241. only), or 805-967-1797. See MacUser 4(12):134, December, 1988.
  242.  
  243. EXSYS runs under MS-DOS, MS-Windows, Apple Macintosh, Sun Open Look,
  244. Unix and Vax and is available from Exsys, Inc., 1720 Louisiana
  245. Boulevard, NE, Suite 312, Albuquerque, NM 87110, call 800-676-8356
  246. (505-256-8356), or fax 505-256-8359. See also PC Tech Journal
  247. 7(1):115, January, 1989. A demo version for MS-Windows or Macintosh is
  248. available for $40. [6/93]
  249.  
  250. FLEX is a hybrid expert system toolkit available across a wide range of
  251. different hardware platforms which offers frames, procedures and rules
  252. integrated within a logic programming environment.  FLEX supports
  253. interleaved forward and backward chaining, multiple inheritance,
  254. procedural attachment, an automatic question and answer system.  Rules,
  255. frames and questions are described in a English-like Knowledge
  256. Specification Language (KSL) which enables the development of easy-to-read
  257. and easy-to-maintain knowledge bases.  FLEX is implemented in, and has
  258. access to, Prolog. FLEX is available from LPA (who originally developed
  259. flex on the PC), and also from most major Prolog vendors under license,
  260. including Quintus, BIM, Interface, and ISL.  FLEX has been used in
  261. numerous commercial expert systems, and prices on a PC running Windows or
  262. on a Macintosh start at around $1,000.  [A review of Quintus-flex is
  263. expected in an upcoming issue of PC-AI. --mk] For more information contact:
  264. Logic Programming Associates Ltd, Studio 4, R.V.P.B., Trinity Road, 
  265. London, SW18 3SX.  Tel: +44 81 871 2016; Fax: +44 81 874 0449.
  266. Email: lpa@cix.compulink.co.uk
  267.  
  268. G2 is a real-time expert system shell that runs on workstations and
  269. personal computers. It has real-time temporal reasoning, with rules,
  270. procedures, and functions built around an object-oriented paradigm.
  271. One can interface, both locally and over a network (TCP/IP and
  272. DECnet), to other programs (C and ADA), control systems, and
  273. databases.  G2 provides distributed computing and a multi-user
  274. client/server architecture.  For more information, write to Gensym
  275. Corporation, 125 Cambridge Park Drive, Cambridge, MA 02140, call
  276. 617-547-2500/9606, or fax 617-547-1962.
  277.  
  278. GBB, generic blackboard framework: provides:
  279.  -- A high-performance blackboard database compiler and
  280.       runtime library, which support pattern-based, multidimensional 
  281.       range-searching algorithms for efficient proximity-based retrieval 
  282.       of blackboard objects
  283.  -- KS representation languages
  284.  -- Generic control shells and agenda-management utilities
  285.  -- Interactive, graphic displays for monitoring and examining
  286.     blackboard and control components
  287. These components provide the infrastructure needed to build
  288. blackboard-based applications.    GBB is available for DOS/Windows, Mac,
  289. Unix workstations (Sun, HP/Apollo, IBM, DEC, Silicon Graphics),
  290. Symbolics and TI Explorer Lisp machines.  (GBB is a significantly enhanced,
  291. commercial version of the UMass GBB research framework, available via
  292. FTP from dime.cs.umass.edu:/gbb/.) NetGBB, distributed extension to
  293. GBB, provides to GBB the communication and coordination facilities
  294. needed to build heterogenous distributed blackboard applications.
  295. For more information write to Blackboard Technology Group, Inc., 401 Main 
  296. Street, Amherst, MA  01002, call 413-256-8990, or fax 413-256-3179. To
  297. be added to the mailing lists, send mail to gbb-user-request@bn.cs.umass.edu.
  298. There are two mailing lists, gbb-user (moderated) and gbb-users (unmoderated).
  299.  
  300. GEST (Generic Expert System Tool) is a blackboard system internationally
  301. licensed by Georgia Tech for expert system applications. Available on
  302. Symbolics and SUN systems, GEST incorporates a number of knowledge
  303. representation techniques and inference engine gearing mechanisms to
  304. provide users a repertoire of knowledge structures to draw upon in
  305. developing application systems.  A tutorial demonstration expert system is
  306. included with the GEST software and is included as a chapter in the
  307. documentation. The Symbolics version of GEST will be available at no cost
  308. via FTP on July 1, 1993. The SUN version license is $9,500 and includes
  309. all source code.  For licensing information, please contact Susan Coryell
  310. at susan.coryell@gtri.gatech.edu, 404-894-5241 (office), 404-894-9081 (fax), 
  311. or write to Susan Coryell, GTRI-CSITL, Georgia Tech, Atlanta, GA 30332.
  312.  
  313. GOLDWORKS II. For more information, write to Gold Hill Computers, Inc.,
  314. 26 Landsdowne Street, Cambridge, MA 02139, call 800-242-5477
  315. (617-621-3300), or fax 617-621-0656.
  316.  
  317. GURU is a real-time expert system that runs on personal computers. For
  318. more information, write to Micro Data Base Systems, Inc. (MDBS), PO
  319. Box 6089, Lafayette, IN 47903-6089 call 800-344-5832 (317-463-2581),
  320. or fax 317-448-6428.
  321.  
  322. HyperX runs on the Apple Macintosh. For more information, write to
  323. Millenium Software, 1970 S. Coast Highway, Laguna Beach, CA 92651, or
  324. call 714-497-7439. See also MacWeek 3(5):6, January 31, 1989.
  325.  
  326. ILOG RULES is a high performance embeddable rule-based inference
  327. engine. It is a forward chaining tool, written in C++ (hence it is
  328. object-oriented and supports inheritance mechanisms) and is also
  329. provided as a C++ library. It runs virtually on any Unix platform
  330. (e.g., HP97X0, Sun4, RS/6000, DecStations) as well as on PCs running
  331. DOS (with or without MS/Windows) or OS/2.  It extends OPS/5 with
  332. nested premises (objects as values), rule packets (logical grouping of
  333. rules), a full Truth Maintenance System (TMS) for efficient
  334. non-monotonic reasoning, compilation of rules into C/C++ code, and an
  335. object oriented data-model in C++. ILOG RULES work directly on user
  336. objects, so interfacing is straightforward. C/C++ code may be included
  337. in rule conditions and actions.  ILOG RULES is based on the fast XRETE
  338. implementation of the RETE algorithm developed by Thomson-CSF.  For
  339. more information, contact ILOG, Inc., 2073 Landings Drive, Mountain
  340. View, CA 94043, tel 415-390-9000, fax 415-390-0946, e-mail
  341. info@ilog.com.  European customers should contact ILOG SA, 2, av.
  342. Gallieni, BP 85, 94253 Gentilly CEDEX, France, tel +33 (1)
  343. 46-63-66-66, fax +33 (1) 46-63-15-82, e-mail info@ilog.fr.
  344.  
  345. INTELLIGENT DEVELOPER runs on the Apple Macintosh and costs $395.  For
  346. more information, write to Hyperpress Publishing, PO Box 8243, Foster
  347. City, CA 94404, or call 415-345-4620. See also MacUser 4(12):134,
  348. December, 1988.
  349.  
  350. INTELLIGENCE COMPILER.  For more information, write to Intelligence
  351. Ware 9800 S. Sepulveda Blvd.  Los Angeles, CA 90045-5228 call
  352. 213-417-8896, or fax 213-417-8897.
  353.  
  354. Instant-Expert Plus runs on the Apple Macintosh and costs $498.  For
  355. more information, write to Human Intellect Systems, 1670 South
  356. Amphlett Blvd, Suite 326, San Mateo, CA 94402, or call 800-522-5939
  357. (415-571-5939).  See also MacUser 4(12):134, December, 1988.
  358.  
  359. KBMS runs on personal computers. For more information, write to
  360. AICorp, 138 Technology Drive, Waltham, MA 02254-9748, or call
  361. 617-891-6500.  PC Week 6(35):63, September 4, 1989.
  362.  
  363. KEE, ProKappa, and Kappa run on personal computers, workstations, and
  364. Lisp machines. For more information, write to IntelliCorp, Inc., 1975
  365. El Camino Real West, Mountain View, CA 94040-2216, call
  366. 415-956-5660/5500 or fax 415-965-5647. See also Communications of the
  367. ACM 31(4):382-401, April, 1988.
  368.  
  369. KES and SNAP run on personal computers (KES $4,000), workstations (KES
  370. $10,000, SNAP $40,000 on most platforms), minicomputers (KES $25,000),
  371. IBM mainframes (KES $60,000). Although KES can be purchased
  372. separately, it is part of SNAP. For more information write to Software
  373. Architecture and Engineering, Inc., 1600 Wilson Boulevard, Suite 500,
  374. Arlington, VA 22209, call 703-276-7910, or fax 703-284-3821.  Write to
  375. Template Software, 13100 Worldgate Drive, Suite 340, Herndon, Virginia
  376. 22070, call 703-318-1000, or fax 703-318-7378.
  377.  
  378. Knowledge Craft runs on minicomputers and Lisp machines. For more
  379. information, write to Carnegie Group, 5 PPG Place, Pittsburgh, PA
  380. 15222, call 800-284-3424 (412-642-6900), or fax 412-642-6906.
  381.  
  382. KnowledgeWorks runs on workstations (Sun3, Sparc, DEC (MIPS), HP
  383. 400,700, IBM RS6000, Intergraph, MIPS).  It includes a CLOS-based
  384. object system, OPS compatible forward chainer (2500 firings/sec on a
  385. Sparc2), Prolog compatible backward chainer (40 KLIPS), graphical
  386. programming environment, user-defined conflict resolution, MetaRule
  387. Protocol for extending execution model, and a SQL interface for
  388. relational databases.  For more information write to Harlequin Inc.,
  389. One Cambridge Center, Cambridge, MA 02142, USA, call
  390. 1-800-works-for-you (1-800-967-5749) or 617-252-0052, or fax
  391. 617-252-6505.  European customers should write to Harlequin Ltd.,
  392. Barrington Hall, Barrington, Cambridge CB2 5RG, UK, call 0223-872522,
  393. or fax 0223-872519. E-mail: knowledgeworks-request@harlqn.co.uk or
  394. works@harlequin.com. They also sell LispWorks (a Common Lisp and Prolog
  395. programming environment) -- see part 4 of the Lisp FAQ, MLWorks (an ML
  396. programming environment), and Watson (an intelligence analysis tool).
  397.  
  398. Laser. For more information, write to Bell Atlantic Knowledge Systems,
  399. Inc., P.O. Box 3528, Princeton, NJ 08543-3528, or call 800-552-2257
  400. (609-275-8393).
  401.  
  402. Level5 and Level5/Macintosh runs on personal computers and the Apple
  403. Macintosh ($695). For more information, write to Information Builders,
  404. 1250 Broadway, New York, NY 10001, or call 800-444-4303
  405. (212-736-4433). See also MacUser 4(12):134, December, 1988, AI Expert
  406. 4(5):71, May, 1989, and MacUser 6(2):88, February, 1990.
  407.  
  408. M.4 runs on personal computers (DOS, Windows) and sells for $995
  409. (special pricing is currently in effect, selling for $495). A version
  410. for Sun workstations and the Apple Macintosh is under development. It
  411. features a modular Kernel Library for linking into C-language
  412. applications, backward and forward chaining, pattern matching,
  413. certainty factors, procedural control, and an object-oriented
  414. programming system. M.4 is embeddable, configurable, and extendable.
  415. For more information, write to Cimflex Teknowledge Corporation, 1810
  416. Embarcadero Road, Palo Alto, CA 94303, or call 800-285-0500
  417. (415-424-0500), fax 415-493-2645.
  418.  
  419. MacSMARTS, MacSMARTS - Professional, and HyperSMARTS run on the Apple
  420. Macintosh (all versions less than $500). For more information, write
  421. to Directory Cognition Technology, 55 Wheeler Street, Cambridge, MA
  422. 02138, or call 617-492-0246. See also MacUser 4(12):134, December,
  423. 1988.
  424.  
  425. MERCURY KBE. For more information, write to Artificial Intelligence
  426. Technologies, Inc., 40 Saw Mill River Road, Hawthorne, NY 10532, call 
  427. 800-333-1406 (914-347-6860), or fax 914-347-3182.
  428.  
  429. MUSE. For more information, write to Cambridge Consultants, Science
  430. Park, Milton Road, Cambridge CB4 4DW, England, or call
  431. 0223-420024 Cambridge.
  432.  
  433. NEXPERT OBJECT runs on over 30 platforms supported including personal
  434. computers ($5000), Macintosh ($5000), workstations ($12,000),
  435. minicomputers, and mainframes. Nexpert Object is written in C, and
  436. includes a graphical user interface, knowledge acquisition tools, and
  437. forms system. For more information, write to Neuron Data, 156
  438. University Avenue, Palo Alto, CA 94301, call 800-876-4900
  439. (415-321-4488), or fax 415-321-3728. Other office include New York,
  440. 212-832-8900; Philadelphia, 215-941-2981; Washington, DC,
  441. 703-821-8800; Los Angeles, 714-851-4621; Chicago, 708-955-3688;
  442. Houston, 713-739-9020; United Kingdom, 44-71-408-2333, fax
  443. 44-71-495-6274; France, 33-1-40-70-04-21, fax 33-1-47-23-71-43; and
  444. Japan, 81-3-3746-4371, fax 81-3-3746-4374.  See also IEEE Software
  445. 5(5):98, September, 1988, PC Tech Journal 6(11):112, November, 1988,
  446. MacUser 4(12):134, December, 1988, MacUser 4(9):136, September, 1989,
  447. Computer Language 6(12):123, December, 1989, PC Week 7(26):43, July 2,
  448. 1990, MacWeek 4(25):10, July 10, 1990, and IEEE Expert December, 1991,
  449. page 72.
  450.  
  451. Personal Consultant Plus. For more information, write to Texas Instruments
  452. PO Box 2909, MS/2240, Austin, TX 78769, or call 800-527-3500.
  453.  
  454. RAL (Rule-extended Algorithmic Language) is a C-based RETE (OPS83)
  455. implementation that allows one to seamlessly add rules and objects to
  456. C programs. It runs on Apollo, Sony News, AT&T 3B series, Aviion,
  457. DecStation, HP9000, RS/6000, Sun3, Sparc, Pyramid, Stratus, Unix
  458. System V 386 machines, VAX, microVAX (VMS) and DOS. Production Systems
  459. Technologies was founded by Charles Forgy, the original inventor of
  460. the RETE algorithm.  For further information, write to Production
  461. Systems Technologies, Inc., 5001 Baum Boulevard, Pittsburgh, PA 15213,
  462. call 412-683-4000 or fax 412-683-6347. [6/93]
  463.  
  464. RTworks is a family of independent software modules developed for
  465. intelligent real-time data acquisition and monitoring, data analysis,
  466. message/data distribution, and message/data display. RTworks offers a
  467. number of sophisticated problem-solving strategies including
  468. knowledge-based systems, a point-and-click graphical user interface,
  469. temporal and statistical reasoning, and the ability to distribute an
  470. application over a heterogeneous network.  Included with RTworks is a
  471. high-speed inference engine (RTie) which is used to analyze the data
  472. using objects, classes, procedures, and rules. The IE can perform
  473. trending, prediction and temporal reasoning of rapidly changing data.
  474. Displays can be built by non-programmers using a user-friendly DRAW
  475. program.  More than 60 different formats are provided for displaying
  476. input data including strip charts, bar charts, control charts, dials,
  477. pie charts, and high-low graphs.  Graphical objects can be tied to
  478. variables which dynamically control attributes such as color, scale,
  479. rotation, motion, animation, and more.  RTworks runs in a
  480. client-server architecture in which the RTserver process intelligently
  481. distributes the application's messages and data to only the client
  482. prcoesses which need them. User-defined client processes can connect
  483. to the RTserver and send and receive messages with other processes in
  484. the application. Possible applications include process control,
  485. network monitoring, financial trading, and command and control.
  486. RTworks is available on a variety of Unix and VMS platforms under a
  487. floating license in which you pay only for the number of simultaneous
  488. users, and the software is not node-locked to a particular machine.
  489. Current RTworks customers include Lockheed, NASA, Dow Chemical, PG&E
  490. (Pacific, Gas, and Electric), SWIFT, Mazda, and NTT. For further
  491. information, write to Talarian Corporation, 444 Castro Street, Suite
  492. 140, Moutain View, CA 94041, call 415-965-8050, fax 415-965-9077, or
  493. send E-mail to don@talarian.com or tom@talarian.com.
  494.  
  495. SMECI is an expert system shell based on Lisp. For more information,
  496. contact ILOG, Inc., 2073 Landings Drive, Mountain View, CA 94043, tel
  497. 415-390-9000, fax 415-390-0946, email info@ilog.com.  European
  498. customers should write to ILOG, 2, av. Gallieni, BP 85, 94253 Gentilly
  499. Cedex, France, tel +33 (1) 46-63-66-66, fax +33 (1) 46-63-15-82, email
  500. info@ilog.fr.
  501.  
  502. TestBench, Shell is available from the Carnegie Group, Pittsburgh,
  503. Pennsylvania.  The development environment runs on the SUN workstations
  504. and the production environment on a number of platforms including PCs and
  505. NeXT machines.
  506.  
  507. VP-EXPERT runs on the Apple Macintosh.  For more information, write to
  508. Paperback Software, 2830 Ninth Street, Berkeley, CA 94710, or call
  509. 415-644-2116. See also MacUser 4(12):134, December, 1988.
  510.  
  511. YAPS is a tool for building expert systems and other programs that use
  512. a rule-based knowledge representation in Lisp. The YAPS library
  513. provides a CLOS class and appropriate methods which the programmer may
  514. mix into his/her own classes or use directly.  Rules and facts about
  515. an instance are associated with the instance.  Instead of one large
  516. knowledgebase with many rules which are hard to debug and maintain,
  517. the programmer creates smaller knowledge-bases which are modular and
  518. more efficient.  The YAPS knowledge-bases can interact with and be
  519. controlled by the programmer's other modules, making hybrid systems
  520. straightforward.  Introduced by Liz Allen at AAAI-83, YAPS is now
  521. available on Apple Macintosh, Sun3 and Sun4 (SPARC), DEC VAX under VMS
  522. and Ultrix, and 88Open platforms. On workstations, a single license
  523. costs $3995 and on the Macintosh (under Macintoch Common Lisp), it is
  524. $445. YAPS runs in most commercial Common Lisps including Allegro CL,
  525. Harlequin Lispworks, Lucid CL, IBUKI CL, and Macintosh Common Lisp.
  526. YAPS is also available for the TI Explorer and Symbolic Lisp Machines,
  527. and a Flavors version is available for Sun3 in Franz Lisp.  Other
  528. ports are underway -- for price and availability contact College Park
  529. Software at 461 W. Loma Alta Dr., Altadena, CA 91001-3841, USA; or by
  530. email at info@cps.altadena.ca.us, or call 818-791-9153 (voice) or
  531. 818-791-1755 (FAX).
  532. ----------------------------------------------------------------
  533. ;;; *EOF*
  534.