home *** CD-ROM | disk | FTP | other *** search
/ InfoMagic Source Code 1993 July / THE_SOURCE_CODE_CD_ROM.iso / bsd_srcs / usr.bin / lisp / lispnews / text0348.txt < prev    next >
Encoding:
Text File  |  1985-11-10  |  5.6 KB  |  154 lines
  1.  
  2.  
  3. Here is my list of Franz Lisp applications. Enough people
  4. requested copies that I am sending it to all franz-friends.
  5. If anyone sees any notable omissions, please send me a
  6. message and I will augment the list.
  7.  
  8.     Roger Schlafly
  9.     ucbvax!franz!schlafly
  10.  
  11. ============================================================
  12.  
  13.  
  14.  
  15.         AI and Expert System Tools and Applications
  16.            Developed or Running under Franz Lisp
  17.  
  18.  
  19.  
  20. + OPS-5
  21. A rule based  environment  for  developing  expert  systems.
  22. Available  from  Franz Inc. with Franz LISP at no charge, or
  23. at no charge from Carnegie Mellon University.
  24.  
  25. Computer Science  Department,  Carnegie  Mellon  University,
  26. Schenley Park, Pittsburgh PA 15213.  (412) 578-2592
  27.  
  28. + Flavors
  29. An object oriented extension of Lisp, developed at  MIT  and
  30. the  University  of  Maryland.   Used  on the Symbolics Lisp
  31. machines.  Available from Franz Inc. at no  charge  to  pur-
  32. chasers of Franz Lisp.
  33.  
  34. + DUCK
  35. DUCK is an expert systems development environment.
  36.  
  37. Available  from  Smart  Systems  Technology,  6870  Elm  St.
  38. McLean, VA.  22101 (703) 448-8562.
  39.  
  40. + Boyer-Moore Theorem Prover
  41. Available from Prof. Robert Boyer, University of Texas, Aus-
  42. tin.    Computer  Science  Department,  3-28  Painter  Hall,
  43. University of Texas, Austin, Texas 78712.  (512) 471-7316
  44.  
  45. + GLISP
  46. GLISP is a high-level language which is based on Lisp and is
  47. compiled  into  Lisp.  It was developed at the University of
  48. Texas at Austin by Prof. Gordon Novak.  Object-centered pro-
  49. gramming  is  supported.   Message  interpretations  can  be
  50. looked up at compile time  to  produce  efficient  code.   A
  51. window-based  editor,  GEV, is available to inspect and edit
  52. data according to its data structure description.  GLISP  is
  53. available  from  Franz  Inc.  at  no charge to purchasers of
  54. Franz Lisp, or from the University of Texas at Austin, Prof.
  55. Gordon  Novak,  Computer  Science  Department,  3-28 Painter
  56. Hall, University of Texas, Austin, Texas 78712.  (512)  471-
  57. 7316
  58.  
  59. + FRL
  60. A frame representation language for AI development.
  61.  
  62. Available from Steven Rosenberg, Hewlett Packard  (415)  857
  63. 5902
  64.  
  65. + MRS
  66. A logic based knowledge  representation  system.   Available
  67. from Stanford University.
  68.  
  69. Attention: Pattie McCabe SUMEX Computing Facility,  Stanford
  70. University  Medical Center, Room TB105, Stanford, California
  71. 94305, (415) 497-5141
  72.  
  73. + Macsyma
  74. Developed at MIT, Macsyma is a program that carries out sym-
  75. bolic  computation.   It  will solve all those integrals you
  76. learned about in your calculus class, as well as systems  of
  77. differential equations and other mathematical problems.
  78.  
  79. + Reduce
  80. Reduce is similar to  Macsyma.   It  was  developed  at  the
  81. University  of Utah.  Computer Science Department, 3160 Mer-
  82. rill Engineering Bldg.  Salt Lake City, Utah  84112.   (801)
  83. 484-7651 Ext 205
  84.  
  85. +  XCON
  86. Digital Equipment's famous expert system, written in  OPS-5,
  87. originally  ran  on top of Franz Lisp.  XCON configures com-
  88. puters before shipment.
  89.  
  90. + ACE
  91. Automatic Cable Expertise : A knowledge based expert  system
  92. that  provides  trouble-shooting  and diagnostic reports for
  93. telephone company managers.   Developed by Stolfo,  Vesonder
  94. and  others  at  AT&T  Bell Labs. For details see "The Fifth
  95. Generation Challenge" Proceedings ACM '84 Annual Conference.
  96.  
  97. + Slang
  98. A circuit design and analysis tool.  It  has  been  used  to
  99. design  several  integrated  circuits  at  U.C. Berkeley.  A
  100. detailed description is in the masters thesis of Korbin  Van
  101. Dyke at U.C. Berkeley.
  102.  
  103. Available from: Industrial Liason Program, EECS  Department,
  104. University of California, Berkeley CA 94720   (415) 642-0253
  105.  
  106. + Lyra
  107. A VLSI design rule checker.  A description is in the masters
  108. thesis of Michael Arnold  at U.C. Berkeley.
  109.  
  110. + Pearl
  111. A database and AI representation language written  in  Franz
  112. Lisp.   Available from Franz Inc. at no charge to purchasers
  113. of Franz Lisp.
  114.  
  115. + YAPS
  116. Yet Another Production System.  Developed by  Liz  Allen  at
  117. the  University  of  Maryland.   A forward driven production
  118. rule system similar to OPS-5, but  with  added  flexibility.
  119. YAPS  supports  objects in facts, and defines an object that
  120. is a complete production system, so you can have  more  than
  121. one expert around at a time.  See "YAPS: A Production System
  122. Meets Object" by Liz Allen in AAAI-83 for more  information.
  123. YAPS  is  available  at  nominal cost from the Universtiy of
  124. Maryland.  The license fee is $100 for  BSD  4.1,  $250  for
  125. 4.2.   It's  also  Arpanet FTP'able for $100 for either ver-
  126. sion.  Contact Bob Bane on Arpanet at  bane@maryland  or  on
  127. Usenet  at  ...seismo!umcp-cs!bane  or  contact Liz Allen at
  128. liz@tove.arpa or seismo!umcp-cs!liz .
  129.  
  130. + GENIE
  131. GENeric Inference  Engine.   An  expert  system  development
  132. tool.   Written by John Dumer, Tim Hanratty, Paul Tanenbaum,
  133. and Fred S. Brundick.  For more information contact: Fred S.
  134. Brundick,
  135.  
  136. + The Berkeley UNIX Consultant
  137. An expert System incorporating a natural language  interface
  138. which  answers  questions  about UNIX.  Under development at
  139. U.C. Berkeley.  USABRL, APG, MD.  <fsbrn@brl-voc>
  140.  
  141. + ROSS and SWIRL
  142. ROSS is an object-oriented language developed  for  building
  143. knowledge  based simulations.  SWIRL is a program written in
  144. ROSS that embeds knowledge about defensive and offensive air
  145. battle  strategies.  Developed by Narain, McArthur and Klahr
  146. at The Rand Corporation, 1700 Main Street, Santa  Monica  CA
  147. 90406.    These  systems  were  implemented  in various LISP
  148. environments including Franz  LISP.   A  comparison  of  hte
  149. various  environments in terms of CPU usage, real-time usage
  150. and user aids can be found in an article by the above in the
  151. proceedings  of  the  1983 International Joint Conference on
  152. Artificial Intelligence, Karlsruhe, W. Germany.
  153.  
  154.