Matemáticamente, una instancia de STRIPS es una tupla formula_1, donde: