Matches in SemOpenAlex for { <https://semopenalex.org/work/W2964129507> ?p ?o ?g. }
- W2964129507 abstract "Many forms of inductive logic programming (ILP) use emph{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 expressivity: the hypothesis space grows given more metarules, so we wish to use fewer metarules, but if we use too few metarules then we lose expressivity. In this paper, we study whether fragments of metarules can be logically reduced to minimal finite subsets. We consider two traditional forms of logical reduction: subsumption and entailment. We also consider a new reduction technique called emph{derivation reduction}, which is based on SLD-resolution. We compute reduced sets of metarules for fragments relevant to ILP and theoretically show whether these reduced sets are reductions for more general infinite fragments. We experimentally compare learning with reduced sets of metarules on three domains: Michalski trains, string transformations, and game rules. In general, derivation reduced sets of metarules outperforms subsumption and entailment reduced sets, both in terms of predictive accuracies and learning times." @default.
- W2964129507 created "2019-07-30" @default.
- W2964129507 creator A5008794311 @default.
- W2964129507 creator A5057556247 @default.
- W2964129507 date "2019-07-25" @default.
- W2964129507 modified "2023-09-23" @default.
- W2964129507 title "Logical reduction of metarules" @default.
- W2964129507 cites W1417197267 @default.
- W2964129507 cites W1499053674 @default.
- W2964129507 cites W1514468887 @default.
- W2964129507 cites W1523044720 @default.
- W2964129507 cites W1524175913 @default.
- W2964129507 cites W1565236324 @default.
- W2964129507 cites W1572578702 @default.
- W2964129507 cites W1578088218 @default.
- W2964129507 cites W1583199978 @default.
- W2964129507 cites W1596865963 @default.
- W2964129507 cites W1602046686 @default.
- W2964129507 cites W1608748195 @default.
- W2964129507 cites W1769664091 @default.
- W2964129507 cites W1847162175 @default.
- W2964129507 cites W193514054 @default.
- W2964129507 cites W1969965298 @default.
- W2964129507 cites W2011039300 @default.
- W2964129507 cites W2014117644 @default.
- W2964129507 cites W2038745317 @default.
- W2964129507 cites W2039683780 @default.
- W2964129507 cites W2046879559 @default.
- W2964129507 cites W2053937765 @default.
- W2964129507 cites W2058793155 @default.
- W2964129507 cites W2064811181 @default.
- W2964129507 cites W2089334447 @default.
- W2964129507 cites W2093252035 @default.
- W2964129507 cites W2099587183 @default.
- W2964129507 cites W2100738443 @default.
- W2964129507 cites W2116483595 @default.
- W2964129507 cites W2119831128 @default.
- W2964129507 cites W2123319860 @default.
- W2964129507 cites W2154392433 @default.
- W2964129507 cites W2169042011 @default.
- W2964129507 cites W2212515300 @default.
- W2964129507 cites W2395903764 @default.
- W2964129507 cites W2397054552 @default.
- W2964129507 cites W2403468034 @default.
- W2964129507 cites W2477228960 @default.
- W2964129507 cites W2497826135 @default.
- W2964129507 cites W2574654054 @default.
- W2964129507 cites W2584995523 @default.
- W2964129507 cites W2750179104 @default.
- W2964129507 cites W2806743074 @default.
- W2964129507 cites W2888757411 @default.
- W2964129507 cites W2891451025 @default.
- W2964129507 cites W2922022659 @default.
- W2964129507 cites W2943979673 @default.
- W2964129507 cites W2962924847 @default.
- W2964129507 cites W2963139884 @default.
- W2964129507 cites W2985719005 @default.
- W2964129507 cites W31561947 @default.
- W2964129507 cites W41262972 @default.
- W2964129507 cites W1497345544 @default.
- W2964129507 hasPublicationYear "2019" @default.
- W2964129507 type Work @default.
- W2964129507 sameAs 2964129507 @default.
- W2964129507 citedByCount "3" @default.
- W2964129507 countsByYear W29641295072019 @default.
- W2964129507 countsByYear W29641295072020 @default.
- W2964129507 crossrefType "posted-content" @default.
- W2964129507 hasAuthorship W2964129507A5008794311 @default.
- W2964129507 hasAuthorship W2964129507A5057556247 @default.
- W2964129507 hasConcept C111335779 @default.
- W2964129507 hasConcept C111919701 @default.
- W2964129507 hasConcept C11413529 @default.
- W2964129507 hasConcept C118615104 @default.
- W2964129507 hasConcept C128838566 @default.
- W2964129507 hasConcept C134752490 @default.
- W2964129507 hasConcept C138268822 @default.
- W2964129507 hasConcept C154945302 @default.
- W2964129507 hasConcept C157486923 @default.
- W2964129507 hasConcept C189790780 @default.
- W2964129507 hasConcept C2524010 @default.
- W2964129507 hasConcept C2778572836 @default.
- W2964129507 hasConcept C2779382394 @default.
- W2964129507 hasConcept C33923547 @default.
- W2964129507 hasConcept C37914503 @default.
- W2964129507 hasConcept C41008148 @default.
- W2964129507 hasConcept C80444323 @default.
- W2964129507 hasConceptScore W2964129507C111335779 @default.
- W2964129507 hasConceptScore W2964129507C111919701 @default.
- W2964129507 hasConceptScore W2964129507C11413529 @default.
- W2964129507 hasConceptScore W2964129507C118615104 @default.
- W2964129507 hasConceptScore W2964129507C128838566 @default.
- W2964129507 hasConceptScore W2964129507C134752490 @default.
- W2964129507 hasConceptScore W2964129507C138268822 @default.
- W2964129507 hasConceptScore W2964129507C154945302 @default.
- W2964129507 hasConceptScore W2964129507C157486923 @default.
- W2964129507 hasConceptScore W2964129507C189790780 @default.
- W2964129507 hasConceptScore W2964129507C2524010 @default.
- W2964129507 hasConceptScore W2964129507C2778572836 @default.
- W2964129507 hasConceptScore W2964129507C2779382394 @default.
- W2964129507 hasConceptScore W2964129507C33923547 @default.