Learning higher-order logic programs

A key feature of inductive logic programming is its ability to learn first-order programs, which are intrinsically more expressive than propositional programs. In this paper, we introduce techniques to learn higher-order programs. Specifically, we extend meta-interpretive learning (MIL) to support l...

Celý popis

Uloženo v:
Podrobná bibliografie
Vydáno v:Machine learning Ročník 109; číslo 7; s. 1289 - 1322
Hlavní autoři: Cropper, Andrew, Morel, Rolf, Muggleton, Stephen
Médium: Journal Article
Jazyk:angličtina
Vydáno: New York Springer US 01.07.2020
Springer Nature B.V
Témata:
Artificial Intelligence
Complexity
Computer Science
Control
Encryption
Learning
Logic programming
Logic programs
Machine Learning
Mechatronics
Natural Language Processing (NLP)
Prolog
Robotics
Simulation and Modeling
Special Issue of the Inductive Logic Programming (ILP) 2019
ISSN:0885-6125, 1573-0565
On-line přístup:Získat plný text
Tagy: Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
Popis
Shrnutí:A key feature of inductive logic programming is its ability to learn first-order programs, which are intrinsically more expressive than propositional programs. In this paper, we introduce techniques to learn higher-order programs. Specifically, we extend meta-interpretive learning (MIL) to support learning higher-order programs by allowing for higher-order definitions to be used as background knowledge. Our theoretical results show that learning higher-order programs, rather than first-order programs, can reduce the textual complexity required to express programs, which in turn reduces the size of the hypothesis space and sample complexity. We implement our idea in two new MIL systems: the Prolog system Metagol ho and the ASP system HEXMIL ho . Both systems support learning higher-order programs and higher-order predicate invention, such as inventing functions for map/3 and conditions for filter/3. We conduct experiments on four domains (robot strategies, chess playing, list transformations, and string decryption) that compare learning first-order and higher-order programs. Our experimental results support our theoretical claims and show that, compared to learning first-order programs, learning higher-order programs can significantly improve predictive accuracies and reduce learning times.
Bibliografie:ObjectType-Article-1
SourceType-Scholarly Journals-1
ObjectType-Feature-2
content type line 14
ISSN:0885-6125
1573-0565
DOI:10.1007/s10994-019-05862-7