Las acciones se describen en tanto que sus consecuencias y precondiciones de la acción y la consecuencia: Para indicar que el predicado formula_27 es verdadero si formula_28 es la situación resultante de aplicar la acción formula_29 en la situación formula_30, si en dicha situación era verdadera la precondición formula_31, utilizamos una expresión tal como: