@proceedings {2537, title = {Physical problem solving: Joint planning with symbolic, geometric, and dynamic constraints}, year = {2017}, month = {07/2017}, abstract = {

In this paper, we present a new task that investigates how peo- ple interact with and make judgments about towers of blocks. In Experiment 1, participants in the lab solved a series of prob- lems in which they had to re-configure three blocks from an initial to a final configuration. We recorded whether they used one hand or two hands to do so.\  In Experiment 2, we asked participants online to judge whether they think the person in the lab used one or two hands.\ \  The results revealed a close correspondence between participants{\textquoteright} actions in the lab,\  and the mental simulations of participants online.\  To explain par- ticipants{\textquoteright} actions and mental simulations, we develop a model that plans over a symbolic representation of the situation, exe- cutes the plan using a geometric solver, and checks the plan{\textquoteright}s feasibility by taking into account the physical constraints of the scene. Our model explains participants{\textquoteright} actions and judgments to a high degree of quantitative accuracy.

}, keywords = {intuitive physics, logic-geometric programming, planning, problem solving, scene understanding}, author = {Ilker Yildirim and Tobias Gerstenberg and Basil Saeed and Marc Toussant and Joshua B. Tenenbaum} }