Inteligencia artificial

Antonio Hernando Esteban‒ Inteligencia Artificial Curso 2009/2010

Ejemplo de Problema en STRIPS:

C1 H1

C2 H2

C3 H3 H4 H5

Constantes: C1, C2, C3 H1, H2,H3, H4, H5 Predicados Posición_Grúa(X): La grúa está situada en la posición X. Caja_Grúa(X): La grúa tiene la caja X. Grúa_Libre(): La grúa no tiene caja. Cima(X): No haycaja encima de X. Encima(X, Y): La caja X está encima de la caja Y. Posición_Caja(X, Y): La caja X está situada en la posición Y. Derecha(X, Y): La posición X está a laderecha de Y.



Estado Inicial
Posición_Grúa(H1) Cima(C1) Cima(H4) Encima(C1,H1) Posición_Caja(C1, H1) Posición_Caja(H1, H1) Posición_Caja(H4, H4) Derecha(H5, H4)Derecha(H2, H1) Cima(C2) Cima(H5) Encima(C2,H2) Posición_Caja(C2, H2) Posición_Caja(H2, H2) Posición_Caja(H5, H5) Derecha(H4, H3) Cima(C3) Encima(C3,H3) Posición_Caja(C3,H3) Posición_Caja(H3, H3) Derecha(H3, H2)



Estados‒Solución
Posición_Caja(C1, X) Posición_Caja(C2, X) Posición_Caja(C3, X)



Operadores
Operador: CogerCaja(X, Y, Z) Pre: Grúa_Libre() Posición_Grúa(Y) Posición_Caja(X, Y) Cima(X) Encima(X, Z) Acciones Añadir: Caja_Grúa(X) Cima(Z) Acciones Eliminar: Grúa_Libre()Posición_Caja(X, Y) Cima(X) Encima(X, Z) Operador: DejarCaja (X, Y, Z) Pre: Caja_Grúa(X) Posición_Grúa(Y) Posición_Caja(Z, Y) Cima(Z) Acciones Añadir: Grúa_Libre() Posición_Caja(X, Y)Cima(X) Encima(X, Z) Acciones Eliminar: Caja_Grúa(X) Cima(Z) Operador: MoverDerecha(X, Y) Pre: Posición_Grúa(X) Derecha(Y, X) Acciones Añadir: Posición_Grúa(Y) AccionesEliminar: Posición_Grúa(X) Operador: MoverIzquierda(X, Y) Pre: Posición_Grúa(X) Derecha(X, Y) Acciones Añadir: Posición_Grúa(Y) Acciones Eliminar: Posición_Grúa(X)