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:

csharp Copiar Editar state = {attached(p1,loc1), attached(p2,loc1), in(c1,p1), in(c3,p1), top(c3,p1), on(c3,c1), on(c1,p1), top(c2,p2), on(c2,pallet), belong(crane1,loc1), 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) on(c2,pallet) e belong(crane1,loc1) seriam modificados. D) at(r1,loc2), occupied(loc2) seriam modificados. E) Somente occupied(loc2) seria modificado.