h2r / Task-Scoping

Remove irrelevant variables and operators from planning problems via static analysis!
2 stars 0 forks source link

Fix language regarding equivalence classes #17

Open camall3n opened 2 years ago

camall3n commented 2 years ago

Reviewer feedback:

The equivalence class part might not actually be useful. Do you have an ablation?

May just be a storytelling issue. Rather than say “we merge the operators” which conveys that you get an operator as the result, maybe say we're collecting operators of the same "effects" for the purposes of backwards reasoning (or something to that effect)