Metodo de busqueda hacia atrs A C A B C

Para poder utilizar una bsqueda hacia atrs por medio de STRIPS necesitamos de regresiones desde la fbt objetivo. La regresin de mediante STRIPS (alfa) s la formula ms deficiente | . Si | se satisface para un estado preso o la aplicacin de distancia (alfa) entonces | se satisface una descripcin del estado previo y posterior a la ejecucin (alfa) de esta manera f y es ms dbil que P y P s ms dbil que la conjuncin de ambas. Todas las regresiones serian conjunciones de literales base. Objetivo

El problema consiste en alcanzar A sobre B y B sobre C, C sobre el suelo, para ello se retrocede desde la conjuncin o condicin objetivo sobre (C, Suelo) a sobre (B, C) A, Suelo (A, B) y retrocedemos utilizando mover (a, suelo, B), de esta manera se llega a una flot sub objetivo. El operador alcanzara uno de los conectores. En concreto Sobre (A, B) un sub objetivo. Tal como se muestra a ala figura otra manera de llegar al sub objetivo es utilizando menor (B, Suelo). La busqued hacia atrs trabajara hasta el sub objetivo que satisface en la descripcin del estado actual (Posicin A*) Nota: si la regresin se realiza sobre un conjunto de literales con un operador que tiene una literal en su lista borrar (no hay manera de satisfacer utilizando el operador que lo elimine es F > 9 y podemos cambiar que la bsqueda hacia atrs ya no se contina hasta F.