From owner-cse663-fa06-list@LISTSERV.BUFFALO.EDU Mon Oct 30 22:25:32 2006 Received: from ares.cse.buffalo.edu (ares.cse.Buffalo.EDU [128.205.32.79]) by castor.cse.Buffalo.EDU (8.13.6/8.12.10) with ESMTP id k9V3PV0V017080 for ; Mon, 30 Oct 2006 22:25:31 -0500 (EST) Received: from front2.acsu.buffalo.edu (warmfront.acsu.buffalo.edu [128.205.6.88]) by ares.cse.buffalo.edu (8.13.6/8.13.6) with SMTP id k9V3PQ82045376 for ; Mon, 30 Oct 2006 22:25:26 -0500 (EST) Received: (qmail 9086 invoked from network); 31 Oct 2006 03:25:26 -0000 Received: from mailscan1.acsu.buffalo.edu (128.205.6.133) by front2.acsu.buffalo.edu with SMTP; 31 Oct 2006 03:25:26 -0000 Received: (qmail 9050 invoked from network); 31 Oct 2006 03:25:26 -0000 Received: from deliverance.acsu.buffalo.edu (128.205.7.57) by front2.acsu.buffalo.edu with SMTP; 31 Oct 2006 03:25:26 -0000 Received: (qmail 18815 invoked from network); 31 Oct 2006 03:25:14 -0000 Received: from listserv.buffalo.edu (128.205.7.35) by deliverance.acsu.buffalo.edu with SMTP; 31 Oct 2006 03:25:14 -0000 Received: by LISTSERV.BUFFALO.EDU (LISTSERV-TCP/IP release 14.5) with spool id 1536362 for CSE663-FA06-LIST@LISTSERV.BUFFALO.EDU; Mon, 30 Oct 2006 22:25:14 -0500 Delivered-To: cse663-fa06-list@listserv.buffalo.edu Received: (qmail 24899 invoked from network); 31 Oct 2006 03:25:14 -0000 Received: from mailscan1.acsu.buffalo.edu (128.205.6.133) by listserv.buffalo.edu with SMTP; 31 Oct 2006 03:25:14 -0000 Received: (qmail 576 invoked from network); 31 Oct 2006 03:25:13 -0000 Received: from castor.cse.buffalo.edu (128.205.32.14) by smtp4.acsu.buffalo.edu with SMTP; 31 Oct 2006 03:25:13 -0000 Received: from castor.cse.Buffalo.EDU (rapaport@localhost [127.0.0.1]) by castor.cse.Buffalo.EDU (8.13.6/8.12.10) with ESMTP id k9V3PD9c017065 for ; Mon, 30 Oct 2006 22:25:13 -0500 (EST) Received: (from rapaport@localhost) by castor.cse.Buffalo.EDU (8.13.6/8.12.9/Submit) id k9V3PDBo017064 for cse663-fa06-list@listserv.buffalo.edu; Mon, 30 Oct 2006 22:25:13 -0500 (EST) X-UB-Relay: (castor.cse.buffalo.edu) X-PM-EL-Spam-Prob: : 7% Message-ID: <200610310325.k9V3PDBo017064@castor.cse.Buffalo.EDU> Date: Mon, 30 Oct 2006 22:25:13 -0500 Reply-To: CSE 663 - Advanced Knowledge Representation - Fall 2006 Sender: CSE 663 - Advanced Knowledge Representation - Fall 2006 From: "William J. Rapaport" Subject: SNePS and DL To: CSE663-FA06-LIST@LISTSERV.BUFFALO.EDU Precedence: list List-Help: , List-Unsubscribe: List-Subscribe: List-Owner: X-UB-Relay: (castor.cse.buffalo.edu) X-DCC-Buffalo.EDU-Metrics: castor.cse.Buffalo.EDU 1336; Body=0 Fuz1=0 Fuz2=0 X-Spam-Status: No, score=-2.6 required=5.0 tests=AWL,BAYES_00 autolearn=unavailable version=3.1.3 X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on ares.cse.buffalo.edu X-Virus-Scanned: ClamAV 0.88.3/2132/Mon Oct 30 14:42:34 2006 on ares.cse.buffalo.edu X-Virus-Status: Clean Status: R Content-Length: 2269 | From: "Scott Settembre" | To: | Subject: Sneps and DL | Date: Mon, 30 Oct 2006 16:24:46 -0500 | ... | Concerning today's class I had 2 other questions that I was going to save | for next class, but may be better for our class listserv. | | 1. Has SNePS 2 been defined in a description logic form somewhere? Not SNePS 2.6.2, but SNePS 3; I was going to mention this at the end of my lectures on DL. For more information, take a look at: http://www.cse.buffalo.edu/sneps/Projects/sneps3.html | 2. I believe you stated early on that some people, including even | perhaps Dr. Shapiro, now think of SNePS as FOL, but I think you said that | you do not completely feel that it is FOL (or something to that effect, | which I thought maybe would have something to do with DL). I would like to | know what your misgivings were to calling SNePS FOL and if you know, why | does Dr. Shapiro now favor the FOL argument? My guess is that though SNePS | may be able to be reduced to pure FOL, the additional structure of defining | the knowledge and rules causes it to maybe not be more powerful, but at | least something more usable and easier to describe knowledge with, thereby | giving it worth over and above FOL. However, I suspect you may have other | reasons, could you elaborate? Well, not quite. Shapiro actually doesn't like to think of SNePS as a semantic network anymore, preferring to think of it as a logic. For the clearest current statement of different ways to think of SNePS, go to: http://en.wikipedia.org/wiki/SNePS and look especially at the second paragraph. The logic underlying SNePS 2 is definitely not merely FOL. It has no existential quantifier, it has non-standard connectives, and its reasoning facility is not full FOL. Take a look at: Shapiro, Stuart C. (2000), "SNePS: A Logic for Natural Language Understanding and Commonsense Reasoning", in Lucja M. Iwanska, & Stuart C. Shapiro (eds.), Natural Language Processing and Knowledge Representation: Language for Knowledge and Knowledge for Language (Menlo Park, CA/Cambridge, MA: AAAI Press/MIT Press): 175-195. http://www.cse.buffalo.edu/~shapiro/Papers/snepslogic.pdf for the best description of the logic underlying SNePS 2.