Logical reduction of metarules

Many forms of inductive logic programming (ILP) use metarules , second-order Horn clauses, to define the structure of learnable programs and thus the hypothesis space. Deciding which metarules to use for a given learning task is a major open problem and is a trade-off between efficiency and expressi...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	Machine learning Jg. 109; H. 7; S. 1323 - 1369
Hauptverfasser:	Cropper, Andrew, Tourret, Sophie
Format:	Journal Article
Sprache:	Englisch
Veröffentlicht:	New York Springer US 01.07.2020 Springer Nature B.V Springer Verlag
Schlagworte:	Artificial Intelligence Cognitive tasks Computer Science Control Derivation Fragments Hypotheses Learning Logic in Computer Science Logic programming Machine Learning Mechatronics Natural Language Processing (NLP) Reduction Robotics Simulation and Modeling Special Issue of the Inductive Logic Programming (ILP) 2019 Inductive programming Inductive logic programming Logical reduction Meta-interpretive learning Program induction
ISSN:	0885-6125, 1573-0565
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Schreiben Sie den ersten Kommentar!