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)}