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...

Full description

Saved in:

Bibliographic Details
Published in:	Machine learning Vol. 109; no. 7; pp. 1323 - 1369
Main Authors:	Cropper, Andrew, Tourret, Sophie
Format:	Journal Article
Language:	English
Published:	New York Springer US 01.07.2020 Springer Nature B.V Springer Verlag
Subjects:	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 Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!

Be the first to leave a comment!