Integrantes:

- Abraham Montoya
- Felipe
- Pedro

P =<I, G, O>

- I Estado Inicial
- G Estado Objetivo
- O Conjunto de operadores
 - Robot = {r1};
- Plataformas = {d1,d2,d3};
- Contenedor = {c1}.

X = {cargo(r1),loc(c1)},

------------------------------------------------

Range(cargo(r1)) = {c1,nil};

Range(loc(c1)) = {d1,d2,d3,r1}.

------------------------------------------------

Acción 1

load(r,c,l)

pre: cargo(r)=nil, loc(c)=l, loc(r)=l

eff: cargo(r)←c, loc(c)←r

--------------------------------------------------

Acción 2

unload(r,c,l)
pre: cargo(r)=c, loc(r)=l
eff: cargo(r)←nil, loc(c)←l
------------------------------------------------------

Acción 3

move(r,d,e)
pre: loc(r)=d
eff: loc(r)←e

--------------------------------------------------------

El estado inicial y la meta son:

Initial: s0 = {loc(r1) = d3,cargo(r1) = nil,loc(c1) = d1};

Final: g = {loc(r1) = d3,loc(c1) = r1}.

Desarrollo echo en base a lo explicado en clase y con documentación referida.