search

logic-and-learning-lab / Popper

An inductive logic programming system
MIT License
206 stars 36 forks source link

Possible optimization (if not a bug): should the sub programs in the explainer also follow the constraint? #67

Closed yangdinglou closed 1 year ago

yangdinglou commented 1 year ago

Hi Andrew,

Not sure if I understand correctly, but currently the subprogs generated by the explainer contain the ones which don't satisfy things like non_datalog. Is it true that they should be pruned?

andrewcropper commented 1 year ago

Yes, that is true, it prunes programs that do not necessarily obey the constraints.

Kind regards,

Andrew

On 10 Feb 2023, at 02:07, yangdinglou @.***> wrote:

Hi Andrew, Not sure if I understand correctly, but currently the subprogs generated by the explainer contain the ones which don't satisfy things like non_datalog. Is it true that they should be pruned? — Reply to this email directly, view it on GitHub, or unsubscribe. You are receiving this because you are subscribed to this thread.Message ID: @.***>