Commonsense reasoning about containers using radically incomplete information

در استدلال فیزیکی، انسان ها اغلب قادر به انجام استدلال مفید بر اساس اطلاعات به طور کلی ناقص هستند. یک فضای فیزیکی که هر دو در تعاملات روزمره و در بسیاری از انواع برنامه های علمی، که در آن استدلال از اطلاعات ناقص بسیار رایج است، تعامل ظروف و محتوای آنها است. ما یک پایگاه دانش اولیه برای استدلال کیفی در مورد ظروف، بیان شده در زبان درجه اول مرتب شده، هندسه، اشیاء، تاریخ و اقدامات، توسعه یافته است. ما نشان داده ایم که این دانش به اندازه کافی برای توجیه تعدادی از نتیجه گیری های فیزیکی بدنی، بر اساس دانش بسیار ناقص است.