Zur Hauptnavigation wechseln Zur Suche wechseln Zum Hauptinhalt wechseln

Learning Higher-Order Logic Programs without MiL

  • David Cerna (Vortragende*r)

Aktivität: Vortrag oder PräsentationEingeladener VortragScience-to-science

Beschreibung

Learning complex programs through inductive logic programming (ILP) remains a formidable challenge. Existing higher-order enabled ILP systems show improved accuracy and learning performance, though remain hampered by the limitations of the underlying learning mechanism. Experimental results show that our extension of the versatile Learning From Failures paradigm by higher-order definitions significantly improves learning performance without the burdensome human guidance required by existing systems. Furthermore, we provide a theoretical framework capturing the class of higher-order definitions handled by our extension. (Joint work with Stanisław J. Purgał and Cezary Kaliszyk.)
Zeitraum19 Jän. 2022
EreignistitelColloquium at Czech Academy of Science Institute for Computer Science
VeranstaltungstypSonstiges
OrtÖsterreichAuf Karte anzeigen

Wissenschaftszweige

  • 101013 Mathematische Logik
  • 101001 Algebra
  • 101012 Kombinatorik
  • 101020 Technische Mathematik
  • 101 Mathematik
  • 101009 Geometrie
  • 101005 Computeralgebra

JKU-Schwerpunkte

  • Digital Transformation