From @YaleVM.YCC.YALE.EDU:LOJBAN@CUVMB.BITNET Mon Sep 20 09:41:46 1993 Received: from ELI.CS.YALE.EDU by NEBULA.SYSTEMSZ.CS.YALE.EDU via SMTP; Mon, 20 Sep 1993 14:56:14 -0400 Received: from YALEVM.YCC.YALE.EDU by eli.CS.YALE.EDU via SMTP; Mon, 20 Sep 1993 14:56:10 -0400 Message-Id: <199309201856.AA21749@eli.CS.YALE.EDU> Received: from CUVMB.CC.COLUMBIA.EDU by YaleVM.YCC.Yale.Edu (IBM VM SMTP V2R2) with BSMTP id 9736; Mon, 20 Sep 93 14:54:21 EDT Received: from CUVMB.COLUMBIA.EDU by CUVMB.CC.COLUMBIA.EDU (Mailer R2.07) with BSMTP id 8824; Mon, 20 Sep 93 14:56:56 EDT Date: Mon, 20 Sep 1993 13:41:46 EDT Reply-To: "Robert J. Chassell" Sender: Lojban list From: "Robert J. Chassell" Subject: SNePS-2.1 (Rev. 1.400) released under the terms of the GNU GPL X-To: lojban@cuvmb.cc.columbia.edu To: Erik Rauch Status: RO X-Status: SNePS is a powerful package. It appears to fit right in with Lojban. In addition to creating Lojban based diagnostic systems and other such tools, someone might be able to use this to create an interactive Lojban tutor, or even a more interesting interlocuter. Does anyone know more about SNePS? Comments? Reviews? Proposals? Robert J. Chassell bob@gnu.ai.mit.edu Rattlesnake Mountain Road bob@grackle.stockbridge.ma.us Stockbridge, MA 01262-0693 USA (413) 298-4725 Date: Sat, 18 Sep 93 20:16:43 EDT From: hans@cs.buffalo.edu (Hans Chalupsky) Subject: SNePS-2.1 (Rev. 1.400) released under the terms of the GNU GPL 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. ------------------------------------+-----------------------------------------