Use EDPS as backward chaining?
Currently the backward chaining is done through a very ad-hoc https://gitlab.astro-wise.org/micado/micadowise/-/blob/develop/src/micado/toolbox/augment_backward_chaining.py . The purpose of augment_backward_chaining.py
is twofold:
- Contain the information required to generate the OCA rules in https://gitlab.astro-wise.org/micado/micadowise/-/blob/develop/reflex/micado.oca
- Be a stepping stone for a real backward chaining implementation later.
The OCA rules are going away though. There will probably never be OCA rules for MICADO. The OCA rules are being replaced by EDPS rules. !314 (merged) creates draft EDPS rules.
We should investigate whether the opposite is possible. That is, that YC creates EDPS rules manually for the official ESO MICADO Pipeline, and that we subsequently use those EDPS rules to create the backward chaining in WISE.
As in, can we generate exists()
, get_onthefly()
, and get_onthefly_dependencies()
and such from these EDPS rules? Or can we integrate the EDPS into MicadoWISE and simply call that instead of using our own backward chaining?
Tentatively assigned to @wjvriend because it will probably not be possible for me to work on this.