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.
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.
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)
4 Comments
floofloof@lemmy.ca · 4 pts · 280d
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/
Shteou@lemmy.world · 5 pts · 280d
Looks like it is, from the paper:
floofloof@lemmy.ca · 3 pts · 280d
Well that makes more sense. Thanks for the information!
gringoaleatorio@lemmy.world · 2 pts · 280d
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)