1. Cuál o cuáles de las siguientes afirmaciones a - Grupo de ...

Hoja de Problemas 2 Búsqueda no informada
están vacías. Cualquiera de ellas puede llenarse con el agua de un grifo G. Asimismo,
el contenido de las jarras se puede vaciar en una pila P. También es posible verter el
agua de una jarra en la otra. No se dipone de dispositivos de medición adicionales.
Se trata de encontrar una secuencia de operadores que deje exactamente dos litros
de agua en Cuatro.
(a) Modela este problema como un problema de búsqueda. Tendrás que definir, por
tanto, un estado inicial, el conjunto de estados meta, los operadores (especificando
sus precondiciones y postcondiciones), así como el coste de cada operador.
(b) Caracteriza el conocimiento a priori del agente de resolución del problema correspondiente.
(c) Encuentra una solución al problema utilizando un algoritmo de búsqueda en
amplitud.
Solución
(a) Estado inicial: {C = 0, T = 0}
Estado final: {C = 2, T = }
Operadores
1. Op1: Llenar C de G(x,y)
Pre: {x < 4}
Post: {C = 4, T = y}
2. Op2: Llenar T de G(x,y)
Pre: {y < 3}
Post: {C = x, T = 3}
3. op3: VaciarCuatroEnP(x,y)
Pre: {x > 0}
Post: {C = 0, T = y}
4. op4: VaciarTresEnP(x,y)
Pre: {y > 0}
Post: {C = x, T = 0}
5. op5 LlenarCuatroDesdeTres(x,y)
Pre: {x > 0 ∧ x < 4 ∧ x + y ≥ 4}
Post: {C = 4, T = x + y − 4}
6. op6 LlenarTresDesdeCuatro(x,y)
Pre: {y > 0 ∧ y < 3 ∧ x + y ≥ 3}
Post: {C = x + y − 3, T = 3}
7. op7: VaciarTresEnCuatro(x,y)
Pre: {y > 0 ∧ x + y < 4}
Post: {C = x + y, T = x + y − 4}
8. op8: VaciarCuatroEnTres(x,y)
Pre: {x > 0 ∧ x + y < 3}
Post: {C = x + y − 3, T = 3}
(b) El agente sabe a priori el estado inicial, el estado final, los operadores y su coste
(constante en este caso)
Página 2 de 4