this post was submitted on 15 Dec 2025
17 points (90.5% liked)

Programming

23982 readers
119 users here now

Welcome to the main community in programming.dev! Feel free to post anything relating to programming here!

Cross posting is strongly encouraged in the instance. If you feel your post or another person's post makes sense in another community cross post into it.

Hope you enjoy the instance!

Rules

Rules

  • Follow the programming.dev instance rules
  • Keep content related to programming in some way
  • If you're posting long videos try to add in some form of tldr for those who don't want to watch videos

Wormhole

Follow the wormhole through a path of communities !webdev@programming.dev

founded 2 years ago
MODERATORS
snowe@programming.dev
Ategon@programming.dev
MaungaHikoi@lemmy.nz
UlrikHD@programming.dev
17
Popper: An inductive logic programming system (github.com)
submitted 6 days ago by cm0002@literature.cafe to c/programming@programming.dev
4 comments fedilink hide all child comments
you are viewing a single comment's thread
view the rest of the comments
[–] floofloof@lemmy.ca 4 points 6 days ago* (last edited 6 days ago) (1 children)

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 points 6 days ago (1 children)

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 3 points 6 days ago

Well that makes more sense. Thanks for the information!