Content deleted Content added
Line 71:
And example of a Prolog-based system is [[Metagol]], which is based on a [[Meta-interpreters in Prolog|meta-interpreter in Prolog]], while ASPAL and ILASP are based on an encoding of the inductive logic programming problem in answer set programming.<ref name=":0" />
=== Evolutionary learning ===
[[Evolutionary algorithm]]s in ILP use a population-based approach to evolve hypotheses, refining them through selection, crossover, and mutation. Methods like [[EvoLearner]] have been shown to outperform traditional approaches on structured machine learning benchmarks. <ref>{{cite conference |last=Heindorf |first=Stefan |last2=Blübaum |first2=Lukas |last3=Düsterhus |first3= Nick |last4=Werner |first4=Till |last5=Golani |first5=Varun Nandkumar |last6=Demir |first6=Caglar |last7=Ngonga Ngomo |first7=Axel-Cyrille |title=EvoLearner: Learning Description Logics with Evolutionary Algorithms |url=https://arxiv.org/abs/2111.04879 |conference=WWW |date=2022}}</ref>
== List of implementations ==
| |||