Forcing the number of clauses?
Closed this issue · 3 comments
hakank commented
Is there a way to force that Popper should start with - say - three clauses instead of one? A use case for this is to skip the long road of testing all the 1 and 2 clause programs that I know don't work (since a previous run didn't found any program with just max_clauses(2)
).
I assume that this can be done with ASP clauses in bias.pl
, but I haven't found out how it's done.
More general, perhaps is would be an idea to have min_clauses(N)
(as well as min_vars(N)
and min_body(N)
)?
andrewcropper commented
We can make that change but the performance might be poor.
Popper prunes a lot of the hypothesis space because it first considers smaller programs. If it starts the search from larger programs, then the pruning will likely be poor. We could implement a ‘multi-shot’ Popper, but I am unsure how much demand there is for that use case.
Furthermore, @rolfmorel is working on an idea where we can prune far more programs. I think we will hold off implementing this feature for now.
… On 4 May 2021, at 19:18, Hakan Kjellerstrand ***@***.***> wrote:
Is there a way to force that Popper should start with - say - three clauses instead of one? A use case for this is to skip the long road of testing all the 1 and 2 clause programs that I know don't work (since a previous run didn't found any program with just max_clauses(2)).
I assume that this can be done with ASP clauses in bias.pl, but I haven't found out how it's done.
More general, perhaps is would be an idea to have min_clauses(N) (as well as min_vars(N) and min_body(N))?
—
You are receiving this because you are subscribed to this thread.
Reply to this email directly, view it on GitHub, or unsubscribe.
hakank commented
Thanks for the answer, Andrew.
Making Popper faster would certainly solve much of this.
(Do you want me to close this issue or do you want to keep this as a wish list item?)
andrewcropper commented
Closed.