From owner-cse663-fa06-list@LISTSERV.BUFFALO.EDU Wed Sep 20 20:18:33 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 k8L0IXQw003767 for ; Wed, 20 Sep 2006 20:18:33 -0400 (EDT) Received: from front2.acsu.buffalo.edu (coldfront.acsu.buffalo.edu [128.205.6.89]) by ares.cse.buffalo.edu (8.13.6/8.13.6) with SMTP id k8L0IV68039336 for ; Wed, 20 Sep 2006 20:18:31 -0400 (EDT) Received: (qmail 5708 invoked from network); 21 Sep 2006 00:18:31 -0000 Received: from mailscan1.acsu.buffalo.edu (128.205.6.133) by front2.acsu.buffalo.edu with SMTP; 21 Sep 2006 00:18:31 -0000 Received: (qmail 5650 invoked from network); 21 Sep 2006 00:18:31 -0000 Received: from deliverance.acsu.buffalo.edu (128.205.7.57) by front2.acsu.buffalo.edu with SMTP; 21 Sep 2006 00:18:31 -0000 Received: (qmail 27337 invoked from network); 21 Sep 2006 00:18:21 -0000 Received: from listserv.buffalo.edu (128.205.7.35) by deliverance.acsu.buffalo.edu with SMTP; 21 Sep 2006 00:18:21 -0000 Received: by LISTSERV.BUFFALO.EDU (LISTSERV-TCP/IP release 14.5) with spool id 615755 for CSE663-FA06-LIST@LISTSERV.BUFFALO.EDU; Wed, 20 Sep 2006 20:18:21 -0400 Delivered-To: cse663-fa06-list@listserv.buffalo.edu Received: (qmail 19788 invoked from network); 21 Sep 2006 00:18:21 -0000 Received: from mailscan7.acsu.buffalo.edu (128.205.6.158) by listserv.buffalo.edu with SMTP; 21 Sep 2006 00:18:21 -0000 Received: (qmail 15120 invoked from network); 21 Sep 2006 00:18:20 -0000 Received: from castor.cse.buffalo.edu (128.205.32.14) by smtp3.acsu.buffalo.edu with SMTP; 21 Sep 2006 00:18:20 -0000 Received: from castor.cse.Buffalo.EDU (localhost [127.0.0.1]) by castor.cse.Buffalo.EDU (8.13.6/8.12.10) with ESMTP id k8L0IJlv003752 for ; Wed, 20 Sep 2006 20:18:20 -0400 (EDT) Received: (from rapaport@localhost) by castor.cse.Buffalo.EDU (8.13.6/8.12.9/Submit) id k8L0IJaM003750 for cse663-fa06-list@listserv.buffalo.edu; Wed, 20 Sep 2006 20:18:19 -0400 (EDT) X-UB-Relay: (castor.cse.buffalo.edu) X-PM-EL-Spam-Prob: : 7% Message-ID: <200609210018.k8L0IJaM003750@castor.cse.Buffalo.EDU> Date: Wed, 20 Sep 2006 20:18:19 -0400 Reply-To: CSE 663 - Advanced Knowledge Representation - Fall 2006 Sender: CSE 663 - Advanced Knowledge Representation - Fall 2006 From: "William J. Rapaport" Subject: Re: HW1 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 1029; Body=0 Fuz1=0 Fuz2=0 X-Spam-Status: No, score=-1.8 required=5.0 tests=AWL,BAYES_00, RCVD_IN_BL_SPAMCOP_NET autolearn=no 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/1914/Wed Sep 20 15:24:45 2006 on ares.cse.buffalo.edu X-Virus-Status: Clean Status: R Content-Length: 763 | From axtell@cse.Buffalo.EDU Wed Sep 20 15:24:58 2006 | | Can you suggest any good resources that discuss how to do logical | interpretations? I didn't find the text all that helpful and I don't see | any resources that specific on the website. Well, pretty much any standard FOL textbook. Take a look at some of the material online at: http://www.cse.buffalo.edu/~rapaport/663/F06/fol.html in particular, item 6: Extracts from other AI textbooks | Also, when you said in class the other day that numerical relations and kinship | relations are a good place to start for #1, what exactly did you mean? You need to find an interpretation for P(x,y). Try numerical binary relations like >, <, etc., or kinship relations like Parent, Cousin, Sibling, etc.