From - Fri Feb 6 10:20:16 2004 X-Mozilla-Status: 0001 X-Mozilla-Status2: 00000000 Path: acsu.buffalo.edu!pollux.cse.buffalo.edu!ddligach From: Dmitriy Dligach Newsgroups: sunyab.cse.740 Subject: (deduce ...) functionality Date: Thu, 5 Feb 2004 19:08:33 -0500 Organization: The University at Buffalo Lines: 31 Sender: ddligach@buffalo.edu Message-ID: NNTP-Posting-Host: pollux.cse.buffalo.edu Mime-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII X-Trace: prometheus.acsu.buffalo.edu 1076026127 20212 128.205.35.2 (6 Feb 2004 00:08:47 GMT) X-Complaints-To: abuse@buffalo.edu NNTP-Posting-Date: Fri, 6 Feb 2004 00:08:47 +0000 (UTC) To: "William J. Rapaport" Xref: acsu.buffalo.edu sunyab.cse.740:67 (this question is based on exercise 7.3) I'm entering the following info into SNePS: 1. Barbara is a lawyer 2. All laywers are rich (describe (assert member Barbara class lawyer)) (describe (assert forall $l ant (build member *l class lawyer) cq (build object *l property rich))) now, I want to know whether Barbara is rich: * (deduce member Barbara property rich) I wonder if ((m3 (member (Barbara)) (property (rich)))) holds within the BS defined by context default-defaultct QUESTION: Why isn't SNePS giving a definite answer to this question? Shouldn't "deduce" tell us that Barbara is rich? I noticed that if I run a query to find everybody who is rich, SNePS finds Barbara: * (find (member- property) rich) (Barbara)