search

juanreutter / L-gica2020

para postear issues de logica
2 stars 0 forks source link

Tarea 4 dudas varias #12

Open santilaguna opened 4 years ago

santilaguna commented 4 years ago

Hola!

Haciendo la tarea me han surgido varias dudas, respecto a la tarea misma y a la materia 1) El jugador debe moverse necesariamente en todos los instantes de tiempo? 2) En las fórmulas podemos usar la disyunción (es necesario que sean consultas conjuntivas?), sino cuál es la forma correcta de mostrar más de una posibilidad (en general) ? 3) Si es necesario que sean consultas conjuntivas, al hacer uso de una constante, es necesario incluirla como variable en la fórmula o en un cuantificador existencial o si es parte de la estructura podemos usarla directo ?

Muchas gracias desde ya

juanreutter commented 4 years ago
  1. No, posiciones donde puedo llegar en dos instantes de tiempo incluye las que puedo llegar en uno (en realidad si me pones un supuesto y trabajas con ese supuesto, no importa).
  2. Puedes usar disyunciones. La definición de evaluación es la misma!
  3. Las constantes del vocabulario se usan en la formula. Pero no tienen nada que ver con la estructura, las estructuras simplemente asignan un elemento del dominio a esa constante. Como una analogía, piensa que tu estructura es un objeto en un lenguaje de programación (en C, los precursores de los objetos se llamaban "structures"). Ese objeto en python tiene definidas dos enteros, a y b. Dado un objeto O de tu clase, usas O.a para referirte a el valor de a en ese objeto en particular, y lo mismo para O.b. Eso mismo pasa en tu formula, usas la constante a para referirte a el valor del elemento a en la estructura sobre la que estás chequeando el valor de verdad.
joseluishaddad commented 4 years ago

Hola, tengo dos dudas.

  1. ¿Los agentes pueden no moverse en un turno de la misma manera que el jugador?
  2. Al principio del enunciado cuando dice que los malos van acumulando conocimiento en la medida que avanza el juego, ¿en qué se traduce eso?

Gracias de antemano!

santilaguna commented 4 years ago

Entiendo, muchas gracias!

juanreutter commented 4 years ago
  1. Si pero no importa, fijate que eso ya está incluído en la definición de "amenaza".
  2. En nada, era para tratar de motivar nomás.
joseluishaddad commented 4 years ago

Gracias, me surgió otra duda.

¿En el punto uno tenemos que buscar las posiciones alcanzables sin tener en consideración las amenazas, sino solo N^A S^A E^A O^A, o hay que descartar aquellas posiciones en las que hay un robot malvado?

@juanreutter