DualFondQnpPlanner(Planner) y old/

ssardina commented 3 years ago

Esta clase parece no apuntar al file correcto no?

class DualFondQnpPlanner(Planner):
    #FILE = Path(__file__).parent/'planner_clingo'/'planner_v2_1.lp'
    FILE = Path(__file__).parent/'planner_clingo'/'planner_v2_2.lp'

Algunos lp files estan under old/? Que son esos archivos en old? Son para borrar?

ssardina commented 3 years ago

De hecho @idrave , me gustaria documentar todos los planners que tenemos en el repo:

planner_fondp_fair
planner_fondp_opt
planner_noindex_dual
qnp

estos estan "activos" o fueron parte del development y podemos borrarlos? Si tienen sentido, deberiamos decir que son cada uno no? (como hacemos con strong y strongcyclic)

idrave commented 3 years ago

@ssardina Los planner_fond_fair y planner_fondp_opt se pueden remover, eran pruebas de pequeñas variaciones que no resultaron mejorar. Los moveré a /old. Luego planner_noindex_dual es una versión del encoding especializada para el setting de Dual FOND planning con acciones fair o adversarial como mencionamos en el paper. Así que este lo dejaría y lo documentamos en el README. Luego el de qnp recuerdo lo añadí también por si se podía hacer alguna optimización asumiendo que el input era qnp, pero de momento es igual al fondplus.lp, así que no hace falta dejarlo. Ví la refactorización que hiciste, quedó muy bien!

idrave commented 3 years ago

Hola Sebastián.

Hice un par de commits, añadí al README una descripción de cómo usar el planner para Dual FONDs, ahora dualfond.lp. Luego revisando el planner_v2_2.lp decidí uncluirlo como opción, ahora en fondp_index.lp. Era una versión del planner que hace explícito los "niveles" de recursión del procedimiento Sieve+, lo cual probamos en algún punto antes de llegar a la formulación final. Tengo que revisarlo bien porque puede que esté algo outdated. Los otros en old/ no los necesitamos, veré bien si hay alguno que vale la pena documentar. Añadí opciones en línea de comandos para poder usar las diferentes versiones (pretty, show y noshow) según el formato del output. Ahora por defecto usa el show_pretty. Añadiré estas opciones a la descripción del README.

ssardina commented 3 years ago

Estoy procesando esto, me gusta!

ssardina commented 3 years ago

@idrave , perdon por la tardanza, los cursos me estan limitando el tiempo que tengo :-)

Bueno GENIAL lo que pusiste y como limpiaste todo.

Ahora que tenemos todo, volvi a leer el README y creo que tenemos todo. Pero re-ordene el material, me parecio mejor que la lista de solvers y como usarlos estuviera bien temprano.

Creo que quedo muy bien todo ahora. (por ahora!) :-)

Fijate que te parece. Creo que esta todo explicado, claro y completo, y hay ejemplos por todos lados.

idrave / FOND-ASP

DualFondQnpPlanner(Planner) y old/ #12