https://slideey.com/cs-475-uncertainty-and-multi-agent-systems-prof-bart-selman/