Matches in SemOpenAlex for { <https://semopenalex.org/work/W1576984428> ?p ?o ?g. }
- W1576984428 abstract "This paper proposes a novel operator, based on the negation, for specializing the hypotheses inductively generated by any system that learns structural descriptions from positive and negative examples or, equivalently, learns intensional definitions of logical relations. Such a specializing operator adds the negation of one or more literals of a misclassified example to the Horn clause representation of an inconsistent hypothesis, after having properly turned constants into variables. The search for the literals to be added is firstly performed in a set named reduced base of consistent specializations and, in case of failure, it is extended to the augmented base of consistent specializations. Indeed, two theorems prove that clauses generated by adding literals in the former set preserve the consistency property and are most general specializations of the inconsistent hypothesis. On the contrary, the consistency property of clauses generated by adding literals in the latter set has to be checked on the misclassified example. The search strategy takes advantage of the structure of the set of the linked Horn clauses, , ordered by the generality relation (≤). Some clarifying examples and experimental results are also presented." @default.
- W1576984428 created "2016-06-24" @default.
- W1576984428 creator A5035635558 @default.
- W1576984428 creator A5035789137 @default.
- W1576984428 creator A5059814300 @default.
- W1576984428 date "1993-01-01" @default.
- W1576984428 modified "2023-09-27" @default.
- W1576984428 title "Negation as a specializing operator" @default.
- W1576984428 cites W2005033854 @default.
- W1576984428 cites W2009207944 @default.
- W1576984428 cites W2067642555 @default.
- W1576984428 cites W2086186815 @default.
- W1576984428 cites W2097295089 @default.
- W1576984428 cites W2112841646 @default.
- W1576984428 cites W2132513611 @default.
- W1576984428 doi "https://doi.org/10.1007/3-540-57292-9_55" @default.
- W1576984428 hasPublicationYear "1993" @default.
- W1576984428 type Work @default.
- W1576984428 sameAs 1576984428 @default.
- W1576984428 citedByCount "5" @default.
- W1576984428 crossrefType "book-chapter" @default.
- W1576984428 hasAuthorship W1576984428A5035635558 @default.
- W1576984428 hasAuthorship W1576984428A5035789137 @default.
- W1576984428 hasAuthorship W1576984428A5059814300 @default.
- W1576984428 hasConcept C102993220 @default.
- W1576984428 hasConcept C104317684 @default.
- W1576984428 hasConcept C111472728 @default.
- W1576984428 hasConcept C11413529 @default.
- W1576984428 hasConcept C124101348 @default.
- W1576984428 hasConcept C127001435 @default.
- W1576984428 hasConcept C128913409 @default.
- W1576984428 hasConcept C134306372 @default.
- W1576984428 hasConcept C136119220 @default.
- W1576984428 hasConcept C138885662 @default.
- W1576984428 hasConcept C154945302 @default.
- W1576984428 hasConcept C15744967 @default.
- W1576984428 hasConcept C158448853 @default.
- W1576984428 hasConcept C17020691 @default.
- W1576984428 hasConcept C177264268 @default.
- W1576984428 hasConcept C17744445 @default.
- W1576984428 hasConcept C185592680 @default.
- W1576984428 hasConcept C189790780 @default.
- W1576984428 hasConcept C189950617 @default.
- W1576984428 hasConcept C194146651 @default.
- W1576984428 hasConcept C199360897 @default.
- W1576984428 hasConcept C199539241 @default.
- W1576984428 hasConcept C202444582 @default.
- W1576984428 hasConcept C203659156 @default.
- W1576984428 hasConcept C2185349 @default.
- W1576984428 hasConcept C25343380 @default.
- W1576984428 hasConcept C2776359362 @default.
- W1576984428 hasConcept C2776436953 @default.
- W1576984428 hasConcept C2778029271 @default.
- W1576984428 hasConcept C2780767217 @default.
- W1576984428 hasConcept C33923547 @default.
- W1576984428 hasConcept C41008148 @default.
- W1576984428 hasConcept C42058472 @default.
- W1576984428 hasConcept C542102704 @default.
- W1576984428 hasConcept C55493867 @default.
- W1576984428 hasConcept C80444323 @default.
- W1576984428 hasConcept C81721847 @default.
- W1576984428 hasConcept C86339819 @default.
- W1576984428 hasConcept C94625758 @default.
- W1576984428 hasConceptScore W1576984428C102993220 @default.
- W1576984428 hasConceptScore W1576984428C104317684 @default.
- W1576984428 hasConceptScore W1576984428C111472728 @default.
- W1576984428 hasConceptScore W1576984428C11413529 @default.
- W1576984428 hasConceptScore W1576984428C124101348 @default.
- W1576984428 hasConceptScore W1576984428C127001435 @default.
- W1576984428 hasConceptScore W1576984428C128913409 @default.
- W1576984428 hasConceptScore W1576984428C134306372 @default.
- W1576984428 hasConceptScore W1576984428C136119220 @default.
- W1576984428 hasConceptScore W1576984428C138885662 @default.
- W1576984428 hasConceptScore W1576984428C154945302 @default.
- W1576984428 hasConceptScore W1576984428C15744967 @default.
- W1576984428 hasConceptScore W1576984428C158448853 @default.
- W1576984428 hasConceptScore W1576984428C17020691 @default.
- W1576984428 hasConceptScore W1576984428C177264268 @default.
- W1576984428 hasConceptScore W1576984428C17744445 @default.
- W1576984428 hasConceptScore W1576984428C185592680 @default.
- W1576984428 hasConceptScore W1576984428C189790780 @default.
- W1576984428 hasConceptScore W1576984428C189950617 @default.
- W1576984428 hasConceptScore W1576984428C194146651 @default.
- W1576984428 hasConceptScore W1576984428C199360897 @default.
- W1576984428 hasConceptScore W1576984428C199539241 @default.
- W1576984428 hasConceptScore W1576984428C202444582 @default.
- W1576984428 hasConceptScore W1576984428C203659156 @default.
- W1576984428 hasConceptScore W1576984428C2185349 @default.
- W1576984428 hasConceptScore W1576984428C25343380 @default.
- W1576984428 hasConceptScore W1576984428C2776359362 @default.
- W1576984428 hasConceptScore W1576984428C2776436953 @default.
- W1576984428 hasConceptScore W1576984428C2778029271 @default.
- W1576984428 hasConceptScore W1576984428C2780767217 @default.
- W1576984428 hasConceptScore W1576984428C33923547 @default.
- W1576984428 hasConceptScore W1576984428C41008148 @default.
- W1576984428 hasConceptScore W1576984428C42058472 @default.
- W1576984428 hasConceptScore W1576984428C542102704 @default.
- W1576984428 hasConceptScore W1576984428C55493867 @default.
- W1576984428 hasConceptScore W1576984428C80444323 @default.
- W1576984428 hasConceptScore W1576984428C81721847 @default.