Situational Calculus Logic Formalism designed for representing dynamic domains  First Order/Second Order logic formulae  Actions performed in the world  Fluent describe the world state Can be thought of as properties of the world  Situations Finite sequence of actions Changes to the environment result in Actions.
{}