martes, 8 de octubre de 2013

Compras Planificación



Ir de Compras

Rafael Alcaraz
Montserrat Romero
Luis S. Gatica

1) Formalización:

Estado Inicial:
True: {En(Casa)}
False: {En(Ferreteria) & En(Supermercado) & Tengo(Platano) & Tengo(Leche) & Tengo(Taladro)}
Estado Objetivo:
Precondiciones: {En(Casa)& Tengo(Platano) & Tengo(Taladro) & Tengo(Leche)}
Operadores:
En(x) = estoy en x
Tengo(x) = tengo comprado x
Acciones:
IrA(x, y): Estoy en x y quiero ir a y
Precondiciones: {En(x)}
True: {En(y)}
False: {En(x)]
ComprarTaladro: Comprar un taladro
Precondiciones: {En(Ferretería) }
True: {Tengo(Taladro)}
False: { }
ComprarPlatano: Comprar plátanos
Precondiciones: {En(Supermercado)}
True: {Tengo(Platano)}
False: {}
ComprarLeche: Comprar leche
Precondiciones: {En(Supermercado)}
True: {Tengo(Leche)}
False: {}


2) Plan Construido:

A continuación se muestra el plan construido


3) Corrida:

0) Start ->
True{En(Casa)} False{En(Ferreteria),En(Supermercado),Tengo(Platano),Tengo(Leche),Tengo(Taladro)}
1) IrA(Casa, Ferreteria) ->
True{En(Ferreteria)}
False{En(Casa),En(Supermercado) ,Tengo(Platano),Tengo(Leche),Tengo(Taladro)}
2) ComprarTaladro ->
True{En(Ferreteria),Tengo(Taladro)}
False{ En(Casa),En(Supermercado) ,Tengo(Platano),Tengo(Leche)}
3) IrA(Ferreteria,Supermercado) ->
True{En(Supermercado),Tengo(Taladro)}
False{En(Ferreteria),En(Casa),Tengo(Platano),Tengo(Leche)}
4) ComprarPlatano ->
True{En(Supermercado),Tengo(Taladro),Tengo(Platano)}
False{En(Ferreteria),En(Casa),Tengo(Leche)}
5) ComprarLeche ->
True{En(Supermercado),Tengo(Taladro),Tengo(Platano),Tengo(Leche)}
False{En(Ferreteria),En(Casa)}
6) IrA(Supermercado,Casa) ->
True{En(Casa),Tengo(Taladro),Tengo(Platano),Tengo(Leche)}
False{En(Ferreteria),En(Supermercado)}
7) Finish ->
True{En(Casa),Tengo(Taladro),Tengo(Platano),Tengo(Leche)}
False{En(Ferreteria),En(Supermercado)}


No hay comentarios:

Publicar un comentario en la entrada