A logic form for describing actions, world states, and their results.
SitCalc sounds like math class, but relax. It is like a board game rule sheet. Move the robot, knock over the popcorn, and it tells you what changed.
It describes the world before and after an action. You see it in planning and robots. It also helps run pretend tasks first.
KR
Situation Calculus is a classic KR method for actions and world changes.
Frame Problem
It helps ask what changes after an action and what stays the same.
Agent
An Agent can use it to plan action needs and results.
Logic
Both use rules and clear reasoning.