SMS: Probabilistic reasoning in multiagent systems