Dos instantes de tiempo y más

[Pipelao]

Hola @juanreutter

Tengo las siguientes dudas con respecto a la primera pregunta:

1. ¿Dos instantes de tiempo incluye a entregar la misma posición del jugador? Porque puede ser por ejemplo que se avance hacia el norte y desde el norte al sur, o también las que sólo se mueven un instante de tiempo y después hacen "nada", por ejemplo sólo Este una vez. Si esta última es posible, es decir, incluir las que se realizan en un instante de tiempo, ¿habría que describir un predicado binario como no moverse?
2. ¿En algún momento se debe verificar que no se salga del tablero o los mismos predicados binarios se encargan de ello?
3. ¿La fórmula phi se puede realizar entre estructuras diferentes? Porque como dice en el enunciado que

En cada instante de tiempo, el mundo se modela como una L-estructura A = ...

Supongo que hay que considerar A1 y A2, para luego ver si se mueven los agentes y el jugador respectivamente para ver si las mismas posiciones una vez que ya se hizo el movimiento en el instante 1, ver qué posiciones están disponibles para mover en el instante 2 o no?

4. No me queda claro en la pregunta 1 si es el agente o el jugador el que se quisiera mover, ya que los predicados son para el agente.

Gracias de antemano.

[juanreutter]

Mira los otros issues primero y después responde con las dudas que te queden porfa.

[Pipelao]

Si las había leído; en la 1. no me queda claro si la posición del mismo jugador es válida y la 3. sigo con la duda.

[santilaguna]

para la 1) ya respondieron que puedes escribir ese supuesto :)

[juanreutter]

Dale, respondo lo que queda: 2) No tienes que verificar nada. Si estuviesemos hablando de alguna solucion mayor habria que hacer harto mas, pero esto es solo una tarea. 3) No, no hemos definido eso. La fórmula recibe una estructura (la actual) y eso es todo lo que recibes 4) La posicion del jugador la marca la interpretación de la constante en la estructura

[Pipelao]

Perfecto, gracias @juanreutter y @santilaguna