From honeydew.srv.cs.cmu.edu!das-news.harvard.edu!noc.near.net!howland.reston.ans.net!sol.ctr.columbia.edu!news.kei.com!ub!acsu.buffalo.edu!nntp1.acsu.buffalo.edu!hans Tue Sep 21 13:36:51 EDT 1993 Article: 11059 of comp.lang.lisp Xref: honeydew.srv.cs.cmu.edu comp.ai:18869 comp.ai.edu:1322 comp.lang.lisp:11059 Newsgroups: comp.ai,comp.ai.edu,comp.lang.lisp Path: honeydew.srv.cs.cmu.edu!das-news.harvard.edu!noc.near.net!howland.reston.ans.net!sol.ctr.columbia.edu!news.kei.com!ub!acsu.buffalo.edu!nntp1.acsu.buffalo.edu!hans From: hans@hydra.cs.buffalo.edu (& Chalupsky) Subject: SNePS-2.1 (Rev. 1.400) released under the terms of the GNU GPL Message-ID: Originator: hans@hydra.cs.buffalo.edu Sender: nntp@acsu.buffalo.edu Nntp-Posting-Host: hydra.cs.buffalo.edu Organization: UB Date: Sun, 19 Sep 1993 00:13:13 GMT Lines: 196 The new release of SNePS-2.1 (Rev. 1.400) is now publicly available under the terms of the GNU General Public License (previously it was only available for a small licensing fee). You can retrieve it via anonymous FTP from `ftp.cs.buffalo.edu' (128.205.32.9) in file `/pub/sneps/rel-1-400.tar.Z' (detailed instructions below). ------------- from the README file -------------- WHAT IS SNePS ? =============== SNePS is the Semantic Network Processing System. Its first version was designed by Stuart C. Shapiro in the early seventies, and it has been developed since by Shapiro et al. (see the `bibliography.ps' file in the distribution for a list of SNePS related publications). SNePS is the implementation of a fully intensional theory of propositional knowledge representation and reasoning. Here is a short summary of the major features and components of the current version of SNePS (aka SNePS-2.1): + A module for creating and accessing propositional semantic networks + Path-based inference + Node-based inference based on SWM (a relevance logic with quantification) that uses natural deduction and can deal with recursive rules + forward, backward and bi-directional inference + Nonstandard logical connectives and quantifiers + An assumption based TMS for belief revision + A morphological analyzer and a generalized ATN (GATN) parser for parsing and generating natural language + SNePSLOG, a predicate-logic-style interface to SNePS + XGinseng, an X-based graphics interface for displaying, creating and editing SNePS networks + SNACTor, a preliminary version of the SNePS Acting component + SNIP 2.2, a new implementation of the SNePS Inference Package that uses rule shadowing and knowledge migration to speed up inference. SNIP 2.2 is one of the results of Joongmin Choi's dissertation [1]. As of now it is not fully merged with the main SNePS release, but it should be merged soon to become the primary inference engine for SNePS. Another upcoming development is the implementation of SNeRE (the SNePS Rational Engine) which is one of the main results of Deepak Kumar's dissertation about the integration of inference and acting [2]. It will replace the current implementation of SNACTor. LICENSING INFORMATION: ====================== Since June 1993 SNePS is free software; you may redistribute it and/or modify it under the terms of the GNU General Public License as published by the Free Software Foundation; either version 2, or (at your option) any later version. MAILING LIST: ============= If you use SNePS please send a short message to `shapiro@cs.buffalo.edu' and `snwiz@cs.buffalo.edu' indicating that. Please also let us know whether you want to be put on the SNUG (SNePS Users Group) mailing list. Notices about new releases and other SNePS related information will be communicated on that list. SYSTEM REQUIREMENTS: ==================== COMMON-LISP: SNePS without the optional graphics stuff is written entirely in Common-Lisp (as defined in Guy Steele's CLtL-I), hence, every proper implementation of CLtL-I should be sufficient to run SNePS - in theory. In practice, SNePS runs successfully in the following Common-Lisp implementations (these Lisps are actually available to me for testing of the current SNePS release): + Allegro CL 4.1 (on Sun SPARCs, SunOS 4.1.3) + Sun/Lucid CL 4.0 (on Sun SPARCs, SunOS 4.1.3) + TI Common-Lisp (on TI-Explorers I/II, Rel.6.1) + CLISP May-93 (on Sun SPARCs, SunOS 4.1.3) + CMU Common-Lisp 17b (on Sun SPARCs, SunOS 4.1.3) Previous versions of SNePS ran successfully (or were reported to run) in the following Common-Lisp implementations, hence, there is a significant chance that the current version will run too (or will require only minor modifications to make it run): + Symbolics CL (on a 3620, Genera 7.2 or 8.0) + AKCL 1.600 and higher + VAX Common-Lisp + Allegro CL running on a Macintosh Look at part 4 of the Lisp FAQ available via anonymous ftp from `pit-manager.mit.edu' in directory `/pub/usenet/news.answers/lisp-faq' to find out from where you can obtain free Common-Lisp implementations such as CLISP, CMU Common-Lisp or AKCL. OPERATING SYSTEM: Apart from the Lisp machines, all hardware platforms available to me run some flavor of Unix, but there is no requirement to that extent - again, in theory. SNePS uses an implementation of logical pathnames (see below) that hides the underlying operating system pretty well (so far it only supports Unix, VMS, Symbolics and Explorers, but extensions for DOS (attractive with the advent of CLISP) or even Macs shouldn't be too hard to write). The only requirement is the availability of a hierarchical file system (lenience with regard to filename length will also help). DISK SPACE: You will need about 10 Megabytes of disk space to install SNePS. Once you have completed the installation you might be able to trim this to about 5 Meg by compressing/deleting Lisp source files and/or documentation. Here's a rough breakdown on what takes up how much space: + Complete distribution: 5.8 Meg + Documentation: 2.2 Meg (included in the distribution) + Compiled files: 3.5 Meg (for Allegro-CL 4.1) GRAPHICS: An optional X-based graphics interface called XGinseng is now available. XGinseng was written by Martin Zaidel and extended by John Lewocz. It is built on top of the Garnet Toolkit developed at CMU. Garnet is now in the public domain and can be retrieved via anonymous ftp. For instructions on how to get Garnet read the file `GARNET' in the `Doc' directory. The current version of XGinseng is only tested with Garnet 2.1. It should also work with the new Garnet 2.2 - in theory. GETTING SNePS - FTP INSTRUCTIONS: ================================= To retrieve SNePS via anonymous FTP connect to `ftp.cs.buffalo.edu' (128.205.32.9), login as user `anonymous' and supply your e-mail address as a password. Then cd to the directory `/pub/sneps', change the transmission mode to binary and retrieve the file `rel-x-yyy.tar.Z' (fill in the correct `x-yyy' according to the directory listing). The `README' file and the bibliography and manual files are all part of the distribution, they are just there separately so you can get a hold of them without unpacking the complete distribution. See the following script for more details (done on a UNIX host): > ftp ftp.cs.buffalo.edu Connected to talos.cs.buffalo.edu. 220 talos.cs.Buffalo.EDU FTP server (SunOS 4.1) ready. Name (ftp.cs.buffalo.edu:snwiz): anonymous 331 Guest login ok, send ident as password. Password:snwiz@cs.buffalo.edu 230 Guest login ok, access restrictions apply. ftp> cd /pub/sneps 250 CWD command successful. ftp> dir 200 PORT command successful. 150 ASCII data connection for /bin/ls (128.205.32.11,1543) (0 bytes). total 3726 -rw-r--r-- 1 612 3012 17982 Sep 16 23:19 COPYING -rw-r--r-- 1 612 3012 8714 Sep 16 23:19 GARNET -rw-r--r-- 1 612 3012 777 Sep 16 23:47 INFO -rw-r--r-- 1 612 3012 16791 Sep 16 23:19 README -rw-r--r-- 1 612 3012 21771 Sep 16 23:40 bibliography.bib.Z -rw-r--r-- 1 612 3012 48360 Sep 16 23:40 bibliography.ps.Z drwxr-xr-x 2 0 11 512 Jun 18 1991 bin drwxr-xr-x 2 0 11 512 Jun 18 1991 etc -rw-r--r-- 1 612 3012 908 Sep 16 23:52 genbib.tex.Z -rw-r--r-- 1 612 3012 237381 Sep 16 23:39 manual.ps.Z -rw-r----- 1 612 310 1732906 Jan 19 1993 rel-1-308.tar.Z -rw-r--r-- 1 612 3012 1693670 Sep 17 00:25 rel-1-400.tar.Z 226 ASCII Transfer complete. 801 bytes received in 0.082 seconds (9.5 Kbytes/s) ftp> get README 200 PORT command successful. 150 ASCII data connection for README (128.205.32.11,1544) (16791 bytes). 226 ASCII Transfer complete. local: README remote: README 17134 bytes received in 0.081 seconds (2.1e+02 Kbytes/s) ftp> binary 200 Type set to I. ftp> get rel-1-400.tar.Z 200 PORT command successful. 150 Binary data connection for rel-1-400.tar.Z (128.205.32.11,1545) (1693670 bytes). 226 Binary Transfer complete. local: rel-1-400.tar.Z remote: rel-1-400.tar.Z 1693670 bytes received in 3.5 seconds (4.7e+02 Kbytes/s) ftp> bye 221 Goodbye. > Sorry, you can only retrieve SNePS via FTP, we do not have the manpower to make tapes. References: =========== [1] Joongmin Choi: "Experience-Based Learning in Deductive Reasoning Systems", Ph.D. Thesis, Technical Report #93-20, Department of Computer Science, State University of New York at Buffalo, 1993 [2] Deepak Kumar: ""From Beliefs and Goals to Intentions and Actions -- An Amalgamated Model of Acting and Inference", Ph.D. Thesis, Department of Computer Science, State University of New York at Buffalo, 1993 ------------------------------------+----------------------------------------- Hans Chalupsky | I would love to be out water skiing, | but I just can't find any downhill hans@cs.buffalo.edu | lakes. ------------------------------------+-----------------------------------------