Para ello deberán utilizarse axiomas "frame", que representan las cosas que no cambian por negación de que ocurran las acciones que sí pueden cambiarlas.