search

idrave / FOND-ASP

5 stars 1 forks source link

Fairness sets #3

Closed ssardina closed 3 years ago

ssardina commented 3 years ago

Miremos este ejemplo:

 (:fairness
        :a (go-right p1) (go-right p2) (go-right p3)
        :b (go-left p1) (go-left p2) (go-left p3)))

Esto es el dominio de futbol no? Si es asi, quiero confirmar que la idea es que si uno hace infinitas veces cualquiera de las acciones en a y NINGUNA de las acciones de b, entonces todos los efectos de la accion de a van a verse.

Correcto?

idrave commented 3 years ago

Casi, es si se aplican infinitas veces cualquier acción en a y solo una cantidad finita de veces las acciones de b, entonces se verán todos los efectos de acciones en a. En este ejemplo: si vamos infinitas veces a la derecha y finitas veces a la izquierda, eventualmente hacemos 0 la distancia al goal.

ssardina commented 3 years ago

Si si correcto, es una cantidad finita de b, estaba pensando que el "exito" es una vez que se acabaron todas las b, ya no puede aparecer mas. My bad...

O sea que esto seria equivalente a tener:

 (:fairness
        :a (go-right p1)
        :b (go-left p1) (go-left p2) (go-left p3)))

 (:fairness
        :a (go-right p2)
        :b (go-left p1) (go-left p2) (go-left p3)))

 (:fairness
        :a (go-right p3)
        :b (go-left p1) (go-left p2) (go-left p3)))

de acuerdo?

idrave commented 3 years ago

Exactamente, ambas deberían expresar las mismas constraints sobre el problema, incluso cuando se usan sets <A,B> separados.

ssardina commented 3 years ago

Excelente, arregle un oración en el README y deje esta "sutileza" bien explicita.

Gracias!