Este

lema planteado) hasta alcanzar el objetivo. El espacio de estados representaría todas las transformaciones posibles implícitas en la descripción de los operadores del sistema. Los operadores poseenuna estructura propia que los caracteriza:
Parte izquierda (PI o LHS):
Descripción del dominio del operador.
Parte derecha (ID o RHS):
Representa el rango del operador.
Parte avanzar (PA):
Parapoder sustituir por PD es necesario asignar algunos valores a aquellos símbolos de PI que no estén en PD.
Parte comentario (PC):
Describe en lenguaje matemático la acción asociada al operador.

Laforma en que un operador se aplica a un estado consiste en:
Extraer la descripción del dominio del operador (PI).
Comprobar la semejanza (equiparar) de este con alguna porción del estado.
Realizarla transformación asociada al operador (indicada por PD y apoyada por PA), reescribiendo la parte del estado afectada (el resto de la descripción del estado permanecerá invariable).
3.3.4EQUIPARACIÓN DE DESCRIPCIONES.
El lenguaje generado permite definir una relación de orden parcial entre las expresiones válidas en el lenguaje. Cuando la precondición asociada a un operador es más general que ladescripción de un estado, entonces se le puede aplicar el operador al estado (la relación más general establece un ordenamiento parcial en el espacio de descripciones de aplicabilidad de cadaoperador).
3.3.5 SOLUCIONADOR.
Es la parte del sistema que realiza la búsqueda de la solución del problema planteado. La estrategia seguida para alcanzar el objetivo es el encadenamiento hacia adelante. Elproblema se representa mediante un grafo de búsqueda que contiene todos los nodos que ya se han alcanzado partiendo de la raíz (el problema que se quiere solucionar) por sucesivas aplicaciones deoperadores y heurísticas disponibles.
El procedimiento SOLUCIONADOR recibe como argumentos un problema (expresado según el lenguaje) junto con unos recursos asignados para su solución (tiempo y...