An autonomous decision-making infrastructure using probabilistic programing to do goal-inference on autonomous agents