From - Fri Feb 6 10:21:52 2004 X-Mozilla-Status: 0001 X-Mozilla-Status2: 00000000 Path: acsu.buffalo.edu!not-for-mail From: "William J. Rapaport" Newsgroups: sunyab.cse.740 Subject: Re: (deduce ...) functionality Date: Fri, 06 Feb 2004 10:21:20 -0500 Organization: SUNY Buffalo Computer Science & Engineering Lines: 65 Sender: rapaport@buffalo.edu Message-ID: <4023B0F0.5030502@cse.buffalo.edu> References: NNTP-Posting-Host: wasat.cse.buffalo.edu Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii; format=flowed Content-Transfer-Encoding: 7bit X-Trace: prometheus.acsu.buffalo.edu 1076080887 1783 128.205.32.15 (6 Feb 2004 15:21:27 GMT) X-Complaints-To: abuse@buffalo.edu NNTP-Posting-Date: Fri, 6 Feb 2004 15:21:27 +0000 (UTC) To: Dmitriy Dligach User-Agent: Mozilla/5.0 (X11; U; SunOS sun4u; en-US; rv:1.0.1) Gecko/20020920 Netscape/7.0 X-Accept-Language: en-us, en Xref: acsu.buffalo.edu sunyab.cse.740:68 Dmitriy Dligach wrote: > (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? ANSWER: Because you should have said: * (deduce object Barbara property rich) :-) > > I noticed that if I run a query to find everybody who is rich, SNePS finds > Barbara: > > * (find (member- property) rich) > > (Barbara) > > -- ------------------------------------------------------------------------ William J. Rapaport Associate Professor of Computer Science/Adjunct Professor of Philosophy Member, Center for Cognitive Science Associate Director, SNePS Research Group (SNeRG) 201 Bell Hall (office: 214 Bell) | 716-645-3180 x 112 Dept. of Computer Science & Engineering | fax: 716-645-3464 University at Buffalo (SUNY) | rapaport@cse.buffalo.edu Buffalo, NY 14260-2000 | ------------------------------------------------------------------------ CSE: www.cse.buffalo.edu/ homepage: www.cse.buffalo.edu/~rapaport/ SNeRG: www.cse.buffalo.edu/sneps/ Buffalo Restaurant Guide: www.cse.buffalo.edu/restaurant.guide/ Cognitive Science: wings.buffalo.edu/cogsci/ Good Things about Buffalo: www.cse.buffalo.edu/~rapaport/buffalo.html