La figura muestra dos conjuntos de tres rectángulos. Sea el conjunto izquierdo de los tres rectángulos la representación del estado inicial y el conjunto derecho la del estado meta. Formule este problema como uno de búsqueda en un espacio de estados. Eso es, proporcione (1) un conjunto de generadores, (2) una prueba, y (3) un lenguaje con el cual representar los estados de este mundo. Incluya entre los generadores algun operador que "pinte" el rectángulo del color opuesto (negro/blanco) al que tiene. Si usted ha usado más de un generador entonces ordene a sus generadores al azar. Notar que no se ha proporcionado toda la información para definir la semántica de este mundo. Además de formular el problema como uno de búsqueda de espacio de estado, especificar también la semántica de su mundo y evaluar el grado con que esa semántica ha sido capturada en la forma de formular el problema.
Crear el árbol de búsqueda asociado con su formulación del espacio de estados cuando la búsqueda se lleva a cabo como:
una búsqueda primero en profundidad,
una búsqueda primero en amplitud,
una búsqueda heurística para la cual hay que definir alguna función de evaluación.
Considerar la siguiente posible semántica como reflejada en los cambios del conjunto de generadores listado más abajo:
El único generador es uno que cambia el color de un rectángulo blanco a negro.
Un generador, Ga, que al ser aplicado a un rectángulo lo destruye a ese rectángulo si es blanco.
Un generador, Gb, que destruya el rectángulo si es blanco pero engendre un rectángulo adicional si es negro.
¿Cómo afectan estos cambios al espacio de búsqueda y a la búsqueda de una solución que usted formuló para el problema original?