SASW%MX.LCS.MIT.EDU@MC.LCS.MIT.EDU.UUCP (12/14/86)
Date: 1 Dec 1986 13:57 EST (Mon) From: Daniel S. Weld <WELD%OZ.AI.MIT.EDU at XX.LCS.MIT.EDU> 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