Matches in SemOpenAlex for { <https://semopenalex.org/work/W2950242013> ?p ?o ?g. }
Showing items 1 to 77 of
77
with 100 items per page.
- W2950242013 abstract "As real logic programmers normally use cut (!), an effective learning procedure for logic programs should be able to deal with it. Because the cut predicate has only a procedural meaning, clauses containing cut cannot be learned using an extensional evaluation method, as is done in most learning systems. On the other hand, searching a space of possible programs (instead of a space of independent clauses) is unfeasible. An alternative solution is to generate first a candidate base program which covers the positive examples, and then make it consistent by inserting cut where appropriate. The problem of learning programs with cut has not been investigated before and this seems to be a natural and reasonable approach. We generalize this scheme and investigate the difficulties that arise. Some of the major shortcomings are actually caused, in general, by the need for intensional evaluation. As a conclusion, the analysis of this paper suggests, on precise and technical grounds, that learning cut is difficult, and current induction techniques should probably be restricted to purely declarative logic languages." @default.
- W2950242013 created "2019-06-27" @default.
- W2950242013 creator A5083448763 @default.
- W2950242013 creator A5083654431 @default.
- W2950242013 creator A5086645267 @default.
- W2950242013 date "1993-11-01" @default.
- W2950242013 modified "2023-09-27" @default.
- W2950242013 title "The Difficulties of Learning Logic Programs with Cut" @default.
- W2950242013 hasPublicationYear "1993" @default.
- W2950242013 type Work @default.
- W2950242013 sameAs 2950242013 @default.
- W2950242013 citedByCount "0" @default.
- W2950242013 crossrefType "posted-content" @default.
- W2950242013 hasAuthorship W2950242013A5083448763 @default.
- W2950242013 hasAuthorship W2950242013A5083654431 @default.
- W2950242013 hasAuthorship W2950242013A5086645267 @default.
- W2950242013 hasConcept C102993220 @default.
- W2950242013 hasConcept C111472728 @default.
- W2950242013 hasConcept C111919701 @default.
- W2950242013 hasConcept C136137745 @default.
- W2950242013 hasConcept C138885662 @default.
- W2950242013 hasConcept C140146324 @default.
- W2950242013 hasConcept C151730666 @default.
- W2950242013 hasConcept C154945302 @default.
- W2950242013 hasConcept C19689857 @default.
- W2950242013 hasConcept C199360897 @default.
- W2950242013 hasConcept C2778572836 @default.
- W2950242013 hasConcept C2779382394 @default.
- W2950242013 hasConcept C2780876879 @default.
- W2950242013 hasConcept C41008148 @default.
- W2950242013 hasConcept C4554734 @default.
- W2950242013 hasConcept C77928131 @default.
- W2950242013 hasConcept C86803240 @default.
- W2950242013 hasConceptScore W2950242013C102993220 @default.
- W2950242013 hasConceptScore W2950242013C111472728 @default.
- W2950242013 hasConceptScore W2950242013C111919701 @default.
- W2950242013 hasConceptScore W2950242013C136137745 @default.
- W2950242013 hasConceptScore W2950242013C138885662 @default.
- W2950242013 hasConceptScore W2950242013C140146324 @default.
- W2950242013 hasConceptScore W2950242013C151730666 @default.
- W2950242013 hasConceptScore W2950242013C154945302 @default.
- W2950242013 hasConceptScore W2950242013C19689857 @default.
- W2950242013 hasConceptScore W2950242013C199360897 @default.
- W2950242013 hasConceptScore W2950242013C2778572836 @default.
- W2950242013 hasConceptScore W2950242013C2779382394 @default.
- W2950242013 hasConceptScore W2950242013C2780876879 @default.
- W2950242013 hasConceptScore W2950242013C41008148 @default.
- W2950242013 hasConceptScore W2950242013C4554734 @default.
- W2950242013 hasConceptScore W2950242013C77928131 @default.
- W2950242013 hasConceptScore W2950242013C86803240 @default.
- W2950242013 hasLocation W29502420131 @default.
- W2950242013 hasOpenAccess W2950242013 @default.
- W2950242013 hasPrimaryLocation W29502420131 @default.
- W2950242013 hasRelatedWork W1020883142 @default.
- W2950242013 hasRelatedWork W109517782 @default.
- W2950242013 hasRelatedWork W1559328976 @default.
- W2950242013 hasRelatedWork W1995384620 @default.
- W2950242013 hasRelatedWork W2005159791 @default.
- W2950242013 hasRelatedWork W2008144935 @default.
- W2950242013 hasRelatedWork W20580392 @default.
- W2950242013 hasRelatedWork W2074204358 @default.
- W2950242013 hasRelatedWork W2104586319 @default.
- W2950242013 hasRelatedWork W222938684 @default.
- W2950242013 hasRelatedWork W2253366427 @default.
- W2950242013 hasRelatedWork W2268784096 @default.
- W2950242013 hasRelatedWork W2293084517 @default.
- W2950242013 hasRelatedWork W2296777335 @default.
- W2950242013 hasRelatedWork W2570338842 @default.
- W2950242013 hasRelatedWork W2738859397 @default.
- W2950242013 hasRelatedWork W3082710588 @default.
- W2950242013 hasRelatedWork W3104105531 @default.
- W2950242013 hasRelatedWork W72265089 @default.
- W2950242013 hasRelatedWork W79450809 @default.
- W2950242013 isParatext "false" @default.
- W2950242013 isRetracted "false" @default.
- W2950242013 magId "2950242013" @default.
- W2950242013 workType "article" @default.