Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP Path: utzoo!decvax!ucbvax!MC.LCS.MIT.EDU!SASW%MX.LCS.MIT.EDU From: SASW%MX.LCS.MIT.EDU@MC.LCS.MIT.EDU.UUCP Newsgroups: mod.ai Subject: Seminar - Commonsense Reasoning about Solid Objects (MIT) Message-ID: <961967.861213.SASW@MX.LCS.MIT.EDU> Date: Sat, 13-Dec-86 23:08:36 EST Article-I.D.: MX.961967.861213.SASW Posted: Sat Dec 13 23:08:36 1986 Date-Received: Wed, 17-Dec-86 04:03:19 EST Sender: daemon@ucbvax.BERKELEY.EDU Organization: The ARPA Internet Lines: 15 Approved: ailist@sri-stripe.arpa Date: 1 Dec 1986 13:57 EST (Mon) From: Daniel S. WeldERNEST DAVIS A Logical Framework for Commonsense Reasoning about Solid Objects When a small die is dropped inside a large funnel, it comes out the bottom. How do you know that? I will discuss why this problem is harder than it looks; what kinds of knowledge could be used to solve it; and how this knowledge can be expressed formally. Friday, December 5; 1:00pm; 8th Floor Playroom