INSTITUTO

TECNOLGICO DE
PACHUCA

"El Hombre alimenta el Ingenio en contacto con la Ciencia"

Ing. Sistemas Computacionales

Inteligencia
Maggi
Natale Carlos
Artificial
Eduardo

Elaborado por
Acosta Segovia Nallely

N.C. 10200184

Garcia Monterrubio Ubaldo

MAYO DE 2015

Contenido
1.- INTRODUCCIN...................................................................................................1
Anlisis del problema....................................................................................................1
Anlisis del comportamiento procedural....................................................................3

1.- INTRODUCCIN
El problema del mono y la banana se utiliza como un ejemplo sencillo de solucion de
problemas. El siguiente programa en prolog mostrara como se pueden utilizar los
mecanismos de ''matching'' y '' backtracking''.
Utilizaremos la siguientes versiones del problema: existe un mono en la puerta de un
cuarto; en medio del cuarto cuelga una banana del techo; el mono esta hambriento y
desea capturar la banana, pero no puede alcanzarla desde el piso. En la ventana del
cuarto hay una caja que el mono puede usar.
El mono puede realizar solamente las siguientes acciones: caminar sobre el piso, subir a
la caja, empujar la caja (si el mono esta junto a la caja), y agarrar la banana (si el mono
esta sobre la caja y baja la banana)
Como puede el mono llegar a capturar la banana?

Anlisis del problema

Una tarea importante en programacin es encontrar una representacin del problema en

terminos del lenguaje de programacin utilizando. En este caso podemos pensar del
''mundo del mono'' en terminos de ''estado'' que cambian con el tiempo. El estado actual
se determina por la posicin actual de los objetos

Las transiciones permitidas que cambian el mundo de un estado a otro son la siguientes:

Agarrar la banana.
subir a la caja
empujar la caja
caminar en el cuarto.
No todas las transiciones son posibles en cada estado posible del mudo del mono. por
ejemplo, la transicion ''agarrar la banana'' es solamente posible si el mono esta sobre la
caja y bajo la banana y si no tiene todavia la banana.
Aqu el programa para poder realizar todo este proceso.

Anlisis del comportamiento procedural.

Consideremos la siguiente pregunta al programa anterior:
?-puedetener(estado(enlapuerta,sobreelpiso,enlaventana,nolatiene)).
prolog contesta yes.
Bueno aqu Asindolo

En la pregunta 6 lo hice pero me pero me pregunto que si lo que quera decir es lo que
prolog me puse y le dije que yes y me mando true y lo volv a poner.
para ver la solucin y el proceso que se llevo a cabo por prolog para alcanzar esta
respuesta involucra una serie de busquedas de movimiento validos entre una serie de
movimientos alternativos posibles.

Ahora un que significa:

matching: Nos da como resultado un true o false. True cuando el matching tiene xito
(empatan) o false, cuando la meta falla, no hay empate.

backtracking: En caso de ser falso entra en juego el backtracking, que consiste en

deshacer todo lo ejecutado situando el programa en el mismo estado en el que estaba
justo antes de llegar al punto de eleccin. Entonces se toma el siguiente punto de
eleccin que estaba pendiente y se repite de nuevo el proceso. Todos los objetivos
terminan su ejecucin bien en xito ("verdadero"), bien en fracaso ("falso").