Matches in SemOpenAlex for { <https://semopenalex.org/work/W1521623677> ?p ?o ?g. }
Showing items 1 to 100 of
100
with 100 items per page.
- W1521623677 abstract "This paper describes a relational learning system LOPSTER (inductive LOgic Programming with Sub-unification of TERms) that learns very efficiently and with small number of examples a class of typical recursive logic programs. Instead of θ-subsumption, usually used in learning systems due to its tractability, we use the notion of generalization based on logical implication. This frees us from some shortcomings of the θ-subsumption, e.g. the requirement to have only a single occurrence of the clause being induced in the proof of the training examples. The system is based on sub-unification: a mechanism that unifies subterms of a term with another term, without the decomposition of the first term. Sub-unification allows us to discover the substitutions performed by recursion, as well as the depth of recursion, before inducing a recursive clause. In the paper, we define two classes of syntactically simple, but at the same time quite common, logic programs: purely recursive and left-recursive programs. LOPSTER is able to induce programs belonging to either class, working from examples with arbitrarily complex terms. Compared to other inductive relational learners LOPSTER does not require large training sets containing structurally similar examples. LOPSTER has been implemented in Prolog. Early experiments reported in the paper show drastic improvements in performance over state-of-the-art relational learning systems." @default.
- W1521623677 created "2016-06-24" @default.
- W1521623677 creator A5006130066 @default.
- W1521623677 creator A5042893723 @default.
- W1521623677 date "1992-01-01" @default.
- W1521623677 modified "2023-09-27" @default.
- W1521623677 title "Sub-unification: A Tool for Efficient Induction of Recursive Programs" @default.
- W1521623677 cites W151562053 @default.
- W1521623677 cites W1530292612 @default.
- W1521623677 cites W1565236324 @default.
- W1521623677 cites W1576534629 @default.
- W1521623677 cites W1999138184 @default.
- W1521623677 cites W2159299318 @default.
- W1521623677 cites W2484153108 @default.
- W1521623677 doi "https://doi.org/10.1016/b978-1-55860-247-2.50040-1" @default.
- W1521623677 hasPublicationYear "1992" @default.
- W1521623677 type Work @default.
- W1521623677 sameAs 1521623677 @default.
- W1521623677 citedByCount "27" @default.
- W1521623677 countsByYear W15216236772022 @default.
- W1521623677 crossrefType "book-chapter" @default.
- W1521623677 hasAuthorship W1521623677A5006130066 @default.
- W1521623677 hasAuthorship W1521623677A5042893723 @default.
- W1521623677 hasConcept C111472728 @default.
- W1521623677 hasConcept C121332964 @default.
- W1521623677 hasConcept C124681953 @default.
- W1521623677 hasConcept C128838566 @default.
- W1521623677 hasConcept C134306372 @default.
- W1521623677 hasConcept C136119220 @default.
- W1521623677 hasConcept C138885662 @default.
- W1521623677 hasConcept C154945302 @default.
- W1521623677 hasConcept C168773036 @default.
- W1521623677 hasConcept C177148314 @default.
- W1521623677 hasConcept C18903297 @default.
- W1521623677 hasConcept C199360897 @default.
- W1521623677 hasConcept C202444582 @default.
- W1521623677 hasConcept C206880738 @default.
- W1521623677 hasConcept C2777212361 @default.
- W1521623677 hasConcept C2779382394 @default.
- W1521623677 hasConcept C2780586882 @default.
- W1521623677 hasConcept C33923547 @default.
- W1521623677 hasConcept C41008148 @default.
- W1521623677 hasConcept C61797465 @default.
- W1521623677 hasConcept C62520636 @default.
- W1521623677 hasConcept C80444323 @default.
- W1521623677 hasConcept C81721847 @default.
- W1521623677 hasConcept C86803240 @default.
- W1521623677 hasConcept C96146094 @default.
- W1521623677 hasConceptScore W1521623677C111472728 @default.
- W1521623677 hasConceptScore W1521623677C121332964 @default.
- W1521623677 hasConceptScore W1521623677C124681953 @default.
- W1521623677 hasConceptScore W1521623677C128838566 @default.
- W1521623677 hasConceptScore W1521623677C134306372 @default.
- W1521623677 hasConceptScore W1521623677C136119220 @default.
- W1521623677 hasConceptScore W1521623677C138885662 @default.
- W1521623677 hasConceptScore W1521623677C154945302 @default.
- W1521623677 hasConceptScore W1521623677C168773036 @default.
- W1521623677 hasConceptScore W1521623677C177148314 @default.
- W1521623677 hasConceptScore W1521623677C18903297 @default.
- W1521623677 hasConceptScore W1521623677C199360897 @default.
- W1521623677 hasConceptScore W1521623677C202444582 @default.
- W1521623677 hasConceptScore W1521623677C206880738 @default.
- W1521623677 hasConceptScore W1521623677C2777212361 @default.
- W1521623677 hasConceptScore W1521623677C2779382394 @default.
- W1521623677 hasConceptScore W1521623677C2780586882 @default.
- W1521623677 hasConceptScore W1521623677C33923547 @default.
- W1521623677 hasConceptScore W1521623677C41008148 @default.
- W1521623677 hasConceptScore W1521623677C61797465 @default.
- W1521623677 hasConceptScore W1521623677C62520636 @default.
- W1521623677 hasConceptScore W1521623677C80444323 @default.
- W1521623677 hasConceptScore W1521623677C81721847 @default.
- W1521623677 hasConceptScore W1521623677C86803240 @default.
- W1521623677 hasConceptScore W1521623677C96146094 @default.
- W1521623677 hasLocation W15216236771 @default.
- W1521623677 hasOpenAccess W1521623677 @default.
- W1521623677 hasPrimaryLocation W15216236771 @default.
- W1521623677 hasRelatedWork W1511463640 @default.
- W1521623677 hasRelatedWork W1514468887 @default.
- W1521623677 hasRelatedWork W1531743498 @default.
- W1521623677 hasRelatedWork W1541434994 @default.
- W1521623677 hasRelatedWork W1556628550 @default.
- W1521623677 hasRelatedWork W1565236324 @default.
- W1521623677 hasRelatedWork W1566324056 @default.
- W1521623677 hasRelatedWork W1576534629 @default.
- W1521623677 hasRelatedWork W1608748195 @default.
- W1521623677 hasRelatedWork W1987902506 @default.
- W1521623677 hasRelatedWork W1999138184 @default.
- W1521623677 hasRelatedWork W2071415224 @default.
- W1521623677 hasRelatedWork W2093252035 @default.
- W1521623677 hasRelatedWork W2119831128 @default.
- W1521623677 hasRelatedWork W2158292827 @default.
- W1521623677 hasRelatedWork W2181250948 @default.
- W1521623677 hasRelatedWork W2342203353 @default.
- W1521623677 hasRelatedWork W2484153108 @default.
- W1521623677 hasRelatedWork W51117595 @default.
- W1521623677 hasRelatedWork W69291052 @default.
- W1521623677 isParatext "false" @default.
- W1521623677 isRetracted "false" @default.
- W1521623677 magId "1521623677" @default.
- W1521623677 workType "book-chapter" @default.