Popper: An inductive logic programming system (github.com)
from cm0002@literature.cafe to programming@programming.dev on 15 Dec 2025 16:05
https://literature.cafe/post/26933205

#programming

threaded - newest

gringoaleatorio@lemmy.world on 15 Dec 2025 16:34 next collapse

Excuse the possibly stupid question, but I see it’s using swi-prolog. So it’s some kind of tool to test hypotheses using prolog but somewhat enhanced by machine learning? I guess I’d need to read the paper, just not sure this is within my reach 😅 Just did a bit of prolog at the university (which was a blast)

floofloof@lemmy.ca on 15 Dec 2025 16:36 collapse

Is this named after Karl Popper? If so that’s unfortunate because Popper spent his life arguing against the validity of inductive reasoning in science. His distinctive contribution was to try to describe a scientific method that did not depend on induction.

philosophy.institute/…/poppers-critique-rejection…

Shteou@lemmy.world on 15 Dec 2025 20:41 collapse

Looks like it is, from the paper:

Popper is named after Karl Poppper, whose idea of falsification [53] inspired our approach, as it did Shapiro’s MIS approach [61]. In fact, one can view our approach as Popper’s idea of falsification, where a failure is a refutation/falsification. In other words, in our approach, a learner deduces what hypotheses cannot be true and prunes them from the hypothesis space, leaving only hypotheses not yet refuted.

floofloof@lemmy.ca on 15 Dec 2025 22:30 collapse

Well that makes more sense. Thanks for the information!