ABSTRACT:
The goal of this presentation is to discuss a potential project
proposal within RU2 of SCIoI, in particular, to initiate a discussion
with researchers from the analytic side. I will first briefly
introduce our recent work on physical reasoning and manipulation
planning. This work required us to develop elaborate solvers which
influenced my view on the notion of decisions. For instance, “early”
decisions in the reasoning process concern higher abstractions and
future constraints — but mainly because the solver has limited
capacity and relies on decomposition. In that view, decisions are a
means of decomposition. Other interesting aspects concern the
perseverance and switching of (higher) decisions during reasoning and
execution. I am curious to discuss relations to models of decision
making in the analytical sciences and potential future projects.