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. Weld 

ERNEST 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