Part II Reasoning and Planning
with Certainty (How can an agent represent its knowledge, reason, and plan, under the assumption that it knows both what is true in the world and the effects of its actions?)