Considere o problema dos robôs autônomos do porto. Considere...

Considere o problema dos robôs autônomos do porto. Considere um dos estados do problema definido na figura a seguir: state = (attached(p1,loc1), attached(p2,loc1), in(c1,p1), in(c3,p1), top(c3,c1), on(c1,pallet), in(c2,p2), top(c2,p2), empty(crane1), adjacent(loc1,loc2), adjacent(loc2, loc1), at(r1,loc2), occupied(loc2), unloaded(r1)) Após o robô r1 entrar na plataforma loc1, quais predicados teriam seus valores alterados? A adjacent(loc1,loc2) seriam modificados. B attached(p1,loc1) e attached(p2,loc1) seriam modificados. C ont(c2,pallet) e belong(crane1,loc1) seriam modificados. D at(r1,loc2), occupied(loc2) seriam modificados. E somente occupied(loc2) seria modificado.