Probabilistic Programming for Theory of Mind for Autonomous Decision Making