Situation Calculus

Situation Calculus is a formal system used in artificial intelligence and knowledge representation to describe how the world changes over time due to actions. It provides a way to represent different situations or states of the world, the actions that can be performed, and the effects of those actions. By using logical statements, it helps to reason about what is true in various situations, making it easier to understand and predict the consequences of actions, similar to planning a sequence of steps to achieve a goal.