FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2034459586> ?p ?o ?g. }

• W2034459586 abstract "Explanation-based generalization (EBG) is a learning technique which attempts to learn operational concept definitions from an explanation or proof of why a particular example is a concept instance [1,2]. One way to create such a proof is through search of some proof problem space. When the application of EBG is to learn definitions of search control concepts to improve search through a domain problem space (concepts like “Operator3 useful in this situation”), it turns out that the proof and domain problem spaces can be the same. This suggests that it would be useful to combine a previously developed technique for improving search efficiency, macro learning, with EBG. In this abstract we outline the operation of a production system, called SIGNAL, which does this.Trying to improve search control performance by combining EBG with macro learning introduces two problems to deal with: from where should the concept instances for EBG come from, and which operator compositions make useful operators? SIGNAL derives answers to these questions by examining the search performance during past problem solving attempts and identifying concept instances and macros that together correct fruitless search. The processing of a problem solving attempt takes place in three phases: the identification of search control mistakes, the creation of new macro operators, and the learning of new concept definitions using EBG. We will summarize each of these.In SIGNAL, problem solving takes place as search through a problem space. States are reached from the start state by applying the operators that form the “action” side of productions. The decision to apply one operator over another is based on the classification of the state each operator will be applied to. This is similar to LEX. During a search, SIGNAL produces a progress-graph that records each generated state and the operator applications that created it. After the search has ended, the progress-graph is fed to a reflection stage where the real work begins. Here SIGNAL backs up the classification of leaf nodes in order to determine where search control mistakes occurred. A search control mistake happens when an operator is applied before another operator which led to better states. For each mistake an “adjustment” is created. Adjustments reclassify states into categories that will force highly valued states to be reached first in later searches. SIGNAL then filters the adjustments to obtain the smallest set that achieve the desired effect. Eventually EBG is used to generalize these adjustments into sufficient concept definitions, but not until after new macros are proposed.Each are in the progress-graph represents an operator application. The reflection pass of SIGNAL labels each such are with the number of search control mistakes its operator was involved in. For macro learning, SIGNAL scans the labels along paths which lead to highly rated leaf states. It searches for patterns of the form [label-1 label-2 … label-n] where label-1 & label-n ≤ any of label-2 through label-(n-1). For each such sequence, SIGNAL creates a macro production whose action side collapses all the operator applications represented by the sequence of arcs into a single operation. The set of proposed macros is then filtered to eliminate excessive overlaps. The macros that remain can be used to avoid the intermediate problem states whose visitation resulted in the search control mistakes.After creating the set of macros, SIGNAL decides on which of the adjustments created during the reflection pass it should generalize into concept definitions. Not all of them are still necessary since the new macros avoid states along some of the paths involved in search control errors. This means that the adjustments correcting these errors can be ignored if SIGNAL insures the corresponding macro will be used in the future. With this in mind, the number of necessary adjustments drops to those in the following two categories: Those produced from the reflection pass minus those correcting mistakes which could no longer occur due to one of the new macros.One new adjustment for each new macro to recognize states to which the macro is usefully applicable.For each chosen adjustment, SIGNAL applies a form of EBG to create a sufficient concept definition. Since the domain and proof problem spaces are the same, the progress-graph serves as the EBG proof. The new definition is added to those already used to pick from amongst the set of applicable operators. Additionally, SIGNAL adds the new macros in with its existing set of productions.We described a system that integrates EBG and macro learning to improve problem solving when it takes place as problem space search. Operational concept definitions learned by EBG recognize when operators are best applicable while macro operators avoid states that are hard to classify. Since the EBG proof space and domain problem spaces are the same, concept proofs are developed simultaneously with problem solving, hence any resulting improvement in search further improves the concept definitions created by EBG. We are currently in the process of evaluating SIGNAL's performance improvements in the domain of symbolic integration." @default.
• W2034459586 created "2016-06-24" @default.
• W2034459586 creator A5076876205 @default.
• W2034459586 date "1987-01-01" @default.
• W2034459586 modified "2023-09-26" @default.
• W2034459586 title "Combining explanation based generalization with the learning of macro operators (abstract only)" @default.
• W2034459586 cites W1528869148 @default.
• W2034459586 cites W2180885055 @default.
• W2034459586 doi "https://doi.org/10.1145/322917.323047" @default.
• W2034459586 hasPublicationYear "1987" @default.
• W2034459586 type Work @default.
• W2034459586 sameAs 2034459586 @default.
• W2034459586 citedByCount "0" @default.
• W2034459586 crossrefType "proceedings-article" @default.
• W2034459586 hasAuthorship W2034459586A5076876205 @default.
• W2034459586 hasConcept C104317684 @default.
• W2034459586 hasConcept C111919701 @default.
• W2034459586 hasConcept C116834253 @default.
• W2034459586 hasConcept C118615104 @default.
• W2034459586 hasConcept C134306372 @default.
• W2034459586 hasConcept C154945302 @default.
• W2034459586 hasConcept C158448853 @default.
• W2034459586 hasConcept C166955791 @default.
• W2034459586 hasConcept C17020691 @default.
• W2034459586 hasConcept C177148314 @default.
• W2034459586 hasConcept C185592680 @default.
• W2034459586 hasConcept C199360897 @default.
• W2034459586 hasConcept C2778572836 @default.
• W2034459586 hasConcept C29585364 @default.
• W2034459586 hasConcept C33923547 @default.
• W2034459586 hasConcept C36503486 @default.
• W2034459586 hasConcept C41008148 @default.
• W2034459586 hasConcept C55493867 @default.
• W2034459586 hasConcept C59822182 @default.
• W2034459586 hasConcept C80444323 @default.
• W2034459586 hasConcept C86339819 @default.
• W2034459586 hasConcept C86803240 @default.
• W2034459586 hasConceptScore W2034459586C104317684 @default.
• W2034459586 hasConceptScore W2034459586C111919701 @default.
• W2034459586 hasConceptScore W2034459586C116834253 @default.
• W2034459586 hasConceptScore W2034459586C118615104 @default.
• W2034459586 hasConceptScore W2034459586C134306372 @default.
• W2034459586 hasConceptScore W2034459586C154945302 @default.
• W2034459586 hasConceptScore W2034459586C158448853 @default.
• W2034459586 hasConceptScore W2034459586C166955791 @default.
• W2034459586 hasConceptScore W2034459586C17020691 @default.
• W2034459586 hasConceptScore W2034459586C177148314 @default.
• W2034459586 hasConceptScore W2034459586C185592680 @default.
• W2034459586 hasConceptScore W2034459586C199360897 @default.
• W2034459586 hasConceptScore W2034459586C2778572836 @default.
• W2034459586 hasConceptScore W2034459586C29585364 @default.
• W2034459586 hasConceptScore W2034459586C33923547 @default.
• W2034459586 hasConceptScore W2034459586C36503486 @default.
• W2034459586 hasConceptScore W2034459586C41008148 @default.
• W2034459586 hasConceptScore W2034459586C55493867 @default.
• W2034459586 hasConceptScore W2034459586C59822182 @default.
• W2034459586 hasConceptScore W2034459586C80444323 @default.
• W2034459586 hasConceptScore W2034459586C86339819 @default.
• W2034459586 hasConceptScore W2034459586C86803240 @default.
• W2034459586 hasLocation W20344595861 @default.
• W2034459586 hasOpenAccess W2034459586 @default.
• W2034459586 hasPrimaryLocation W20344595861 @default.
• W2034459586 hasRelatedWork W1596131987 @default.
• W2034459586 hasRelatedWork W1720471202 @default.
• W2034459586 hasRelatedWork W1818009147 @default.
• W2034459586 hasRelatedWork W1999893446 @default.
• W2034459586 hasRelatedWork W2029046317 @default.
• W2034459586 hasRelatedWork W2033622048 @default.
• W2034459586 hasRelatedWork W2037926258 @default.
• W2034459586 hasRelatedWork W2056742250 @default.
• W2034459586 hasRelatedWork W2187369740 @default.
• W2034459586 hasRelatedWork W2531991745 @default.
• W2034459586 hasRelatedWork W2558272843 @default.
• W2034459586 hasRelatedWork W2767366848 @default.
• W2034459586 hasRelatedWork W2902587244 @default.
• W2034459586 hasRelatedWork W3128758175 @default.
• W2034459586 hasRelatedWork W75414529 @default.
• W2034459586 hasRelatedWork W81091158 @default.
• W2034459586 hasRelatedWork W86948017 @default.
• W2034459586 hasRelatedWork W987471395 @default.
• W2034459586 hasRelatedWork W1573402056 @default.
• W2034459586 hasRelatedWork W2812865429 @default.
• W2034459586 isParatext "false" @default.
• W2034459586 isRetracted "false" @default.
• W2034459586 magId "2034459586" @default.
• W2034459586 workType "article" @default.