@proceedings {2537,
	title = {Physical problem solving: Joint planning with symbolic, geometric, and dynamic constraints},
	year = {2017},
	month = {07/2017},
	abstract = {<p>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.\&nbsp; In Experiment 2, we asked participants online to judge whether they think the person in the lab used one or two hands.\&nbsp;\&nbsp; The results revealed a close correspondence between participants{\textquoteright} actions in the lab,\&nbsp; and the mental simulations of participants online.\&nbsp; 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.</p>
},
	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}
}
