Situation Calculus [1]} is a formal method based on First Order Logic and Set Theory in Mathematical Logic, with a strong ability of action-based reasoning. This formalism is considered as a dialect of logic programming language and mostly used in dynamic domain modeling. In situation calculus, the world is comprised of situations, actions and objects. The semantics of these three key components in situation calculus is given informally below.
