- cross-posted to:
- programming@lemmy.ml
- cross-posted to:
- programming@lemmy.ml
You must log in or # to comment.
Is this named after Karl Popper? If so that鈥檚 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鈥檚 MIS approach [61]. In fact, one can view our approach as Popper鈥檚 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鈥檚 using swi-prolog. So it鈥檚 some kind of tool to test hypotheses using prolog but somewhat enhanced by machine learning? I guess I鈥檇 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)