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.
https://philosophy.institute/logic/poppers-critique-rejection-induction/
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.
Well that makes more sense. Thanks for the information!
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)