From - Wed Feb 4 14:16:02 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 ...) Date: Wed, 04 Feb 2004 11:52:29 -0500 Organization: SUNY Buffalo Computer Science & Engineering Lines: 47 Sender: rapaport@buffalo.edu Message-ID: <4021234D.8040709@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 1075913563 19069 128.205.32.15 (4 Feb 2004 16:52:43 GMT) X-Complaints-To: abuse@buffalo.edu NNTP-Posting-Date: Wed, 4 Feb 2004 16:52:43 +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:61 Dmitriy Dligach wrote: > Dr. Rapaport > > Could you explain why we need the "build" command in > > (describe (deduce agent John act believe > object (build object Clyde ability fly))) > > (see http://www.cse.buffalo.edu/sneps/Tutorial/node43.html). > > Aren't we just asking a question (and not telling Cassie to create a new > node)? Yes, but you need *something* there: It's illegal to write: (deduce agent John act believe object (object Clyde ability fly)) because SNePSUL syntax requires a command to precede the list of relations and nodes. In order to give SNePS the proposition that you want it to deduce, you need to build it. In fact, "deduce" first builds the node and *then* tries to infer it. If it succeeds, it *asserts* that node; if it fails, the node remains in memory (as something that it once wondered about). -- ------------------------------------------------------------------------ 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