Situation Calculus - What is situation calculus planning in AI?

One planning approach is scenario calculus, which involves asking what would happen if a goal were to come true. In such a case, the agent may be required to complete a sequence of tasks. One formalism for representing and reasoning about dynamical domains is the situation calculus, which is a branch of logic. In 1963, it was first used by John McCarthy.