Matches in SemOpenAlex for { <https://semopenalex.org/work/W4297416295> ?p ?o ?g. }
Showing items 1 to 54 of
54
with 100 items per page.
- W4297416295 abstract "A key feature of inductive logic programming (ILP) 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 emph{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 namea{} and the ASP system nameb{}. Both systems support learning higher-order programs and higher-order predicate invention, such as inventing functions for tw{map/3} and conditions for tw{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." @default.
- W4297416295 created "2022-09-28" @default.
- W4297416295 creator A5008794311 @default.
- W4297416295 creator A5026110953 @default.
- W4297416295 creator A5076917665 @default.
- W4297416295 date "2019-07-25" @default.
- W4297416295 modified "2023-09-28" @default.
- W4297416295 title "Learning higher-order logic programs" @default.
- W4297416295 doi "https://doi.org/10.48550/arxiv.1907.10953" @default.
- W4297416295 hasPublicationYear "2019" @default.
- W4297416295 type Work @default.
- W4297416295 citedByCount "0" @default.
- W4297416295 crossrefType "posted-content" @default.
- W4297416295 hasAuthorship W4297416295A5008794311 @default.
- W4297416295 hasAuthorship W4297416295A5026110953 @default.
- W4297416295 hasAuthorship W4297416295A5076917665 @default.
- W4297416295 hasBestOaLocation W42974162951 @default.
- W4297416295 hasConcept C10138342 @default.
- W4297416295 hasConcept C128838566 @default.
- W4297416295 hasConcept C154945302 @default.
- W4297416295 hasConcept C162324750 @default.
- W4297416295 hasConcept C182306322 @default.
- W4297416295 hasConcept C189790780 @default.
- W4297416295 hasConcept C199360897 @default.
- W4297416295 hasConcept C2779382394 @default.
- W4297416295 hasConcept C41008148 @default.
- W4297416295 hasConcept C81721847 @default.
- W4297416295 hasConceptScore W4297416295C10138342 @default.
- W4297416295 hasConceptScore W4297416295C128838566 @default.
- W4297416295 hasConceptScore W4297416295C154945302 @default.
- W4297416295 hasConceptScore W4297416295C162324750 @default.
- W4297416295 hasConceptScore W4297416295C182306322 @default.
- W4297416295 hasConceptScore W4297416295C189790780 @default.
- W4297416295 hasConceptScore W4297416295C199360897 @default.
- W4297416295 hasConceptScore W4297416295C2779382394 @default.
- W4297416295 hasConceptScore W4297416295C41008148 @default.
- W4297416295 hasConceptScore W4297416295C81721847 @default.
- W4297416295 hasLocation W42974162951 @default.
- W4297416295 hasLocation W42974162952 @default.
- W4297416295 hasOpenAccess W4297416295 @default.
- W4297416295 hasPrimaryLocation W42974162951 @default.
- W4297416295 hasRelatedWork W1455026407 @default.
- W4297416295 hasRelatedWork W1508859734 @default.
- W4297416295 hasRelatedWork W1544648232 @default.
- W4297416295 hasRelatedWork W1579694940 @default.
- W4297416295 hasRelatedWork W1999702466 @default.
- W4297416295 hasRelatedWork W2022937548 @default.
- W4297416295 hasRelatedWork W2076891835 @default.
- W4297416295 hasRelatedWork W2319386772 @default.
- W4297416295 hasRelatedWork W434170317 @default.
- W4297416295 hasRelatedWork W3014088202 @default.
- W4297416295 isParatext "false" @default.
- W4297416295 isRetracted "false" @default.
- W4297416295 workType "article" @default.