Representing and reasoning about actions supports ? predicting the evolution of the world ? planning (e.g., robots) ? user modeling ? communication (e.g., speech acts) ? diagnosis and repair ? … There are several formalisms for reasoning about action. ? Some logic-based e.g., situation calculus, event calculus, A languages,... ? Some tailored to specific planning procedures e.g., STRIPS,...