From Imaging and Stochastic Control to a Calculus of Actions
This paper highlights relationships among stochastic control theory, Lewis’ notion of "imaging", and the representation of actions in AI systems. We show that the language of causal graphs offers a practical solution to the frame problem and its two satellites: the ramification and concurrency problems. Finally, we present a symbolic machinery that admits both probabilistic and causal information and produces probabilistic statements about the effect of actions and the impact of observations.