By Gerald DeJong (auth.), Gerald DeJong (eds.)

Explanation-Based studying (EBL) can in general be considered as substituting historical past wisdom for the big education set of exemplars wanted via traditional or empirical computer studying platforms. The heritage wisdom is used immediately to build an evidence of some education exemplars. The realized notion is generalized without delay from this rationalization.
the 1st EBL platforms of the trendy period have been Mitchell's LEX2, Silver's LP, and De Jong's KIDNAP traditional language process. of those platforms, Mitchell's and De Jong's, have resulted in wide follow-up examine in EBL. This e-book outlines the numerous steps in EBL learn of the Illinois crew below De Jong.
This quantity describes theoretical study and desktops that use a wide diversity of formalisms: schemas, creation platforms, qualitative reasoning versions, non-monotonic good judgment, scenario calculus, and a few home-grown advert hoc representations. This has been performed consciously to prevent sacrificing the final word learn value in desire of the expediency of any specific formalism.
the last word aim, in fact, is to undertake (or devise) the perfect formalism.

Show description

Read or Download Investigating Explanation-Based Learning PDF

Similar nonfiction_8 books

Recent Progress in Many-Body Theories: Volume 2

The current quantity includes the texts of the invited talks brought on the 6th overseas convention on contemporary growth in Many-Body Theories held in Arad, Israel through the interval November 5-10 1989. The host institute was once the Physics division on the Ben Gurion collage of the Negev. Beside the invited talks there were additionally poster periods.

Reaction Centers of Photosynthetic Bacteria: Feldafing-II-Meeting

Response facilities of Photosynthetic micro organism is an up-to-date checklist at the latest perception into the struc- ture/function courting of response facilities from photosynthetic micro organism. It addresses specifically, interactions and dynamics which ensure the ultra-high quantum yield of photoinduced cost separation in those energy-transforming molecular machines.

Global to Local: Ecological Land Classification: Thunderbay, Ontario, Canada, August 14–17, 1994

Ecological Land class (ELC) refers back to the description of land assets at more than a few spatial resolutions (i. e. international to neighborhood) and for quite a number reasons or values. The rising technological know-how of ELC is in reality a really rigorously built-in combination of crops and earth sciences, climatology, cartography and ecology with quite a number new applied sciences and methodologies together with computer-based geographic details structures, distant sensing and simulation modelling.

Extra resources for Investigating Explanation-Based Learning

Example text

The two unifying expressions for the reduction are constructed by having equivalent expressions in the explanation structure occupy corresponding argument positions in the two constructed expressions. For example, following are the two expressions constructed for the explanation structure of the Cup example (Figure 2-4). x5}, which is the same as the global substitution EGGS constructed for this example (Table 2-1). xl}, which is again the same as the global substitution constructed by EGGS (Table 2-2).

In Sections 5 and 6, the correctness and computational complexity of the explanation generalization process is analyzed. Section 7 discusses the process of pruning explanations for operationality, and Section 8 presents some problems with integrating the generalization process with explanation construction. In Section 9, the process of explanation generalization is compared with chunking and composition methods used to learn productions in SOAR [18] and ACT* [19], respectively. Finally, in Sections 10 and 11, some examples are presented of learning macro-rules by generalizing Horn clause proofs and term rewritings.

Correctness of Explanation Generalizing Algorithms Intuitively, for an explanation generalizing algorithm to be "correct," its output should be logically entailed by the system's existing knowledge or domain theory, and it should be as general as possible given this constraint and the constraint that it retain the "structure" of the original explanation. One approach to proving correctness of explanation generalization, discussed by O'Rorke [7], involves demonstrating that a generalization algorithm maintains all of the equality or co-reference constraints in the explanation structure in the most general way possible.

Download PDF sample

Rated 4.68 of 5 – based on 27 votes