Problema de los dos recipientes de aguaSe tienen 2 recipientes, uno de 3 galones y otro de 4 galones. Ninguno tiene marcas de nivel. Existe una fuente, de la cual se puede llenar los recipientes con agua. Indicar, Cmo se puede tener exactamente 2 galones de agua en el recipiente de 4 galones?Reglas de Produccinx = 0,1,2,3,4 y = 0,1,2,31. Llenar el recipiente de 4 galones: SI x < 4 => (4, y) 2. Llenar el recipiente de 3 galones: SI y < 3 => (x, 3)3. Vaciar el recipiente de 4 galones: SI x > 0 => (0, y)4. Vaciar el recipiente de 3 galones: SI y > 0=> (x, 0)5. Pasar agua del recipiente de 3 galones al de 4, hasta que se llene: SI (x + y) >= 4 ^ y > 0 => (4, y - (4 - x))6. Pasar agua del recipiente de 4 galones al de 3, hasta que se llene: SI (x + y) >= 3 ^ x > 0 => (x - (3 - y), 3)7. Pasar toda el agua del recipiente de 3 galones al de 4: SI (x + y) 0 => (x + y, 0)8. Pasar toda el agua del recipiente de 4 galones al de 3: SI (x + y) 0 => (0, x + y)

INTELIGENCIA ARTIFICIAL

Las tcnicas de solucin de problemas en IA, en general, incorporan un proceso de bsqueda. Todo proceso de bsqueda puede ser visualizado como el recorrido por un rbol en el que cada nodo representa un estado y cada rama representa las relaciones entre los estados cuyos nodos conecta.

La direccin en la cual se conduce la bsqueda (hacia adelante o hacia atrs).

La estrategia de control, o forma de seleccionar las reglas que pueden ser aplicables. Los principales requerimientos de una buena estrategia de control son: Que cause desplazamiento en el espacio de estado. Que sea sistemtico.

La forma de representar cada nodo del proceso de bsqueda (representacin del conocimiento).

Muchas veces, tratar el proceso como bsqueda en un grafo en lugar de una bsqueda en un rbol, puede reducir el esfuerzo que se gasta en explorar senderos, esencialmente iguales, varias veces.

Sin embargo, los requisitos asociados, son: Cada vez que se genere un nodo se debe chequear para ver si ha sido generado antes.

Se deben introducir procedimientos especiales para que la bsqueda no quede atrapada en algn lazo.

Algoritmo Generacin Y Prueba (GENERATE-AND-TEST)1. Generar una posible solucin. (estado o camino)2. Comprobar para ver si es una solucin, mediante comparacin con los elementos del conjunto de objetivos aceptables.3. Si la solucin ha sido encontrada salir, de otra manera, retornar al paso 1.

Crear una variable NODE_LIST y ponerla al estado inicial.Hasta que se encuentre el objetivo o hasta que NODE_LIST est vaca haga lo siguiente:Remover el primer elemento de NODE_LIST, y llamarlo E. Si NODE_LIST estuvo vaca, salir.Para cada forma en que cada regla puede ajustarse al estado descrito en E, haga lo siguiente:Aplicar la regla para generar un nuevo estado.Si el nuevo estado es un estado objetivo, salir y retornar este estado.Sino, aada el nuevo estado al final de NODE_LIST.

Si el estado inicial es el objetivo, salir y retornar xito.Sino, haga lo siguiente hasta que se obtenga seal de xito o fracaso:Genere un sucesor E del estado inicial. Si no hay ms sucesores, retorne con seal de fracaso.Llame recursivamente al algoritmo, esta vez con E como el estado inicial.Si la seal es xito, retorne, de otra manera, contine en este lazo.