SlideShare ist ein Scribd-Unternehmen logo
1 von 73
Multistrategy learning

   Prof. Gheorghe Tecuci

  Learning Agents Laboratory
 Computer Science Department
   George Mason University
MULTISTRATEGY LEARNING
                              SUMMARY
This tutorial presents an overview of methods, systems and applications of
multistrategy learning. Multistrategy learning is concerned with
developing learning systems that integrate two or more inferential and/or
computational strategies. For example, a multistrategy system may
combine empirical induction with explanation-based learning, symbolic
and neural net learning, deduction with abduction and analogy,
quantitative and qualitative discovery, symbolic and genetic algorithm-
based learning. Due to the complementary nature of various strategies,
multistrategy learning systems have a potential for a wide range of
applications. This tutorial describes representative multistrategy learning
systems, and their applications in areas such as automated knowledge
acquisition, planning, scheduling, manufacturing, technical and medical
decision making, and computer vision.


G. Tecuci                                                                 2
OUTLINE
            1. Multistrategy concept learning: methods,
               systems and applications
            2. Multistrategy knowledge base improvement:
               methods, systems and applications
            3. Summary, current trends and frontier research
            4. References




G. Tecuci                                                      3
1. MULTISTRATEGY CONCEPT LEARNING:
    METHODS, SYSTEMS AND APPLICATIONS
1.1 The class of learning tasks

1.2 Integration of empirical inductive learning and
    explanation-based learning

1.3 Integration of empirical inductive learning, expla-
    nation-based learning, and learning by analogy

1.4 Integration of genetic algorithm-based learning
    and symbolic empirical inductive learning



G. Tecuci                                                 4
1.1 MULTISTRATEGY CONCEPT LEARNING
         The Class of Learning Tasks
      INPUT: one or more positive and/or negative
             examples of a concept

      BK:    a weak, incomplete, partially incorrect,
             or complete domain theory (DT)

      GOAL: learn a concept description
             characterizing the example(s)
             and consistent with the DT
             by combining several learning strategies

G. Tecuci                                               5
Illustration of a Learning Task
      INPUT: examples of the CUP concept
      cup(o1) ⇐ color(o1, white), shape(o1, cyl), volume(o1, 8),
                made-from(o1, plastic), light-mat(plastic),
                has-handle(o1), has-flat-bottom(o1),
                up-concave(o1).

      BK:      a theory of vessels (domain rules)
      cup(x) ⇐ liftable(x), stable(x), open-vessel(x).
      liftable(x) ⇐ light(x), graspable(x).
      stable(x) ⇐ has-flat-bottom(x).

      GOAL: learn an operational concept description of
               CUP
      cup(x) ⇐ made-from(x, plastic), light-mat(plastic),
               graspable(x), has-flat-bottom(x), up-concave(o1).

G. Tecuci                                                          6
1.2 INTEGRATION OF
     EMPIRICAL INDUCTIVE LEARNING
    AND EXPLANATION-BASED LEARNING

     • Empirical Inductive Learning (EIL)
     • Explanation-Based Learning (EBL)
     • Complementary nature of EIL and EBL
     • Types of integration of EIL and EBL

G. Tecuci                                    7
EMPIRICAL INDUCTIVE LEARNING
      • Compares the examples in terms of their
            similarities and differences, and creates a
            generalized description of the similarities of
            the positive examples

      • Is data intensive (requires many examples)
      • Performs well in knowledge-weak domains
      Positive examples of cups:         P1     P2         ...

      Negative examples of cups:         N1          ...

      Description of the cup concept: has-handle(x), ...
G. Tecuci                                                        8
EXPLANATION-BASED LEARNING
 • Proves that the training example is an instance
      of the target concept and generalizes the proof
 • Is knowledge intensive (requires a complete DT)
 • Needs only one example
 Prove that o1 is a CUP:                                Generalize the proof:
                                 cup(o1)                                    cup(x)
                                        ...                                          ...
                 liftable(o1) stable(o1)
                                  ...                           liftable(x) stable(x)
                                                                              ...
       light(o1)          graspable(o1)                     light(x)       graspable(x)
            light-mat(plastic)
                                                                 light-mat(y)
 made-from(o1,plastic) has-handle(o1)                    made-from(x,y)       has-handle(x)

 • "has-handle(o1)" is needed to prove "cup(o1)"         • the material the cup is made
 • "color(o1,white)" is not needed to prove "cup(o1)"      from need not be "plastic"

G. Tecuci                                                                                     9
COMPLEMENTARY NATURE OF
                  EIL AND EBL
                                          MSL
                   EIL        EBL      (EIL+EBL)
   Examples      many         one       several
     Domain        weak      needs   incomplete
                              to be   or partially
     Theory     is enough   complete   incorrect
    Types of             deduction induction and
               induction
   inference                           deduction
    Effect on                         improves
                improves improves
    system's                        competence
              competence efficiency
    behavior                         & efficiency
G. Tecuci                                          10
MSL METHODS INTEGRATING EIL AND EBL

            • Explanation before induction

            • Induction over explanations

            • Combining EBL with Version Spaces

            • Induction over unexplained

            • Guiding induction by domain theories


G. Tecuci                                            11
EXPLANATION BEFORE INDUCTION
               OCCAM (Pazzani, 1988, 1990)

 OCCAM is a schema-based system that learns to
 predict the outcome of events by applying EBL or EIL,
 depending on the available background knowledge
 and examples. It may answer questions about the
 outcome of hypothetical events.

 A learned economic sanctions schema:
 When a country threatens a wealthy country by
 refusing to sell a commodity, then the sanctions will
 fail because an alternative supplier will want to make
 a large profit by selling the commodity at a premium.

G. Tecuci                                             12
Integration of EBL and EIL in OCCAM

                 Explain   Yes Schema = EBL(Example)
                Example


                    No               Schemata

                 Enough Yes
                Examples    Schema = EIL(Examples)


                   No
            Remember Example


G. Tecuci                                              13
INDUCTION OVER EXPLANATIONS (IOE)
            WYL (Flann and Dietterich, 1989)

Limitations of EBL
• The learned concept might be too specific
  because it is a generalization of a single example
• Requires a complete DT

IOE
• Learns from a set of positive examples
• May discover concept features that are not
  explained by the DT (i.e. incomplete DT)


G. Tecuci                                          14
The IOE Method
• Build an explanation tree for each example
• Find the largest common subtree
• Apply EBL to generalize the subtree and
     retain the leaves as an intermediate
     concept description (ICD)

• Specialize ICD to reflect the similarities
     between the training examples:
     - replace variables with constants (e.g. v = c)

G. Tecuci                                          15
- introduce equality constraints (e.g. v1 = v2)




G. Tecuci                                              16
Illustration
Explanation tree for example1:
                                          cup(o1)

                liftable(o1)              stable(o1)     open-vessel(o1)

    light(o1)             graspable(o1)
   light-mat(plastic)             has-flat-bottom(o1)
 made-from(o1,plastic) has-handle(o1)             up-concave(o1)

Explanation tree for example2:
                                            cup(o2)

                          liftable(o2)     stable(o2)   open-vessel(o2)

       light(o2)               graspable(o2)
        light-mat(plastic) width(o2,small)
   made-from(o2,plastic) insulating(plastic) has-flat-bottom(o2)
                        made-from(o2,plastic)          up-concave(o2)

G. Tecuci                                                                  17
Generalization of the common subtree:
                                             cup(x)

                           liftable(x)      stable(x)     open-vessel(x)
                light(x)         graspable(x)
                                                                   ICD
                 light-mat(y)
        made-from(x, y)                  has-flat-bottom(x) up-concave(x)


     Specialization of ICD:
     in example1: (y = plastic)
     in example2: (y = plastic)
     in ICD:      (y = plastic)

     Learned concept:
     cup(x) ⇐ made-from(x, plastic), light-mat(plastic), graspable(x),
              has-flat-bottom(x), up-concave(x).


G. Tecuci                                                                   18
COMBINING EBL WITH VERSION SPACES (EBL-VS)
                       (Hirsh, 1989, 1990)

      Limitations of IOE
      • Learns only from positive examples
      • Needs an "almost" complete domain theory (DT)
      EBL-VS
      • Learns from positive and negative examples
      • Can learn with an incomplete DT
      • Can learn with a special type of incorrect DT
      • Can learn with different amounts of knowledge,
            from knowledge-free to knowledge-rich
G. Tecuci                                                19
The EBL-VS Method

            • Apply EBL to generalize the positive and
              the negative examples

            • Replace each example that has been
              generalized with its generalization

            • Apply the version space method (or
              the incremental version space merging
              method) to the new set of examples


G. Tecuci                                                20
INDUCTION OVER UNEXPLAINED (IOU)
                   (Mooney and Ourston, 1989)
            Limitations of EBL-VS
            • Assumes that at least one generalization
              of an example is correct and complete
            IOU
            • DT could be incomplete but correct
              - the explanation-based generalization
                of an example may be incomplete
              - the DT may explain negative examples
            • Learns concepts with both explainable
              and conventional aspects
G. Tecuci                                                21
The IOU Method
     • Apply EBL to generalize each positive example
     • Disjunctively combine these generalizations
            (this is the explanatory component Ce)

     • Disregard negative examples not satisfying
            Ce and remove the features mentioned in
            Ce from all the examples

     • Apply EIL to determine a generalization of
            the reduced set of simplified examples
            (this is the nonexplanatory component Cn)


G. Tecuci                                               22
The learned concept is Ce & Cn




G. Tecuci                                    23
Illustration
Positive examples of cups: Cup1, Cup2
Negative examples: Shot-Glass1, Mug1, Can1
Domain Theory: incomplete (contains a definition of
                 drinking vessels but no definition of cups)
Ce = has-flat-bottom(x) & light(x) & up-concave(x) &
     {[width(x,small) & insulating(x)] ⁄ has-handle(x)}
Ce covers Cup1, Cup2, Shot-Glass1, Mug1 but not Can1
Cn = volume(x,small)
Cn covers Cup1, Cup2 but not Shot-Glass1, Mug1
C = Ce & Cn

G. Tecuci                                                  24
GUIDING INDUCTION BY DOMAIN THEORY
                        The ENIGMA System
            (Bergadano, Giordana, Saitta et al. 1988, 1990)

               Limitations of IOU
               • DT rules have to be correct
               • Examples have to be noise-free
               ENIGMA
               • DT rules could be partially incorrect
               • Examples may be noisy
G. Tecuci                                                     25
The Learning Method
  (trades-off the use of DT rules against the coverage of examples)

• Successively specialize the abstract definition D of the
  concept to be learned by applying DT rules
• Whenever a specialization of the definition D contains
  operational predicates, compare it with the examples
  to identify the covered and the uncovered ones
• Decide between performing:
  - a DT-based deductive specialization of D
  - an example-based inductive modification of D

The learned concept is a disjunction of leaves
of the specialization tree built.
G. Tecuci                                                             26
Examples (4 pos, 4 neg)            *




Positive example4 (p4):
Cup(o4) ⇐ light(o4), support(o4, b), body(o4, a),
          above(a, b), up-concave(o4).

                                 Domain Theory
Cup(x) ⇐ Liftable(x), Stable(x), Open-vessel(x).
Liftable(x) ⇐ light(x), has-handle(x).
Stable(x) ⇐ has-flat-bottom(x).
Stable(x) ⇐ body(x, y), support(x, z), above(y, z).
Open-vessel(x) ⇐ up-concave(x).
DT: - overly specific (explains only p1 and p2)
    - overly general (explains n3)

*   Operational predicates start with a lower-case letter

G. Tecuci                                                       27
Cup(x)
                                             deduction
                        Liftable(x), Stable(x), Open-vessel(x)
                         deduction
  p1,p2,n3                                           p1,p2,p3,p4,n2,n3,n4
 light(x), has-handle(x)                             light(x)
                                     induction
 Stable(x),Open-vessel(x)                            Stable(x),Open-vessel(x)
                                                             deduction
                                         deduction
                 p1,p3,n2,n3                         p2,p4,n4
                 light(x),                           light(x), body(x, y),
                 has-flat-bottom(x)                  support(x, z), above(y, z)
                 Open-vessel(x)                      Open-vessel(x)
                             induction                   deduction
            deduction
  p1,p3,n2,n3              p1,p3                      p2,p4
  light(x),                light(x),                 light(x), body(x, y),
  has-flat-bottom(x),      has-flat-bottom(x),       support(x, z), above(y, z),
  up-concave(x)            has-small-bottom(x)       up-concave(x)
                           Open-vessel(x)


G. Tecuci                                                                          28
The Learned Concept
            Cup(x) ⇐ light(x), has-flat-bottom(x),
                     has-small-bottom(x).
            Covers p1, p3

            Cup(x) ⇐ light(x), body(x, y), support(x, z),
                     above(y, z), up-concave(x).
            Covers p2, p4




G. Tecuci                                                   29
Application of ENIGMA
                     (Bergadano et al. 1990)

• Diagnosis of faults in electro-mechanical devices
     through an analysis of their vibrations
• 209 examples and 6 classes
• Typical example: 20 to 60 noisy measurements taken
     in different points and conditions of the device
• A learned rule:
     IF     the shaft rotating frequency is w0 and the harmonic   at
     w0 has high intensity and the harmonic at 2w0 has high intensity
     in at least two measurements
     THEN the example is an instance of C1 (problems in the joint),

G. Tecuci                                                             30
C4 (basement distortion) or C5 (unbalance)




G. Tecuci                                                31
Comparison Between
        the KB Learned by ENIGMA and
 the Hand-coded KB of the Expert System MEPS

                   Ambiguity Recognition Development
                    of rules    rate         time
       ENIGMA        1.21       0.95      4 months
            MEPS     1.46       0.95      18 months




G. Tecuci                                              32
1.3 INTEGRATION OF EMPIRICAL INDUCTIVE
 LEARNING, EXPLANATION-BASED LEARNING,
         AND LEARNING BY ANALOGY
     DISCIPLE (Tecuci, 1988; Tecuci and Kodratoff, 1990)

       Explanation             Analogy
       based mode            based mode

        explanation        analogy criterion



            problem1     problem2 ... problemn    general
            solution1    solution2    solutionn    rule

                        Empirical learning mode

G. Tecuci                                                   33
1.4 INTEGRATION OF GENETIC ALGORITHMS
      AND SYMBOLIC INDUCTIVE LEARNING
               GA-AQ (Vafaie and K.DeJong, 1991)

            feature set                          best feature
                              Genetic            subset
                              Algorithm

                goodness of                  feature
                recognition                   subset
                              evaluation
                                function
                              (EIL based)
                          training examples
        Application:       Texture recognition
                           18 initial features, 9 final features

G. Tecuci                                                          34
2. MULTISTRATEGY KNOWLEDGE BASE
      IMPROVEMENT (THEORY REVISION):
    METHODS, SYSTEMS AND APPLICATIONS
2.1 The class of learning tasks
2.2 Cooperating learning modules

2.3 Integrating elementary inferences
2.4 Applying learning modules in a problem
    solving environment

2.5 Applying different computational strategies

G. Tecuci                                         35
2.1 MULTISTRATEGY KNOWLEDGE BASE
        IMPROVEMENT (THEORY REVISION)
                  The class of learning tasks

             Training
            Examples                      Improved
                         Multistrategy   Knowledge
            Knowledge      Theory         Base (DT)
             Base (DT)     Reviser
                                          Inference
            Inference                       Engine
              Engine




G. Tecuci                                             36
Types of Theory Errors
                         (in a rule based system)
                                 Incorrect
                                   Theory
         some                                                      some
       positive
     examples
                   Overly                            Overly        negative
                                                                   examples
       are not    Specific                           General       are
     explained                                                     explained



    Additional             Missing              Extra            Missing
     Premise                Rule                Rule             Premise
    graspable(x) ⇐       graspable(x) ⇐     graspable(x) ⇐      graspable(x) ⇐
     width(x, small),      has-handle(x).    shape(x, round).      insulating(x).
      insulating(x),
      shape(x, round).




G. Tecuci                                                                           37
2.2 COOPERATING LEARNING MODULES
    (deduction, abduction and empirical induction)
         EITHER (Mooney and Ourston, 1991)
                                         examples

                                      Deduction
                                       Module
                     unprovable                          proofs of
                  positive examples                   negative examples
                                          rules


   Abduction                          Knowledge           rules   Minimal Cover and
                                                         to be
    Module                               Base           deleted     Rule Retractor

        partial            generalized               new rules and      undeletable rules
        proofs                rules                 specialized rules


    Minimal Cover and                  ungeneralizable rules    Empirical Induction
   Antecedent Retractor                                               Module

G. Tecuci                                                                                   38
Positive and negative examples of cups
cup(o1) ⇐ width(o1, small), light(o1), color(o1, red),
          styrofoam(o1), shape(o1, hem), has-flat-bottom(o1),
          up-concave(o1), volume(o1,8).


                  Imperfect Theory of Vessels
               cup(x) ⇐ stable(x), liftable(x), open-vessel(x).
               stable(x) ⇐ has-flat-bottom(x).
               liftable(x) ⇐ light(x), graspable(x).
               graspable(x) ⇐ has-handle(x).
               graspable(x) ⇐ width(x, small), insulating(x).
               insulating(x) ⇐ styrofoam(x).
               insulating(x) ⇐ ceramic(x).
               open-vessel(x) ⇐ up-concave(x).



G. Tecuci                                                         39
Applications of EITHER
   I. Molecular Biology: recognizing promoters
      and splice-junctions in DNA sequences
                                   100
        Correctness on test data




                                    90                        EITHER
                                   80
                                   70                         ID3   .




                                    60
                                   50
                                   40                             Training examples
                                         0    20   40   60   80

   II. Plant Pathology: diagnosing soybean diseases

G. Tecuci                                                                             40
2.3 INTEGRATING ELEMENTARY INFERENCES
                    MTL-JT (Tecuci, 1993, 1994)
• Deep integration of learning strategies
     integration of the elementary inferences that are employed by the
     single-strategy learning methods (e.g. deduction, analogy, empirical
     inductive prediction, abduction, deductive generalization, inductive
     generalization, inductive specialization, analogy-based generalization)

• Dynamic integration of learning strategies
     the order and the type of the integrated strategies depend of the
     relationship between the input information, the background
     knowledge and the learning goal

• Different types of input
     (e.g. facts, concept examples, problem solving episodes)

• Different types of DT knowledge pieces
     (e.g. facts, examples, implicative relationships, plausible determinations)

G. Tecuci                                                                    41
Assumptions for the Developed
               Framework and Method
Input:
• correct (noise free)
• one or several examples, facts, or problem solving episodes

Knowledge Base:
• incomplete and/or partially incorrect
• may include a variety of knowledge types (facts, examples, implicative
 or causal relationships, hierarchies, etc.)

Learning Goal:
• extend, update and/or improve the KB so as to integrate new input
 information




G. Tecuci                                                              42
An Illustration from the Domain of Geography

Knowledge Base

Facts:
      terrain(Philippines, flat), rainfall(Philippines, heavy), water-in-soil(Philippines, high)


Examples (of fertile soil):
      soil(Greece, fertile-soil) ⇐ soil(Greece, red-soil)
      soil(Egypt, fertile-soil) ⇐ terrain(Egypt, flat) & soil(Egypt, red-soil)


Plausible determination:
      water-in-soil(x, z) <≈ rainfall(x, y)


Deductive rules:
      soil(x, fertile-soil) ⇐ soil(x, loamy)
      temperature(x, warm) ⇐ climate(x, subtropical)
      temperature(x, warm) ⇐ climate(x, tropical)
      grows(x, rice) ⇐ water-in-soil(x, high) & temperature(x, warm) & soil(x, fertile-soil)




G. Tecuci                                                                                          43
Positive and negative examples of "grows(x, rice)"

Positive Example 1:
     grows(Thailand, rice) ⇐
           rainfall(Thailand, heavy) & climate(Thailand, tropical) & soil(Thailand, red-soil) &
           terrain(Thailand, flat) & location(Thailand, SE-Asia)


Positive Example 2:
     grows(Pakistan, rice) ⇐
           rainfall(Pakistan, heavy) & climate(Pakistan, subtropical) & soil(Pakistan, loamy) &
           terrain(Pakistan, flat) & location(Pakistan, SW-Asia)


Negative Example 3:
     ¬ grows(Jamaica, rice) ⇐
           rainfall(Jamaica, heavy) & climate(Jamaica, tropical) & soil(Jamaica, loamy) &
           terrain(Jamaica, abrupt) & location(Jamaica, Central-America)




G. Tecuci                                                                                         44
The learned knowledge
Improved KB
 New facts:
      water-in-soil(Thailand, high), water-in-soil(Pakistan, high)

 New plausible rule:
      soil(x, fertile-soil) ⇐ soil(x, red-soil)

 Specialized plausible determination:
      water-in-soil(x, z) <≈ rainfall(x, y), terrain(x, flat)


Concept definitions
 Operational definition of "grows(x, rice)":
 grows(x, rice) ⇐ rainfall(x,heavy) & terrain(x,flat) & [climate(x,tropical) ⁄ climate(x,subtropical)]
                  & [soil(x,red-soil) ۷soil(x,loamy)]

 Abstract definition of "grows(x, rice)":
 grows(x, rice) ⇐ water-in-soil(x, high) & temperature(x, warm) & soil(x, fertile-soil)

 Abstraction of Example 1:
 grows(Thailand, rice) ⇐ water-in-soil(Thailand, high) & temperature(Thailand, warm) &


G. Tecuci                                                                                          45
soil(Thailand, fertile-soil)




G. Tecuci                                  46
The Learning Method
            • For the first positive example I1:
               - build a plausible justification tree T of I1
               - build the plausible generalization Tu of T
               - generalize the KB so that to entail Tu

            • For each new positive example Ii:
               - generalize Tu so as to cover a plausible justification tree of Ii
               - generalize the KB so that to entail the new Tu

            • For each new negative example Ii:
               - specialize Tu so as not to cover any plausible justification of Ii
               - specialize the KB so that to entail the new Tu without entailing
              the previous Tu

            • Learn different concept definitions:
               - extract different concept definitions from the general
              justification tree Tu


G. Tecuci                                                                             47
Build a plausible justification of the first example

                             grows(Thailand, rice)
                                   deduction
water-in-soil(Thailand, high)                         soil(Thailand, fertile-soil)
                         temperature(Thailand, warm)
            analogy                                      inductive prediction
                                                            and abduction
                                   deduction
  rainfall(Thailand, heavy)                            soil(Thailand, red-soil)
                           climate(Thailand, tropical)
Example 1:
grows(Thailand, rice)⇐ rainfall(Thailand, heavy) & soil(Thailand, red-soil) &
        terrain(Thailand, flat) & location(Thailand, SE-Asia) &
        climate(Thailand, tropical)




G. Tecuci                                                                      48
Multitype generalization

                              grows(x1, rice)

                         DEDUCTIVE GENERALIZATION


                            temperature(x1, warm)
water-in-soil(x1, high)             |||              soil(x1, fertile-soil)
            |||             temperature(x3, warm)             |||
water-in-soil(x2, high)                              soil(x4, fertile-soil)

       GENERALIZATION           DEDUCTIVE
         BASED ON             GENERALIZATION              INDUCTIVE
         ANALOGY                                        GENERALIZATION


      rainfall(x2, heavy)    climate(x3, tropical)    soil(x4, red-soil)




G. Tecuci                                                                     49
Build the plausible generalization Tu of T

                                    grows(x, rice)

                                 DEDUCTIVE GENERALIZATION


                                  temperature(x, warm)
    water-in-soil(x, high)                                  soil(x, fertile-soil)


            GENERALIZATION             DEDUCTIVE
              BASED ON               GENERALIZATION              INDUCTIVE
              ANALOGY                                          GENERALIZATION


            rainfall(x, heavy)     climate(x, tropical)      soil(x, red-soil)




G. Tecuci                                                                           50
The plausible generalization tree
            corresponding to the three input examples
                                grows(x, rice)

                         DEDUCTIVE GENERALIZATION

                             temperature(x, warm)
    water-in-soil(x, high)                              soil(x, fertile-soil)
                                      OR
                                                                 OR
  GENERALIZATION                              INDUCTIVE
                             DEDUCTIVE     GENERALIZATION
    BASED ON     INDUCTIVE GENERALIZATIONS
   ANALOGY SPECIALIZATION                               DEDUCTIVE
                                                    GENERALIZATION
                  terrain(x, flat)               soil(x, red-soil)
  rainfall(x, heavy)                                          soil(x, loamy)

                climate(x, subtropical) climate(x, tropical)



G. Tecuci                                                                       51
Features of the MTL-JT method
            • Is general and extensible

            • Integrates dynamically different elementary inferences

            • Uses different types of generalizations

            • Is able to learn from different types of input

            • Is able to learn different types of knowledge

            • Is supported by the research in Experimental Psychology

            • Exhibits synergistic behavior

            • May behave as any of the integrated strategies




G. Tecuci                                                               52
2.4 APPLYING LEARNING MODULES IN
        A PROBLEM SOLVING ENVIRONMENT
  PRODIGY (Carbonell, Knoblock and Minton, 1989)

            • Performance engine
                 Planner based on state space search
            • Learning strategies
                 Explanation-based learning
                 Learning by analogy
                 Learning by abstraction
                 Learning by experimentation

            • Applications
                 Machine-shop scheduling

G. Tecuci                                              53
High-level robotic planning




G. Tecuci                                 54
The PRODIGY Architecture

              Control       Problem
            Knowledge                        Domain
                                           Knowledge
             Evaluation        User
            Compression     Interface      Abstraction
                            PROBLEM          Builder
                EBL
                             SOLVER
               Plan        Deriv. Multi-   Abstraction
              Library     Replay Level      Hierarchy
             Derivation
             Extractor      PS Trace       Experimenter

                             Solution        External
                                            Processes



G. Tecuci                                                 55
Independent Learning Systems
               in a Uniform Environment
    MLT (LRI, ISoft, CGE-LdM, INRIA, BAe, Aberdeen,
      Turing Institute, GMD, Siemens, Coimbra, Forth)

 10 independent ML systems
 loosely integrated through:                    APT (DISCIPLE)

   • a common interface;                            KBG
                               Consultant
   • a consultant;                                 MOBAL
   • a common knowledge                             NewID
     representation language                          •
                             Common Interface         •
     (for communication)                              •


G. Tecuci                                                        56
2.5 APPLYING DIFFERENT
             COMPUTATIONAL STRATEGIES
            (symbolic rules and neural networks)
              KBANN (Towell and Shavlik, 1991)
              Imperfect                     Improved
               Symbolic                      Symbolic
                 KB                             KB

            Rules to Network              Network to Rules
               Translator                    Translator

                Initial
               Network         Network       Trained
                               Learning      Network
                Training
               Examples

G. Tecuci                                                    57
Rules to Network Translator

                      A                            A
A ⇐ B, C.

                  B                        B
B ⇐ not H.


B ⇐ not F, G.             C        X               Y       C


C ⇐ I, J.
                F G H I J K    F       G       H       I   J        K


G. Tecuci                                                      58
Network to Rules Translator
                       (N of M rules)
                         Z                                          Z
                      bias=10.9                                 bias=10.9


            6.2 6.0 1.0 1.2                                  6.1 6.1 1.1 1.1
             1.2   1.0  6.0                                   6.1   1.1  1.1

        A B C D E                       F G          A C        F   D E     B G
                         Z
                      bias=10.9

                                            6.1 * 2 > 10.9
                6.1      6.1      6.1                         Z ⇐ [2 of {A, C, F}]

            A            C              F

G. Tecuci                                                                            59
Error Rates
                  Promoter Domain            Splice-Junction Domain
  Initial KB:            50%                           39%
        16                                     16
                  Training set
                  Testing set         12.0     12
         12
 Error rate




              8                                 8    7.4           7.2   .




              4   2.9         3.8               4
                        2.4                                  2.3
                0.4
              0                     0.0         0 0.0
                KBANN N of M        EITHER        KBANN      N of M
                network                          network

G. Tecuci                                                                    60
3. SUMMARY, CURRENT TRENDS
                  AND FRONTIER RESEARCH
            • Summary of application domains
            • Issues in selecting a multistrategy
              learning method
            • Current trends in multistrategy learning
            • Areas of frontier research




G. Tecuci                                                61
SUMMARY OF APPLICATION DOMAINS
• Classification: DNA concepts (EITHER, KBANN)
                 texture recognition (AQ-GA, GA-AQ)
• Diagnosis: mechanical trouble-shooting (ENIGMA)
              plant pathology (EITHER)
• Manufacturing: loudspeakers (DISCIPLE1)
• Planning: high-level robot planning (PRODIGY)
• Prediction: economic sanctions (OCCAM)
• Scheduling: machine-shop scheduling (PRODIGY)
• Critiquing: military courses of action (Disciple-COA)
G. Tecuci                                                 62
• Identification: mil. center of gravity (Disciple-COG)




G. Tecuci                                                 63
SOME ISSUES IN SELECTING A
       MULTISTRATEGY LEARNING METHOD
            • Learning problem: - concept learning
                                - theory revision

            • Input data: - positive examples only
                         - positive and negative examples
                         - noisy examples

            • Domain theory: - weak
                             - complete
                             - incomplete
                             - partially incorrect

G. Tecuci                                                   64
CURRENT TRENDS IN MSL
      • Comparisons of learning strategies
      • New ways of integrating learning strategies
      • Dealing with incomplete or noisy examples
      • General frameworks for MSL
      • Integration of MSL and knowledge acquisition
      • Integration of MSL and problem solving

G. Tecuci                                              65
• Applications of MSL systems




G. Tecuci                             66
FRONTIER RESEARCH
      • Synergistic integration of a wide range of
            learning strategies

      • The representation and use of learning goals in
            MSL systems

      • Evaluation of the certainty of the learned
            knowledge

      • Investigation of human learning as MSL
      • More comprehensive theories of learning

G. Tecuci                                             67
4. REFERENCES
            • Proceedings of the International Conferences on Machine
              Learning, ICML-87, … , ICML-02, Morgan Kaufmann, San
              Mateo, 1987- 2002.
            • Proceedings of the International Workshops on Multistrategy
              Learning, MSL-91, MSL-93, MSL-96, MSL-98.
            • Special Issue on Multistrategy Learning, Machine Learning
              Journal, 1993.
            • Special Issue on Multistrategy Learning, Informatica, vol. 17.
              no.4, 1993.
            • Machine Learning: A Multistrategy Approach Volume IV,
              Michalski R.S. and Tecuci G. (Eds.), Morgan Kaufmann, San
              Mateo, 1994.




G. Tecuci                                                                  68
Bibliography

Bala, J., DeJong, K. and Pachowicz, P., "Multistrategy Learning from Engineering Data by Integrating Inductive Generalization
and Genetic Algorithms," in Proc.of the First Int.Workshop on Multistrategy Learning, Nov. 1991. Also in Machine Learning: A
Multistrategy Approach Volume 4, R.S. Michalski and G. Tecuci (Eds.), San Mateo, CA, Morgan Kaufmann, 1994.
Bergadano, F., Giordana, A. and Saitta, L., "Automated Concept Acquisition in Noisy Environments," IEEE Transactions on
Pattern Analysis and Machine Intelligence, 10 (4), pp. 555-577, 1988.
Bergadano, F., Giordana, A., Saitta, L., De Marchi D. and Brancadori, F., "Integrated Learning in a Real Domain," in B.W.
Porter and R.J. Mooney (Eds. ), Proceedings of the 7th International Machine Learning Conference, Austin, TX, 1990.
Bergadano, F. and Giordana, A., "Guiding Induction with Domain Theories," in Machine Learning: An Artificial Intelligence
Approach Vollume 3, Y. Kodratoff and R.S. Michalski (Eds.), San Mateo, CA, Morgan Kaufmann, 1990.
Birnbaum, L. and Collins, G. (Eds.), Machine Learning: Proceedings of the Eighth International Workshop, Chicago, IL, Morgan
Kaufmann, 1991.
Bloedorn E., Wnek, J. and Michalski, R.S. “Multistrategy Constructive Induction,” in Proceedings of the Second International
Workshop on Multistrategy Learning, R.S. Michalski and G. Tecuci (Eds.), Center for AI, George Mason University, May, 1993.
Carbonell, J.G., Knoblock C.A. and Minton M., "PRODIGY: An Integrated Architecture for Planning and Learning," Research
Report, CMU-CS-89-189, School of Computer Science, Carnegie Mellon University, Pittsburgh, PA 15-213, 1989.
Cohen, W., "The Generality of Overgenerality," in Machine Learning: Proceedings of the Eighth International Workshop, L.
Birnbaum and G. Collins (Eds.), Chicago, IL, Morgan Kaufmann, pp. 490-494, 1991.
Danyluk, A.P., "The Use of Explanations for Similarity-Based Learning," Proceedings of the International Joint Conference on
Artificial Intelligence, Milan, Italy, Morgan Kaufmann, pp. 274-276, 1987.
DeJong, G. and Mooney, R.J., "Explanation-Based Learning: An Alternative View," Machine Learning, Vol. 1, pp. 145-176, 1986.

Flann, N., and Dietterich, T., "A Study of Explanation-based Methods for Inductive Learning," Machine Learning, Vol. 4, pp.
187-266, 1989.



G. Tecuci                                                                                                                 69
Genest, J., Matwin, S. and Plante, B., "Explanation-based Learning with Incomplete Theories: A Three-step Approach," in Machine
Learning: Proc. of the Eighth International Workshop, B.W. Porter and R.J. Mooney (Eds.), TX, Morgan Kaufmann, 1990.
Gordon, D.F., "An Enhancer for Reactive Plans," in Machine Learning: Proceedings of the Eighth International Workshop, L.
Birnbaum, and G. Collins (Eds.), Chicago, IL, Morgan Kaufmann, pp. 505-508, 1991
Hieb, M. and Michalski, R.S. “Knowledge Representation for Multistrategy Task-adaptive Learning: Dynamic Interlaced
Hierarchies,” in Proceedings of the Second International Workshop on Multistrategy Learning, R.S. Michalski and G. Tecuci (Eds.),
Center for AI, George Mason University, May, 1993.

Hirsh, H., "Combining Empirical and Analytical Learning with Version Spaces," in Proc. of the Sixth International Workshop on
Machine Learning, A. M. Segre (Ed.), Cornell University, Ithaca, New York, June 26-27, 1989.

Hirsh, H., "Incremental Version-space Merging," in Proceedings of the 7th International Machine Learning Conference, B.W. Porter
and R.J. Mooney (Eds. ), Austin, TX, 1990.

Kedar-Cabelli, S. T., "Issues and Case Studies in Purpose-Directed Analogy," Ph.D. Thesis, Rutgers University, New Brunswick,
NJ, 1987.

Kodratoff, Y. and Michalski, R.S. (Eds.) Machine Learning: An Artificial Intelligence Approach Volume 3, Morgan Kaufmann
Publishers, Inc., 1990.

Kodratoff, Y. and Tecuci, G., “DISCIPLE-1: Interactive Apprentice System in Weak Theory Fields,” Proceedings of IJCAI-87, pp.
271-273, Milan, Italy, 1987.

Laird, J.E., (Ed.), Proceedings of the Fifth International Conference on Machine Learning, University of Michigan, Ann Arbor,
June 12-14, 1988.

Laird, J.E., Rosenbloom, P.S. and Newell A., “Chunking in SOAR: the Anatomy of a General Learning Mechanism,” Machine
Learning, Vol. 1, No. 1, pp. 11-46, 1986.

Lebowitz, M., "Integrated Learning: Controlling Explanation," Cognitive Science, Vol. 10, pp. 219-240, 1986.
Mahadevan, S., "Using Determinations in Explanation-based Learning: A Solution to Incomplete Theory Problem," in Proceedings
of the Sixth International Workshop on Machine Learning, A. Segre (Ed.), Ithaca, NY, Morgan Kaufman, 1989.
Michalski, R.S., “Theory and Methodology of Inductive Learning,” Machine Learning: An Artificial Intelligence Approach, R.S.


G. Tecuci                                                                                                                     70
Michalski, J.G. Carbonell, T.M. Mitchell (Eds.), Tioga Publishing Co.(now Morgan Kaufmann), 1983.

Michalski, R.S., “Inferential Theory of Learning as a Conceptual Framework for Multistrategy Learning,” Machine Learning
Journal, Special Issue on Multistrategy Learning, vol.11, no. 2&3, Guest Editor: R.S. Michalski, 1993.

Michalski, R.S., "Inferential Learning Theory: Developing Theoretical Foundations for Multistrategy Learning," in Machine
Learning: A Multistrategy Approach Volume 4, R.S. Michalski and G. Tecuci (Eds.), San Mateo, CA, Morgan Kaufmann, 1994.

Michalski, R.S. and Tecuci, G. (Eds.), Proceedings of the First International Workshop on Multistrategy Approach, Harpers Ferry,
WV, November 7-9, Center for Artificial Intelligence, George Mason University, 1991.

Michalski, R.S. and Tecuci, G. (Eds.), Proceedings of the Second International Workshop on Multistrategy Approach, Harpers
Ferry, WV, May 26-29, Center for Artificial Intelligence, George Mason University, 1993.

Michalski, R.S. and Tecuci, G. (Eds.), Machine Learning: A Multistrategy Approach Volume 4, Morgan Kaufmann Publishers, San
Mateo, CA, 1993.

Michalski, R.S. and Tecuci, G., "Multistrategy Learning," in Encyclopedia of Microcomputers, Vol.12, Marcel Deker, New York,
1993.

Mitchell, T.M., Keller, T. and Kedar-Cabelli, S., "Explanation-Based Generalization: A Unifying View," Machine Learning, Vol.
1, pp. 47-80, 1986.

Mitchell, T.M., "Version Spaces: an Approach to Concept Learning," Doctoral Dissertation, Stanford University, 1978.
Mooney, R.J. and Ourston, D., "Induction Over Unexplained: Integrated Learning of Concepts with Both Explainable and
Conventional Aspects,", in Proc. of the Sixth International Workshop on Machine Learning, A.M. Segre (Ed.), Cornell University,
Ithaca, New York, June 26-27, 1989.

Mooney, R.J. and Ourston, D., "A Multistrategy Approach to Theory Refinement," in Proceedings of the First International
Workshop on Multistrategy Learning, Center for AI, George Mason University, November, 1991. Also in Machine Learning: A
Multistrategy Approach Volume 4, R.S. Michalski and G. Tecuci (Eds.), San Mateo, CA, Morgan Kaufmann, 1994.
Morik, K., "Balanced Cooperative Modeling," in Machine Learning: A Multistrategy Approach Volume 4, R.S. Michalski and G.
Tecuci (Eds.), San Mateo, CA, Morgan Kaufmann, 1994.
Pazzani, M.J., "Integrating Explanation-Based and Empirical Learning Methods in OCCAM," Proceedings of the Third European


G. Tecuci                                                                                                                    71
Working Session on Learning, Glasgow, Scotland, pp. 147-166, 1988.

Pazzani, M.J., Creating a Memory of Causal Relationships: an Integration of Empirical and Explanation-Based Learning Methods,
Lawrence Erlbaum, New Jersey, 1990.

Porter, B.W. and Mooney, R.J. (Eds. ), Proc. of the 7th International Machine Learning Conference, Austin, TX, 1990.
De Raedt, L. and Bruynooghe, M., "CLINT: a Multistrategy Interactive Concept Learner and Theory Revision System," in
Proceedings of the First International Workshop on Multistrategy Learning, R.S. Michalski and G. Tecuci (Eds.), Center for AI,
George Mason University, November, 1991.

Ram A. and Cox M., "Introspective Reasoning using Meta-explanations for Multistrategy Learning," in Machine Learning: A
Multistrategy Approach Volume 4, R.S. Michalski and G. Tecuci (Eds.), San Mateo, CA, Morgan Kaufmann, 1994.

Russell, S., "The Use of Knowledge in Analogy and Induction," Morgan Kaufman Publishers, Inc., San Mateo, CA, 1989.
Saitta, L. and Botta, M., "Multistrategy Learning and Theory Revision," Machine Learning Journal, Special Issue on Multistrategy
Learning, vol.11, no. 2&3, Guest Editor: R.S. Michalski, 1993.
Segen, J., "GEST: A Learning Computer Vision System that Recognizes Hand Gestures," in Machine Learning: A Multistrategy
Approach Volume 4, R.S. Michalski and G. Tecuci (Eds.), San Mateo, CA, Morgan Kaufmann, 1994.
Segre, A.M. (Ed.), Proc. of the Sixth IntWorkshop on Machine Learning, Cornell Univ., Ithaca, New York, June 26-27, 1989.

Shavlik, J.W. and Towell, G.G., "An Approach to Combining Explanation-based and Neural Learning Algorithms," in Readings in
Machine Learning, J.W. Shavlik and T. Dietterich (Eds.), Morgan Kaufmann, 1990.

Sleeman, D. and Edwards, P., Proceedings of the Ninth International Workshop on Machine Learning (ML92), Morgan Kaufman
Publishers, Aberdeen, July 1-3, 1992.

Tecuci, G., DISCIPLE: A Theory, Methodology, and System for Learning Expert Knowledge. Ph.D. Thesis, University of Paris-
South, 1988.

Tecuci, G., "An Inference-Based Framework for Multistrategy Learning," in Machine Learning: A Multistrategy Approach Volume
4, R.S. Michalski and G. Tecuci (Eds.), San Mateo, CA, Morgan Kaufmann, 1994.

Tecuci, G. and Kodratoff, Y., "Apprenticeship Learning in Imperfect Theory Domains," in Machine Learning: An Artificial


G. Tecuci                                                                                                                    72
Intelligence Approach Volume 3, Y. Kodratoff and R.S. Michalski (Eds.), San Mateo, CA, Morgan Kaufmann, 1990.

Tecuci, G. and Michalski, R.S., "A Method for Multistrategy Task-adaptive Learning Based on Plausible Justifications," in Machine
Learning: Proceedings of the Eighth International Workshop, L. Birnbaum and G. Collins (Eds.), Chicago, IL, Morgan Kaufmann,
pp. 549-553, 1991.
Towell, G.G. and Shavlik, J.W., "Refining Symbolic Knowledge Using Neural Networks," in Proceedings of the First International
Workshop on Multistrategy Learning, Center for AI, George Mason University, November, 1991. Also in Machine Learning: A
Multistrategy Approach Volume 4, R.S. Michalski and G. Tecuci (Eds.), San Mateo, CA, Morgan Kaufmann, 1994.

Vafaie, H. and DeJong, K., "Improving the Performance of a Rule Induction System Using Genetic Algorithms," in Proceedings of
the First International Workshop on Multistrategy Learning, Center for AI, George Mason University, Nov. 1991. Also in Machine
Learning: A Multistrategy Approach Volume 4, R.S. Michalski and G. Tecuci (Eds.), San Mateo, CA, Morgan Kaufmann, 1994.
Veloso, M. and Carbonell, J.G., "Automating Case Generation, Storage, and Retrieval in PRODIGY," in Machine Learning: A
Multistrategy Approach Volume 4, R.S. Michalski and G. Tecuci (Eds.), San Mateo, CA, Morgan Kaufmann, 1994.
Whitehall, B.L., "Knowledge-based Learning: Integration of Deductive and Inductive Leaning for Knowledge Base Completion,"
PhD Thesis, University of Illinois at Champaign-Urbana, 1990.
Whitehall, B.L. and Lu, S.C-Y., "Theory Completion using Knowledge-Based Learning," in Machine Learning: A Multistrategy
Approach Volume 4, R.S. Michalski and G. Tecuci (Eds.), San Mateo, CA, Morgan Kaufmann, 1994.
Widmer, G., "A Tight Integration of Deductive and Inductive Learning," Proceedings of the Sixth International Workshop on
Machine Learnin, A. Segre (Ed.), Ithaca, NY, Morgan Kaufmann, 1989.
Widmer, G., "Learning with a Qualitative Domain Theory by Means of Plausible Explanations," in Machine Learning: A
Multistrategy Approach Volume 4, R.S. Michalski and G. Tecuci (Eds.), San Mateo, CA, Morgan Kaufmann, 1994.
Wilkins, D.C., Clancey, W.J. and Buchanan, B.G., An Overview of the Odysseus Learning Apprentice, Kluwer Academic Press,
New York, NY, 1986.
Wilkins, D.C., "Knowledge Base Refinement as Improving an Incorrect and Incomplete Domain Theory," in Machine Learning: An
Artificial Intelligence Approach Volume 3, Y. Kodratoff and R.S. Michalski (Eds.), San Mateo, CA, Morgan Kaufmann, 1990.
Wnek, J. and Hieb, M., "Bibliography of Multistrategy Learning Research," in Machine Learning: A Multistrategy Approach
Volume 4, R.S. Michalski and G. Tecuci (Eds.), San Mateo, CA, Morgan Kaufmann, 1994.


G. Tecuci                                                                                                                     73

Weitere ähnliche Inhalte

Was ist angesagt?

Clustering Based Approach Extracting Collocations
Clustering Based Approach Extracting CollocationsClustering Based Approach Extracting Collocations
Clustering Based Approach Extracting CollocationsBEN MOHAMED Mohamed Achraf
 
Manifold Learning
Manifold LearningManifold Learning
Manifold LearningPhong Vo
 
2008 : A Case Study: How to Speed Up the Simplex Algorithms on Problems Minim...
2008 : A Case Study: How to Speed Up the Simplex Algorithms on Problems Minim...2008 : A Case Study: How to Speed Up the Simplex Algorithms on Problems Minim...
2008 : A Case Study: How to Speed Up the Simplex Algorithms on Problems Minim...jensenbo
 
Cerutti--Knowledge Representation and Reasoning (postgrad seminar @ Universit...
Cerutti--Knowledge Representation and Reasoning (postgrad seminar @ Universit...Cerutti--Knowledge Representation and Reasoning (postgrad seminar @ Universit...
Cerutti--Knowledge Representation and Reasoning (postgrad seminar @ Universit...Federico Cerutti
 
Logical Inference in RTE
Logical Inference in RTELogical Inference in RTE
Logical Inference in RTEKilian Evang
 

Was ist angesagt? (6)

Clustering Based Approach Extracting Collocations
Clustering Based Approach Extracting CollocationsClustering Based Approach Extracting Collocations
Clustering Based Approach Extracting Collocations
 
Manifold Learning
Manifold LearningManifold Learning
Manifold Learning
 
2008 : A Case Study: How to Speed Up the Simplex Algorithms on Problems Minim...
2008 : A Case Study: How to Speed Up the Simplex Algorithms on Problems Minim...2008 : A Case Study: How to Speed Up the Simplex Algorithms on Problems Minim...
2008 : A Case Study: How to Speed Up the Simplex Algorithms on Problems Minim...
 
Cerutti--Knowledge Representation and Reasoning (postgrad seminar @ Universit...
Cerutti--Knowledge Representation and Reasoning (postgrad seminar @ Universit...Cerutti--Knowledge Representation and Reasoning (postgrad seminar @ Universit...
Cerutti--Knowledge Representation and Reasoning (postgrad seminar @ Universit...
 
SSBSE11b.ppt
SSBSE11b.pptSSBSE11b.ppt
SSBSE11b.ppt
 
Logical Inference in RTE
Logical Inference in RTELogical Inference in RTE
Logical Inference in RTE
 

Andere mochten auch

Machine learning for high-speed corner detection
Machine learning for high-speed corner detectionMachine learning for high-speed corner detection
Machine learning for high-speed corner detectionbutest
 
L'hiver en Russie
L'hiver en RussieL'hiver en Russie
L'hiver en RussieLily Lake
 
Learning to Search Henry Kautz
Learning to Search Henry KautzLearning to Search Henry Kautz
Learning to Search Henry Kautzbutest
 
Machine Learning
Machine LearningMachine Learning
Machine Learningbutest
 
Download
DownloadDownload
Downloadbutest
 
local_learning.doc - Word Format
local_learning.doc - Word Formatlocal_learning.doc - Word Format
local_learning.doc - Word Formatbutest
 
Machine Learning for Application-Layer Intrusion Detection
Machine Learning for Application-Layer Intrusion DetectionMachine Learning for Application-Layer Intrusion Detection
Machine Learning for Application-Layer Intrusion Detectionbutest
 
Download Materials
Download MaterialsDownload Materials
Download Materialsbutest
 
Presentación kandinsky
Presentación kandinskyPresentación kandinsky
Presentación kandinskyhome
 
tutorial2.docx - Fedora Tutorial
tutorial2.docx - Fedora Tutorialtutorial2.docx - Fedora Tutorial
tutorial2.docx - Fedora Tutorialbutest
 
Presented Paper
Presented PaperPresented Paper
Presented Paperbutest
 
Презентация УИС для учебных заведений
Презентация УИС для учебных заведенийПрезентация УИС для учебных заведений
Презентация УИС для учебных заведенийsoftmotions
 
Slides
SlidesSlides
Slidesbutest
 
Curriculum Vitae
Curriculum VitaeCurriculum Vitae
Curriculum Vitaebutest
 
Project Presentation
Project PresentationProject Presentation
Project Presentationbutest
 
Proposed-curricula-MCSEwithSyllabus_24_...
Proposed-curricula-MCSEwithSyllabus_24_...Proposed-curricula-MCSEwithSyllabus_24_...
Proposed-curricula-MCSEwithSyllabus_24_...butest
 
農業委員會:「農藥管理法」部分條文修正草案
農業委員會:「農藥管理法」部分條文修正草案農業委員會:「農藥管理法」部分條文修正草案
農業委員會:「農藥管理法」部分條文修正草案R.O.C.Executive Yuan
 

Andere mochten auch (20)

Machine learning for high-speed corner detection
Machine learning for high-speed corner detectionMachine learning for high-speed corner detection
Machine learning for high-speed corner detection
 
L'hiver en Russie
L'hiver en RussieL'hiver en Russie
L'hiver en Russie
 
Learning to Search Henry Kautz
Learning to Search Henry KautzLearning to Search Henry Kautz
Learning to Search Henry Kautz
 
Machine Learning
Machine LearningMachine Learning
Machine Learning
 
Download
DownloadDownload
Download
 
local_learning.doc - Word Format
local_learning.doc - Word Formatlocal_learning.doc - Word Format
local_learning.doc - Word Format
 
Machine Learning for Application-Layer Intrusion Detection
Machine Learning for Application-Layer Intrusion DetectionMachine Learning for Application-Layer Intrusion Detection
Machine Learning for Application-Layer Intrusion Detection
 
Download Materials
Download MaterialsDownload Materials
Download Materials
 
Presentación kandinsky
Presentación kandinskyPresentación kandinsky
Presentación kandinsky
 
tutorial2.docx - Fedora Tutorial
tutorial2.docx - Fedora Tutorialtutorial2.docx - Fedora Tutorial
tutorial2.docx - Fedora Tutorial
 
Presented Paper
Presented PaperPresented Paper
Presented Paper
 
Презентация УИС для учебных заведений
Презентация УИС для учебных заведенийПрезентация УИС для учебных заведений
Презентация УИС для учебных заведений
 
P-6
P-6P-6
P-6
 
Slides
SlidesSlides
Slides
 
Curriculum Vitae
Curriculum VitaeCurriculum Vitae
Curriculum Vitae
 
Project Presentation
Project PresentationProject Presentation
Project Presentation
 
Mafalda 1
Mafalda 1Mafalda 1
Mafalda 1
 
Proposed-curricula-MCSEwithSyllabus_24_...
Proposed-curricula-MCSEwithSyllabus_24_...Proposed-curricula-MCSEwithSyllabus_24_...
Proposed-curricula-MCSEwithSyllabus_24_...
 
.ppt
.ppt.ppt
.ppt
 
農業委員會:「農藥管理法」部分條文修正草案
農業委員會:「農藥管理法」部分條文修正草案農業委員會:「農藥管理法」部分條文修正草案
農業委員會:「農藥管理法」部分條文修正草案
 

Ähnlich wie 12-Multistrategy-learning.doc

Conservative Extensions and Modularity in Ontologies
Conservative Extensions and Modularity in OntologiesConservative Extensions and Modularity in Ontologies
Conservative Extensions and Modularity in OntologiesJie Bao
 
Knowledge Capturing via Conceptual Reframing: A Goal-oriented Framework for K...
Knowledge Capturing via Conceptual Reframing: A Goal-oriented Framework for K...Knowledge Capturing via Conceptual Reframing: A Goal-oriented Framework for K...
Knowledge Capturing via Conceptual Reframing: A Goal-oriented Framework for K...Antonio Lieto
 
Commonsense reasoning as a key feature for dynamic knowledge invention and co...
Commonsense reasoning as a key feature for dynamic knowledge invention and co...Commonsense reasoning as a key feature for dynamic knowledge invention and co...
Commonsense reasoning as a key feature for dynamic knowledge invention and co...Antonio Lieto
 
Representing and Reasoning with Modular Ontologies
Representing and Reasoning with Modular OntologiesRepresenting and Reasoning with Modular Ontologies
Representing and Reasoning with Modular OntologiesJie Bao
 
Pal gov.tutorial4.session1 2.whatisontology
Pal gov.tutorial4.session1 2.whatisontologyPal gov.tutorial4.session1 2.whatisontology
Pal gov.tutorial4.session1 2.whatisontologyMustafa Jarrar
 
2013 April APS - Materials for active engagement in nuclear and particle phys
2013 April APS - Materials for active engagement in nuclear and particle phys2013 April APS - Materials for active engagement in nuclear and particle phys
2013 April APS - Materials for active engagement in nuclear and particle physJeff Loats
 
Learning bounds for risk-sensitive learning
Learning bounds for risk-sensitive learningLearning bounds for risk-sensitive learning
Learning bounds for risk-sensitive learningALINLAB
 
UC Berkeley psychologist Tania Lombrozo on Explanations
UC Berkeley psychologist Tania Lombrozo on ExplanationsUC Berkeley psychologist Tania Lombrozo on Explanations
UC Berkeley psychologist Tania Lombrozo on Explanationspiero scaruffi
 
Representing and Reasoning with Modular Ontologies (2007)
Representing and Reasoning with Modular Ontologies (2007)Representing and Reasoning with Modular Ontologies (2007)
Representing and Reasoning with Modular Ontologies (2007)Jie Bao
 
The logic(s) of informal proofs (tyumen, western siberia 2019)
The logic(s) of informal proofs (tyumen, western siberia 2019)The logic(s) of informal proofs (tyumen, western siberia 2019)
The logic(s) of informal proofs (tyumen, western siberia 2019)Brendan Larvor
 
Reading papers - survey on Non-Convex Optimization
Reading papers - survey on Non-Convex OptimizationReading papers - survey on Non-Convex Optimization
Reading papers - survey on Non-Convex OptimizationX 37
 
AI3391 Artificial Intelligence Session 25 Horn clause.pptx
AI3391 Artificial Intelligence Session 25 Horn clause.pptxAI3391 Artificial Intelligence Session 25 Horn clause.pptx
AI3391 Artificial Intelligence Session 25 Horn clause.pptxAsst.prof M.Gokilavani
 
Poggi analytics - ebl - 1
Poggi   analytics - ebl - 1Poggi   analytics - ebl - 1
Poggi analytics - ebl - 1Gaston Liberman
 
artificial intelligence.pptx
artificial intelligence.pptxartificial intelligence.pptx
artificial intelligence.pptxSabthamiS1
 
Tutorial SUM 2012: some of the things you wanted to know about uncertainty (b...
Tutorial SUM 2012: some of the things you wanted to know about uncertainty (b...Tutorial SUM 2012: some of the things you wanted to know about uncertainty (b...
Tutorial SUM 2012: some of the things you wanted to know about uncertainty (b...Sebastien Destercke
 
Probabilistic Abductive Logic Programming using Possible Worlds
Probabilistic Abductive Logic Programming using Possible WorldsProbabilistic Abductive Logic Programming using Possible Worlds
Probabilistic Abductive Logic Programming using Possible WorldsFulvio Rotella
 
SOFIE - A Unified Approach To Ontology-Based Information Extraction Using Rea...
SOFIE - A Unified Approach To Ontology-Based Information Extraction Using Rea...SOFIE - A Unified Approach To Ontology-Based Information Extraction Using Rea...
SOFIE - A Unified Approach To Ontology-Based Information Extraction Using Rea...Tobias Wunner
 

Ähnlich wie 12-Multistrategy-learning.doc (20)

Conservative Extensions and Modularity in Ontologies
Conservative Extensions and Modularity in OntologiesConservative Extensions and Modularity in Ontologies
Conservative Extensions and Modularity in Ontologies
 
Knowledge Capturing via Conceptual Reframing: A Goal-oriented Framework for K...
Knowledge Capturing via Conceptual Reframing: A Goal-oriented Framework for K...Knowledge Capturing via Conceptual Reframing: A Goal-oriented Framework for K...
Knowledge Capturing via Conceptual Reframing: A Goal-oriented Framework for K...
 
Introduction to Prolog
Introduction to PrologIntroduction to Prolog
Introduction to Prolog
 
Commonsense reasoning as a key feature for dynamic knowledge invention and co...
Commonsense reasoning as a key feature for dynamic knowledge invention and co...Commonsense reasoning as a key feature for dynamic knowledge invention and co...
Commonsense reasoning as a key feature for dynamic knowledge invention and co...
 
Representing and Reasoning with Modular Ontologies
Representing and Reasoning with Modular OntologiesRepresenting and Reasoning with Modular Ontologies
Representing and Reasoning with Modular Ontologies
 
Pal gov.tutorial4.session1 2.whatisontology
Pal gov.tutorial4.session1 2.whatisontologyPal gov.tutorial4.session1 2.whatisontology
Pal gov.tutorial4.session1 2.whatisontology
 
2013 April APS - Materials for active engagement in nuclear and particle phys
2013 April APS - Materials for active engagement in nuclear and particle phys2013 April APS - Materials for active engagement in nuclear and particle phys
2013 April APS - Materials for active engagement in nuclear and particle phys
 
Learning bounds for risk-sensitive learning
Learning bounds for risk-sensitive learningLearning bounds for risk-sensitive learning
Learning bounds for risk-sensitive learning
 
UC Berkeley psychologist Tania Lombrozo on Explanations
UC Berkeley psychologist Tania Lombrozo on ExplanationsUC Berkeley psychologist Tania Lombrozo on Explanations
UC Berkeley psychologist Tania Lombrozo on Explanations
 
Representing and Reasoning with Modular Ontologies (2007)
Representing and Reasoning with Modular Ontologies (2007)Representing and Reasoning with Modular Ontologies (2007)
Representing and Reasoning with Modular Ontologies (2007)
 
The logic(s) of informal proofs (tyumen, western siberia 2019)
The logic(s) of informal proofs (tyumen, western siberia 2019)The logic(s) of informal proofs (tyumen, western siberia 2019)
The logic(s) of informal proofs (tyumen, western siberia 2019)
 
Reading papers - survey on Non-Convex Optimization
Reading papers - survey on Non-Convex OptimizationReading papers - survey on Non-Convex Optimization
Reading papers - survey on Non-Convex Optimization
 
AI3391 Artificial Intelligence Session 25 Horn clause.pptx
AI3391 Artificial Intelligence Session 25 Horn clause.pptxAI3391 Artificial Intelligence Session 25 Horn clause.pptx
AI3391 Artificial Intelligence Session 25 Horn clause.pptx
 
Poggi analytics - ebl - 1
Poggi   analytics - ebl - 1Poggi   analytics - ebl - 1
Poggi analytics - ebl - 1
 
Fuzzy OWL-2 Annotation for MetOcean Ontology
Fuzzy OWL-2 Annotation for MetOcean OntologyFuzzy OWL-2 Annotation for MetOcean Ontology
Fuzzy OWL-2 Annotation for MetOcean Ontology
 
artificial intelligence.pptx
artificial intelligence.pptxartificial intelligence.pptx
artificial intelligence.pptx
 
Tutorial SUM 2012: some of the things you wanted to know about uncertainty (b...
Tutorial SUM 2012: some of the things you wanted to know about uncertainty (b...Tutorial SUM 2012: some of the things you wanted to know about uncertainty (b...
Tutorial SUM 2012: some of the things you wanted to know about uncertainty (b...
 
Probabilistic Abductive Logic Programming using Possible Worlds
Probabilistic Abductive Logic Programming using Possible WorldsProbabilistic Abductive Logic Programming using Possible Worlds
Probabilistic Abductive Logic Programming using Possible Worlds
 
Seminar CCC
Seminar CCCSeminar CCC
Seminar CCC
 
SOFIE - A Unified Approach To Ontology-Based Information Extraction Using Rea...
SOFIE - A Unified Approach To Ontology-Based Information Extraction Using Rea...SOFIE - A Unified Approach To Ontology-Based Information Extraction Using Rea...
SOFIE - A Unified Approach To Ontology-Based Information Extraction Using Rea...
 

Mehr von butest

EL MODELO DE NEGOCIO DE YOUTUBE
EL MODELO DE NEGOCIO DE YOUTUBEEL MODELO DE NEGOCIO DE YOUTUBE
EL MODELO DE NEGOCIO DE YOUTUBEbutest
 
1. MPEG I.B.P frame之不同
1. MPEG I.B.P frame之不同1. MPEG I.B.P frame之不同
1. MPEG I.B.P frame之不同butest
 
LESSONS FROM THE MICHAEL JACKSON TRIAL
LESSONS FROM THE MICHAEL JACKSON TRIALLESSONS FROM THE MICHAEL JACKSON TRIAL
LESSONS FROM THE MICHAEL JACKSON TRIALbutest
 
Timeline: The Life of Michael Jackson
Timeline: The Life of Michael JacksonTimeline: The Life of Michael Jackson
Timeline: The Life of Michael Jacksonbutest
 
Popular Reading Last Updated April 1, 2010 Adams, Lorraine The ...
Popular Reading Last Updated April 1, 2010 Adams, Lorraine The ...Popular Reading Last Updated April 1, 2010 Adams, Lorraine The ...
Popular Reading Last Updated April 1, 2010 Adams, Lorraine The ...butest
 
LESSONS FROM THE MICHAEL JACKSON TRIAL
LESSONS FROM THE MICHAEL JACKSON TRIALLESSONS FROM THE MICHAEL JACKSON TRIAL
LESSONS FROM THE MICHAEL JACKSON TRIALbutest
 
Com 380, Summer II
Com 380, Summer IICom 380, Summer II
Com 380, Summer IIbutest
 
The MYnstrel Free Press Volume 2: Economic Struggles, Meet Jazz
The MYnstrel Free Press Volume 2: Economic Struggles, Meet JazzThe MYnstrel Free Press Volume 2: Economic Struggles, Meet Jazz
The MYnstrel Free Press Volume 2: Economic Struggles, Meet Jazzbutest
 
MICHAEL JACKSON.doc
MICHAEL JACKSON.docMICHAEL JACKSON.doc
MICHAEL JACKSON.docbutest
 
Social Networks: Twitter Facebook SL - Slide 1
Social Networks: Twitter Facebook SL - Slide 1Social Networks: Twitter Facebook SL - Slide 1
Social Networks: Twitter Facebook SL - Slide 1butest
 
Facebook
Facebook Facebook
Facebook butest
 
Executive Summary Hare Chevrolet is a General Motors dealership ...
Executive Summary Hare Chevrolet is a General Motors dealership ...Executive Summary Hare Chevrolet is a General Motors dealership ...
Executive Summary Hare Chevrolet is a General Motors dealership ...butest
 
Welcome to the Dougherty County Public Library's Facebook and ...
Welcome to the Dougherty County Public Library's Facebook and ...Welcome to the Dougherty County Public Library's Facebook and ...
Welcome to the Dougherty County Public Library's Facebook and ...butest
 
NEWS ANNOUNCEMENT
NEWS ANNOUNCEMENTNEWS ANNOUNCEMENT
NEWS ANNOUNCEMENTbutest
 
C-2100 Ultra Zoom.doc
C-2100 Ultra Zoom.docC-2100 Ultra Zoom.doc
C-2100 Ultra Zoom.docbutest
 
MAC Printing on ITS Printers.doc.doc
MAC Printing on ITS Printers.doc.docMAC Printing on ITS Printers.doc.doc
MAC Printing on ITS Printers.doc.docbutest
 
Mac OS X Guide.doc
Mac OS X Guide.docMac OS X Guide.doc
Mac OS X Guide.docbutest
 
WEB DESIGN!
WEB DESIGN!WEB DESIGN!
WEB DESIGN!butest
 

Mehr von butest (20)

EL MODELO DE NEGOCIO DE YOUTUBE
EL MODELO DE NEGOCIO DE YOUTUBEEL MODELO DE NEGOCIO DE YOUTUBE
EL MODELO DE NEGOCIO DE YOUTUBE
 
1. MPEG I.B.P frame之不同
1. MPEG I.B.P frame之不同1. MPEG I.B.P frame之不同
1. MPEG I.B.P frame之不同
 
LESSONS FROM THE MICHAEL JACKSON TRIAL
LESSONS FROM THE MICHAEL JACKSON TRIALLESSONS FROM THE MICHAEL JACKSON TRIAL
LESSONS FROM THE MICHAEL JACKSON TRIAL
 
Timeline: The Life of Michael Jackson
Timeline: The Life of Michael JacksonTimeline: The Life of Michael Jackson
Timeline: The Life of Michael Jackson
 
Popular Reading Last Updated April 1, 2010 Adams, Lorraine The ...
Popular Reading Last Updated April 1, 2010 Adams, Lorraine The ...Popular Reading Last Updated April 1, 2010 Adams, Lorraine The ...
Popular Reading Last Updated April 1, 2010 Adams, Lorraine The ...
 
LESSONS FROM THE MICHAEL JACKSON TRIAL
LESSONS FROM THE MICHAEL JACKSON TRIALLESSONS FROM THE MICHAEL JACKSON TRIAL
LESSONS FROM THE MICHAEL JACKSON TRIAL
 
Com 380, Summer II
Com 380, Summer IICom 380, Summer II
Com 380, Summer II
 
PPT
PPTPPT
PPT
 
The MYnstrel Free Press Volume 2: Economic Struggles, Meet Jazz
The MYnstrel Free Press Volume 2: Economic Struggles, Meet JazzThe MYnstrel Free Press Volume 2: Economic Struggles, Meet Jazz
The MYnstrel Free Press Volume 2: Economic Struggles, Meet Jazz
 
MICHAEL JACKSON.doc
MICHAEL JACKSON.docMICHAEL JACKSON.doc
MICHAEL JACKSON.doc
 
Social Networks: Twitter Facebook SL - Slide 1
Social Networks: Twitter Facebook SL - Slide 1Social Networks: Twitter Facebook SL - Slide 1
Social Networks: Twitter Facebook SL - Slide 1
 
Facebook
Facebook Facebook
Facebook
 
Executive Summary Hare Chevrolet is a General Motors dealership ...
Executive Summary Hare Chevrolet is a General Motors dealership ...Executive Summary Hare Chevrolet is a General Motors dealership ...
Executive Summary Hare Chevrolet is a General Motors dealership ...
 
Welcome to the Dougherty County Public Library's Facebook and ...
Welcome to the Dougherty County Public Library's Facebook and ...Welcome to the Dougherty County Public Library's Facebook and ...
Welcome to the Dougherty County Public Library's Facebook and ...
 
NEWS ANNOUNCEMENT
NEWS ANNOUNCEMENTNEWS ANNOUNCEMENT
NEWS ANNOUNCEMENT
 
C-2100 Ultra Zoom.doc
C-2100 Ultra Zoom.docC-2100 Ultra Zoom.doc
C-2100 Ultra Zoom.doc
 
MAC Printing on ITS Printers.doc.doc
MAC Printing on ITS Printers.doc.docMAC Printing on ITS Printers.doc.doc
MAC Printing on ITS Printers.doc.doc
 
Mac OS X Guide.doc
Mac OS X Guide.docMac OS X Guide.doc
Mac OS X Guide.doc
 
hier
hierhier
hier
 
WEB DESIGN!
WEB DESIGN!WEB DESIGN!
WEB DESIGN!
 

12-Multistrategy-learning.doc

  • 1. Multistrategy learning Prof. Gheorghe Tecuci Learning Agents Laboratory Computer Science Department George Mason University
  • 2. MULTISTRATEGY LEARNING SUMMARY This tutorial presents an overview of methods, systems and applications of multistrategy learning. Multistrategy learning is concerned with developing learning systems that integrate two or more inferential and/or computational strategies. For example, a multistrategy system may combine empirical induction with explanation-based learning, symbolic and neural net learning, deduction with abduction and analogy, quantitative and qualitative discovery, symbolic and genetic algorithm- based learning. Due to the complementary nature of various strategies, multistrategy learning systems have a potential for a wide range of applications. This tutorial describes representative multistrategy learning systems, and their applications in areas such as automated knowledge acquisition, planning, scheduling, manufacturing, technical and medical decision making, and computer vision. G. Tecuci 2
  • 3. OUTLINE 1. Multistrategy concept learning: methods, systems and applications 2. Multistrategy knowledge base improvement: methods, systems and applications 3. Summary, current trends and frontier research 4. References G. Tecuci 3
  • 4. 1. MULTISTRATEGY CONCEPT LEARNING: METHODS, SYSTEMS AND APPLICATIONS 1.1 The class of learning tasks 1.2 Integration of empirical inductive learning and explanation-based learning 1.3 Integration of empirical inductive learning, expla- nation-based learning, and learning by analogy 1.4 Integration of genetic algorithm-based learning and symbolic empirical inductive learning G. Tecuci 4
  • 5. 1.1 MULTISTRATEGY CONCEPT LEARNING The Class of Learning Tasks INPUT: one or more positive and/or negative examples of a concept BK: a weak, incomplete, partially incorrect, or complete domain theory (DT) GOAL: learn a concept description characterizing the example(s) and consistent with the DT by combining several learning strategies G. Tecuci 5
  • 6. Illustration of a Learning Task INPUT: examples of the CUP concept cup(o1) ⇐ color(o1, white), shape(o1, cyl), volume(o1, 8), made-from(o1, plastic), light-mat(plastic), has-handle(o1), has-flat-bottom(o1), up-concave(o1). BK: a theory of vessels (domain rules) cup(x) ⇐ liftable(x), stable(x), open-vessel(x). liftable(x) ⇐ light(x), graspable(x). stable(x) ⇐ has-flat-bottom(x). GOAL: learn an operational concept description of CUP cup(x) ⇐ made-from(x, plastic), light-mat(plastic), graspable(x), has-flat-bottom(x), up-concave(o1). G. Tecuci 6
  • 7. 1.2 INTEGRATION OF EMPIRICAL INDUCTIVE LEARNING AND EXPLANATION-BASED LEARNING • Empirical Inductive Learning (EIL) • Explanation-Based Learning (EBL) • Complementary nature of EIL and EBL • Types of integration of EIL and EBL G. Tecuci 7
  • 8. EMPIRICAL INDUCTIVE LEARNING • Compares the examples in terms of their similarities and differences, and creates a generalized description of the similarities of the positive examples • Is data intensive (requires many examples) • Performs well in knowledge-weak domains Positive examples of cups: P1 P2 ... Negative examples of cups: N1 ... Description of the cup concept: has-handle(x), ... G. Tecuci 8
  • 9. EXPLANATION-BASED LEARNING • Proves that the training example is an instance of the target concept and generalizes the proof • Is knowledge intensive (requires a complete DT) • Needs only one example Prove that o1 is a CUP: Generalize the proof: cup(o1) cup(x) ... ... liftable(o1) stable(o1) ... liftable(x) stable(x) ... light(o1) graspable(o1) light(x) graspable(x) light-mat(plastic) light-mat(y) made-from(o1,plastic) has-handle(o1) made-from(x,y) has-handle(x) • "has-handle(o1)" is needed to prove "cup(o1)" • the material the cup is made • "color(o1,white)" is not needed to prove "cup(o1)" from need not be "plastic" G. Tecuci 9
  • 10. COMPLEMENTARY NATURE OF EIL AND EBL MSL EIL EBL (EIL+EBL) Examples many one several Domain weak needs incomplete to be or partially Theory is enough complete incorrect Types of deduction induction and induction inference deduction Effect on improves improves improves system's competence competence efficiency behavior & efficiency G. Tecuci 10
  • 11. MSL METHODS INTEGRATING EIL AND EBL • Explanation before induction • Induction over explanations • Combining EBL with Version Spaces • Induction over unexplained • Guiding induction by domain theories G. Tecuci 11
  • 12. EXPLANATION BEFORE INDUCTION OCCAM (Pazzani, 1988, 1990) OCCAM is a schema-based system that learns to predict the outcome of events by applying EBL or EIL, depending on the available background knowledge and examples. It may answer questions about the outcome of hypothetical events. A learned economic sanctions schema: When a country threatens a wealthy country by refusing to sell a commodity, then the sanctions will fail because an alternative supplier will want to make a large profit by selling the commodity at a premium. G. Tecuci 12
  • 13. Integration of EBL and EIL in OCCAM Explain Yes Schema = EBL(Example) Example No Schemata Enough Yes Examples Schema = EIL(Examples) No Remember Example G. Tecuci 13
  • 14. INDUCTION OVER EXPLANATIONS (IOE) WYL (Flann and Dietterich, 1989) Limitations of EBL • The learned concept might be too specific because it is a generalization of a single example • Requires a complete DT IOE • Learns from a set of positive examples • May discover concept features that are not explained by the DT (i.e. incomplete DT) G. Tecuci 14
  • 15. The IOE Method • Build an explanation tree for each example • Find the largest common subtree • Apply EBL to generalize the subtree and retain the leaves as an intermediate concept description (ICD) • Specialize ICD to reflect the similarities between the training examples: - replace variables with constants (e.g. v = c) G. Tecuci 15
  • 16. - introduce equality constraints (e.g. v1 = v2) G. Tecuci 16
  • 17. Illustration Explanation tree for example1: cup(o1) liftable(o1) stable(o1) open-vessel(o1) light(o1) graspable(o1) light-mat(plastic) has-flat-bottom(o1) made-from(o1,plastic) has-handle(o1) up-concave(o1) Explanation tree for example2: cup(o2) liftable(o2) stable(o2) open-vessel(o2) light(o2) graspable(o2) light-mat(plastic) width(o2,small) made-from(o2,plastic) insulating(plastic) has-flat-bottom(o2) made-from(o2,plastic) up-concave(o2) G. Tecuci 17
  • 18. Generalization of the common subtree: cup(x) liftable(x) stable(x) open-vessel(x) light(x) graspable(x) ICD light-mat(y) made-from(x, y) has-flat-bottom(x) up-concave(x) Specialization of ICD: in example1: (y = plastic) in example2: (y = plastic) in ICD: (y = plastic) Learned concept: cup(x) ⇐ made-from(x, plastic), light-mat(plastic), graspable(x), has-flat-bottom(x), up-concave(x). G. Tecuci 18
  • 19. COMBINING EBL WITH VERSION SPACES (EBL-VS) (Hirsh, 1989, 1990) Limitations of IOE • Learns only from positive examples • Needs an "almost" complete domain theory (DT) EBL-VS • Learns from positive and negative examples • Can learn with an incomplete DT • Can learn with a special type of incorrect DT • Can learn with different amounts of knowledge, from knowledge-free to knowledge-rich G. Tecuci 19
  • 20. The EBL-VS Method • Apply EBL to generalize the positive and the negative examples • Replace each example that has been generalized with its generalization • Apply the version space method (or the incremental version space merging method) to the new set of examples G. Tecuci 20
  • 21. INDUCTION OVER UNEXPLAINED (IOU) (Mooney and Ourston, 1989) Limitations of EBL-VS • Assumes that at least one generalization of an example is correct and complete IOU • DT could be incomplete but correct - the explanation-based generalization of an example may be incomplete - the DT may explain negative examples • Learns concepts with both explainable and conventional aspects G. Tecuci 21
  • 22. The IOU Method • Apply EBL to generalize each positive example • Disjunctively combine these generalizations (this is the explanatory component Ce) • Disregard negative examples not satisfying Ce and remove the features mentioned in Ce from all the examples • Apply EIL to determine a generalization of the reduced set of simplified examples (this is the nonexplanatory component Cn) G. Tecuci 22
  • 23. The learned concept is Ce & Cn G. Tecuci 23
  • 24. Illustration Positive examples of cups: Cup1, Cup2 Negative examples: Shot-Glass1, Mug1, Can1 Domain Theory: incomplete (contains a definition of drinking vessels but no definition of cups) Ce = has-flat-bottom(x) & light(x) & up-concave(x) & {[width(x,small) & insulating(x)] ⁄ has-handle(x)} Ce covers Cup1, Cup2, Shot-Glass1, Mug1 but not Can1 Cn = volume(x,small) Cn covers Cup1, Cup2 but not Shot-Glass1, Mug1 C = Ce & Cn G. Tecuci 24
  • 25. GUIDING INDUCTION BY DOMAIN THEORY The ENIGMA System (Bergadano, Giordana, Saitta et al. 1988, 1990) Limitations of IOU • DT rules have to be correct • Examples have to be noise-free ENIGMA • DT rules could be partially incorrect • Examples may be noisy G. Tecuci 25
  • 26. The Learning Method (trades-off the use of DT rules against the coverage of examples) • Successively specialize the abstract definition D of the concept to be learned by applying DT rules • Whenever a specialization of the definition D contains operational predicates, compare it with the examples to identify the covered and the uncovered ones • Decide between performing: - a DT-based deductive specialization of D - an example-based inductive modification of D The learned concept is a disjunction of leaves of the specialization tree built. G. Tecuci 26
  • 27. Examples (4 pos, 4 neg) * Positive example4 (p4): Cup(o4) ⇐ light(o4), support(o4, b), body(o4, a), above(a, b), up-concave(o4). Domain Theory Cup(x) ⇐ Liftable(x), Stable(x), Open-vessel(x). Liftable(x) ⇐ light(x), has-handle(x). Stable(x) ⇐ has-flat-bottom(x). Stable(x) ⇐ body(x, y), support(x, z), above(y, z). Open-vessel(x) ⇐ up-concave(x). DT: - overly specific (explains only p1 and p2) - overly general (explains n3) * Operational predicates start with a lower-case letter G. Tecuci 27
  • 28. Cup(x) deduction Liftable(x), Stable(x), Open-vessel(x) deduction p1,p2,n3 p1,p2,p3,p4,n2,n3,n4 light(x), has-handle(x) light(x) induction Stable(x),Open-vessel(x) Stable(x),Open-vessel(x) deduction deduction p1,p3,n2,n3 p2,p4,n4 light(x), light(x), body(x, y), has-flat-bottom(x) support(x, z), above(y, z) Open-vessel(x) Open-vessel(x) induction deduction deduction p1,p3,n2,n3 p1,p3 p2,p4 light(x), light(x), light(x), body(x, y), has-flat-bottom(x), has-flat-bottom(x), support(x, z), above(y, z), up-concave(x) has-small-bottom(x) up-concave(x) Open-vessel(x) G. Tecuci 28
  • 29. The Learned Concept Cup(x) ⇐ light(x), has-flat-bottom(x), has-small-bottom(x). Covers p1, p3 Cup(x) ⇐ light(x), body(x, y), support(x, z), above(y, z), up-concave(x). Covers p2, p4 G. Tecuci 29
  • 30. Application of ENIGMA (Bergadano et al. 1990) • Diagnosis of faults in electro-mechanical devices through an analysis of their vibrations • 209 examples and 6 classes • Typical example: 20 to 60 noisy measurements taken in different points and conditions of the device • A learned rule: IF the shaft rotating frequency is w0 and the harmonic at w0 has high intensity and the harmonic at 2w0 has high intensity in at least two measurements THEN the example is an instance of C1 (problems in the joint), G. Tecuci 30
  • 31. C4 (basement distortion) or C5 (unbalance) G. Tecuci 31
  • 32. Comparison Between the KB Learned by ENIGMA and the Hand-coded KB of the Expert System MEPS Ambiguity Recognition Development of rules rate time ENIGMA 1.21 0.95 4 months MEPS 1.46 0.95 18 months G. Tecuci 32
  • 33. 1.3 INTEGRATION OF EMPIRICAL INDUCTIVE LEARNING, EXPLANATION-BASED LEARNING, AND LEARNING BY ANALOGY DISCIPLE (Tecuci, 1988; Tecuci and Kodratoff, 1990) Explanation Analogy based mode based mode explanation analogy criterion problem1 problem2 ... problemn general solution1 solution2 solutionn rule Empirical learning mode G. Tecuci 33
  • 34. 1.4 INTEGRATION OF GENETIC ALGORITHMS AND SYMBOLIC INDUCTIVE LEARNING GA-AQ (Vafaie and K.DeJong, 1991) feature set best feature Genetic subset Algorithm goodness of feature recognition subset evaluation function (EIL based) training examples Application: Texture recognition 18 initial features, 9 final features G. Tecuci 34
  • 35. 2. MULTISTRATEGY KNOWLEDGE BASE IMPROVEMENT (THEORY REVISION): METHODS, SYSTEMS AND APPLICATIONS 2.1 The class of learning tasks 2.2 Cooperating learning modules 2.3 Integrating elementary inferences 2.4 Applying learning modules in a problem solving environment 2.5 Applying different computational strategies G. Tecuci 35
  • 36. 2.1 MULTISTRATEGY KNOWLEDGE BASE IMPROVEMENT (THEORY REVISION) The class of learning tasks Training Examples Improved Multistrategy Knowledge Knowledge Theory Base (DT) Base (DT) Reviser Inference Inference Engine Engine G. Tecuci 36
  • 37. Types of Theory Errors (in a rule based system) Incorrect Theory some some positive examples Overly Overly negative examples are not Specific General are explained explained Additional Missing Extra Missing Premise Rule Rule Premise graspable(x) ⇐ graspable(x) ⇐ graspable(x) ⇐ graspable(x) ⇐ width(x, small), has-handle(x). shape(x, round). insulating(x). insulating(x), shape(x, round). G. Tecuci 37
  • 38. 2.2 COOPERATING LEARNING MODULES (deduction, abduction and empirical induction) EITHER (Mooney and Ourston, 1991) examples Deduction Module unprovable proofs of positive examples negative examples rules Abduction Knowledge rules Minimal Cover and to be Module Base deleted Rule Retractor partial generalized new rules and undeletable rules proofs rules specialized rules Minimal Cover and ungeneralizable rules Empirical Induction Antecedent Retractor Module G. Tecuci 38
  • 39. Positive and negative examples of cups cup(o1) ⇐ width(o1, small), light(o1), color(o1, red), styrofoam(o1), shape(o1, hem), has-flat-bottom(o1), up-concave(o1), volume(o1,8). Imperfect Theory of Vessels cup(x) ⇐ stable(x), liftable(x), open-vessel(x). stable(x) ⇐ has-flat-bottom(x). liftable(x) ⇐ light(x), graspable(x). graspable(x) ⇐ has-handle(x). graspable(x) ⇐ width(x, small), insulating(x). insulating(x) ⇐ styrofoam(x). insulating(x) ⇐ ceramic(x). open-vessel(x) ⇐ up-concave(x). G. Tecuci 39
  • 40. Applications of EITHER I. Molecular Biology: recognizing promoters and splice-junctions in DNA sequences 100 Correctness on test data 90 EITHER 80 70 ID3 . 60 50 40 Training examples 0 20 40 60 80 II. Plant Pathology: diagnosing soybean diseases G. Tecuci 40
  • 41. 2.3 INTEGRATING ELEMENTARY INFERENCES MTL-JT (Tecuci, 1993, 1994) • Deep integration of learning strategies integration of the elementary inferences that are employed by the single-strategy learning methods (e.g. deduction, analogy, empirical inductive prediction, abduction, deductive generalization, inductive generalization, inductive specialization, analogy-based generalization) • Dynamic integration of learning strategies the order and the type of the integrated strategies depend of the relationship between the input information, the background knowledge and the learning goal • Different types of input (e.g. facts, concept examples, problem solving episodes) • Different types of DT knowledge pieces (e.g. facts, examples, implicative relationships, plausible determinations) G. Tecuci 41
  • 42. Assumptions for the Developed Framework and Method Input: • correct (noise free) • one or several examples, facts, or problem solving episodes Knowledge Base: • incomplete and/or partially incorrect • may include a variety of knowledge types (facts, examples, implicative or causal relationships, hierarchies, etc.) Learning Goal: • extend, update and/or improve the KB so as to integrate new input information G. Tecuci 42
  • 43. An Illustration from the Domain of Geography Knowledge Base Facts: terrain(Philippines, flat), rainfall(Philippines, heavy), water-in-soil(Philippines, high) Examples (of fertile soil): soil(Greece, fertile-soil) ⇐ soil(Greece, red-soil) soil(Egypt, fertile-soil) ⇐ terrain(Egypt, flat) & soil(Egypt, red-soil) Plausible determination: water-in-soil(x, z) <≈ rainfall(x, y) Deductive rules: soil(x, fertile-soil) ⇐ soil(x, loamy) temperature(x, warm) ⇐ climate(x, subtropical) temperature(x, warm) ⇐ climate(x, tropical) grows(x, rice) ⇐ water-in-soil(x, high) & temperature(x, warm) & soil(x, fertile-soil) G. Tecuci 43
  • 44. Positive and negative examples of "grows(x, rice)" Positive Example 1: grows(Thailand, rice) ⇐ rainfall(Thailand, heavy) & climate(Thailand, tropical) & soil(Thailand, red-soil) & terrain(Thailand, flat) & location(Thailand, SE-Asia) Positive Example 2: grows(Pakistan, rice) ⇐ rainfall(Pakistan, heavy) & climate(Pakistan, subtropical) & soil(Pakistan, loamy) & terrain(Pakistan, flat) & location(Pakistan, SW-Asia) Negative Example 3: ¬ grows(Jamaica, rice) ⇐ rainfall(Jamaica, heavy) & climate(Jamaica, tropical) & soil(Jamaica, loamy) & terrain(Jamaica, abrupt) & location(Jamaica, Central-America) G. Tecuci 44
  • 45. The learned knowledge Improved KB New facts: water-in-soil(Thailand, high), water-in-soil(Pakistan, high) New plausible rule: soil(x, fertile-soil) ⇐ soil(x, red-soil) Specialized plausible determination: water-in-soil(x, z) <≈ rainfall(x, y), terrain(x, flat) Concept definitions Operational definition of "grows(x, rice)": grows(x, rice) ⇐ rainfall(x,heavy) & terrain(x,flat) & [climate(x,tropical) ⁄ climate(x,subtropical)] & [soil(x,red-soil) ۷soil(x,loamy)] Abstract definition of "grows(x, rice)": grows(x, rice) ⇐ water-in-soil(x, high) & temperature(x, warm) & soil(x, fertile-soil) Abstraction of Example 1: grows(Thailand, rice) ⇐ water-in-soil(Thailand, high) & temperature(Thailand, warm) & G. Tecuci 45
  • 47. The Learning Method • For the first positive example I1: - build a plausible justification tree T of I1 - build the plausible generalization Tu of T - generalize the KB so that to entail Tu • For each new positive example Ii: - generalize Tu so as to cover a plausible justification tree of Ii - generalize the KB so that to entail the new Tu • For each new negative example Ii: - specialize Tu so as not to cover any plausible justification of Ii - specialize the KB so that to entail the new Tu without entailing the previous Tu • Learn different concept definitions: - extract different concept definitions from the general justification tree Tu G. Tecuci 47
  • 48. Build a plausible justification of the first example grows(Thailand, rice) deduction water-in-soil(Thailand, high) soil(Thailand, fertile-soil) temperature(Thailand, warm) analogy inductive prediction and abduction deduction rainfall(Thailand, heavy) soil(Thailand, red-soil) climate(Thailand, tropical) Example 1: grows(Thailand, rice)⇐ rainfall(Thailand, heavy) & soil(Thailand, red-soil) & terrain(Thailand, flat) & location(Thailand, SE-Asia) & climate(Thailand, tropical) G. Tecuci 48
  • 49. Multitype generalization grows(x1, rice) DEDUCTIVE GENERALIZATION temperature(x1, warm) water-in-soil(x1, high) ||| soil(x1, fertile-soil) ||| temperature(x3, warm) ||| water-in-soil(x2, high) soil(x4, fertile-soil) GENERALIZATION DEDUCTIVE BASED ON GENERALIZATION INDUCTIVE ANALOGY GENERALIZATION rainfall(x2, heavy) climate(x3, tropical) soil(x4, red-soil) G. Tecuci 49
  • 50. Build the plausible generalization Tu of T grows(x, rice) DEDUCTIVE GENERALIZATION temperature(x, warm) water-in-soil(x, high) soil(x, fertile-soil) GENERALIZATION DEDUCTIVE BASED ON GENERALIZATION INDUCTIVE ANALOGY GENERALIZATION rainfall(x, heavy) climate(x, tropical) soil(x, red-soil) G. Tecuci 50
  • 51. The plausible generalization tree corresponding to the three input examples grows(x, rice) DEDUCTIVE GENERALIZATION temperature(x, warm) water-in-soil(x, high) soil(x, fertile-soil) OR OR GENERALIZATION INDUCTIVE DEDUCTIVE GENERALIZATION BASED ON INDUCTIVE GENERALIZATIONS ANALOGY SPECIALIZATION DEDUCTIVE GENERALIZATION terrain(x, flat) soil(x, red-soil) rainfall(x, heavy) soil(x, loamy) climate(x, subtropical) climate(x, tropical) G. Tecuci 51
  • 52. Features of the MTL-JT method • Is general and extensible • Integrates dynamically different elementary inferences • Uses different types of generalizations • Is able to learn from different types of input • Is able to learn different types of knowledge • Is supported by the research in Experimental Psychology • Exhibits synergistic behavior • May behave as any of the integrated strategies G. Tecuci 52
  • 53. 2.4 APPLYING LEARNING MODULES IN A PROBLEM SOLVING ENVIRONMENT PRODIGY (Carbonell, Knoblock and Minton, 1989) • Performance engine Planner based on state space search • Learning strategies Explanation-based learning Learning by analogy Learning by abstraction Learning by experimentation • Applications Machine-shop scheduling G. Tecuci 53
  • 55. The PRODIGY Architecture Control Problem Knowledge Domain Knowledge Evaluation User Compression Interface Abstraction PROBLEM Builder EBL SOLVER Plan Deriv. Multi- Abstraction Library Replay Level Hierarchy Derivation Extractor PS Trace Experimenter Solution External Processes G. Tecuci 55
  • 56. Independent Learning Systems in a Uniform Environment MLT (LRI, ISoft, CGE-LdM, INRIA, BAe, Aberdeen, Turing Institute, GMD, Siemens, Coimbra, Forth) 10 independent ML systems loosely integrated through: APT (DISCIPLE) • a common interface; KBG Consultant • a consultant; MOBAL • a common knowledge NewID representation language • Common Interface • (for communication) • G. Tecuci 56
  • 57. 2.5 APPLYING DIFFERENT COMPUTATIONAL STRATEGIES (symbolic rules and neural networks) KBANN (Towell and Shavlik, 1991) Imperfect Improved Symbolic Symbolic KB KB Rules to Network Network to Rules Translator Translator Initial Network Network Trained Learning Network Training Examples G. Tecuci 57
  • 58. Rules to Network Translator A A A ⇐ B, C. B B B ⇐ not H. B ⇐ not F, G. C X Y C C ⇐ I, J. F G H I J K F G H I J K G. Tecuci 58
  • 59. Network to Rules Translator (N of M rules) Z Z bias=10.9 bias=10.9 6.2 6.0 1.0 1.2 6.1 6.1 1.1 1.1 1.2 1.0 6.0 6.1 1.1 1.1 A B C D E F G A C F D E B G Z bias=10.9 6.1 * 2 > 10.9 6.1 6.1 6.1 Z ⇐ [2 of {A, C, F}] A C F G. Tecuci 59
  • 60. Error Rates Promoter Domain Splice-Junction Domain Initial KB: 50% 39% 16 16 Training set Testing set 12.0 12 12 Error rate 8 8 7.4 7.2 . 4 2.9 3.8 4 2.4 2.3 0.4 0 0.0 0 0.0 KBANN N of M EITHER KBANN N of M network network G. Tecuci 60
  • 61. 3. SUMMARY, CURRENT TRENDS AND FRONTIER RESEARCH • Summary of application domains • Issues in selecting a multistrategy learning method • Current trends in multistrategy learning • Areas of frontier research G. Tecuci 61
  • 62. SUMMARY OF APPLICATION DOMAINS • Classification: DNA concepts (EITHER, KBANN) texture recognition (AQ-GA, GA-AQ) • Diagnosis: mechanical trouble-shooting (ENIGMA) plant pathology (EITHER) • Manufacturing: loudspeakers (DISCIPLE1) • Planning: high-level robot planning (PRODIGY) • Prediction: economic sanctions (OCCAM) • Scheduling: machine-shop scheduling (PRODIGY) • Critiquing: military courses of action (Disciple-COA) G. Tecuci 62
  • 63. • Identification: mil. center of gravity (Disciple-COG) G. Tecuci 63
  • 64. SOME ISSUES IN SELECTING A MULTISTRATEGY LEARNING METHOD • Learning problem: - concept learning - theory revision • Input data: - positive examples only - positive and negative examples - noisy examples • Domain theory: - weak - complete - incomplete - partially incorrect G. Tecuci 64
  • 65. CURRENT TRENDS IN MSL • Comparisons of learning strategies • New ways of integrating learning strategies • Dealing with incomplete or noisy examples • General frameworks for MSL • Integration of MSL and knowledge acquisition • Integration of MSL and problem solving G. Tecuci 65
  • 66. • Applications of MSL systems G. Tecuci 66
  • 67. FRONTIER RESEARCH • Synergistic integration of a wide range of learning strategies • The representation and use of learning goals in MSL systems • Evaluation of the certainty of the learned knowledge • Investigation of human learning as MSL • More comprehensive theories of learning G. Tecuci 67
  • 68. 4. REFERENCES • Proceedings of the International Conferences on Machine Learning, ICML-87, … , ICML-02, Morgan Kaufmann, San Mateo, 1987- 2002. • Proceedings of the International Workshops on Multistrategy Learning, MSL-91, MSL-93, MSL-96, MSL-98. • Special Issue on Multistrategy Learning, Machine Learning Journal, 1993. • Special Issue on Multistrategy Learning, Informatica, vol. 17. no.4, 1993. • Machine Learning: A Multistrategy Approach Volume IV, Michalski R.S. and Tecuci G. (Eds.), Morgan Kaufmann, San Mateo, 1994. G. Tecuci 68
  • 69. Bibliography Bala, J., DeJong, K. and Pachowicz, P., "Multistrategy Learning from Engineering Data by Integrating Inductive Generalization and Genetic Algorithms," in Proc.of the First Int.Workshop on Multistrategy Learning, Nov. 1991. Also in Machine Learning: A Multistrategy Approach Volume 4, R.S. Michalski and G. Tecuci (Eds.), San Mateo, CA, Morgan Kaufmann, 1994. Bergadano, F., Giordana, A. and Saitta, L., "Automated Concept Acquisition in Noisy Environments," IEEE Transactions on Pattern Analysis and Machine Intelligence, 10 (4), pp. 555-577, 1988. Bergadano, F., Giordana, A., Saitta, L., De Marchi D. and Brancadori, F., "Integrated Learning in a Real Domain," in B.W. Porter and R.J. Mooney (Eds. ), Proceedings of the 7th International Machine Learning Conference, Austin, TX, 1990. Bergadano, F. and Giordana, A., "Guiding Induction with Domain Theories," in Machine Learning: An Artificial Intelligence Approach Vollume 3, Y. Kodratoff and R.S. Michalski (Eds.), San Mateo, CA, Morgan Kaufmann, 1990. Birnbaum, L. and Collins, G. (Eds.), Machine Learning: Proceedings of the Eighth International Workshop, Chicago, IL, Morgan Kaufmann, 1991. Bloedorn E., Wnek, J. and Michalski, R.S. “Multistrategy Constructive Induction,” in Proceedings of the Second International Workshop on Multistrategy Learning, R.S. Michalski and G. Tecuci (Eds.), Center for AI, George Mason University, May, 1993. Carbonell, J.G., Knoblock C.A. and Minton M., "PRODIGY: An Integrated Architecture for Planning and Learning," Research Report, CMU-CS-89-189, School of Computer Science, Carnegie Mellon University, Pittsburgh, PA 15-213, 1989. Cohen, W., "The Generality of Overgenerality," in Machine Learning: Proceedings of the Eighth International Workshop, L. Birnbaum and G. Collins (Eds.), Chicago, IL, Morgan Kaufmann, pp. 490-494, 1991. Danyluk, A.P., "The Use of Explanations for Similarity-Based Learning," Proceedings of the International Joint Conference on Artificial Intelligence, Milan, Italy, Morgan Kaufmann, pp. 274-276, 1987. DeJong, G. and Mooney, R.J., "Explanation-Based Learning: An Alternative View," Machine Learning, Vol. 1, pp. 145-176, 1986. Flann, N., and Dietterich, T., "A Study of Explanation-based Methods for Inductive Learning," Machine Learning, Vol. 4, pp. 187-266, 1989. G. Tecuci 69
  • 70. Genest, J., Matwin, S. and Plante, B., "Explanation-based Learning with Incomplete Theories: A Three-step Approach," in Machine Learning: Proc. of the Eighth International Workshop, B.W. Porter and R.J. Mooney (Eds.), TX, Morgan Kaufmann, 1990. Gordon, D.F., "An Enhancer for Reactive Plans," in Machine Learning: Proceedings of the Eighth International Workshop, L. Birnbaum, and G. Collins (Eds.), Chicago, IL, Morgan Kaufmann, pp. 505-508, 1991 Hieb, M. and Michalski, R.S. “Knowledge Representation for Multistrategy Task-adaptive Learning: Dynamic Interlaced Hierarchies,” in Proceedings of the Second International Workshop on Multistrategy Learning, R.S. Michalski and G. Tecuci (Eds.), Center for AI, George Mason University, May, 1993. Hirsh, H., "Combining Empirical and Analytical Learning with Version Spaces," in Proc. of the Sixth International Workshop on Machine Learning, A. M. Segre (Ed.), Cornell University, Ithaca, New York, June 26-27, 1989. Hirsh, H., "Incremental Version-space Merging," in Proceedings of the 7th International Machine Learning Conference, B.W. Porter and R.J. Mooney (Eds. ), Austin, TX, 1990. Kedar-Cabelli, S. T., "Issues and Case Studies in Purpose-Directed Analogy," Ph.D. Thesis, Rutgers University, New Brunswick, NJ, 1987. Kodratoff, Y. and Michalski, R.S. (Eds.) Machine Learning: An Artificial Intelligence Approach Volume 3, Morgan Kaufmann Publishers, Inc., 1990. Kodratoff, Y. and Tecuci, G., “DISCIPLE-1: Interactive Apprentice System in Weak Theory Fields,” Proceedings of IJCAI-87, pp. 271-273, Milan, Italy, 1987. Laird, J.E., (Ed.), Proceedings of the Fifth International Conference on Machine Learning, University of Michigan, Ann Arbor, June 12-14, 1988. Laird, J.E., Rosenbloom, P.S. and Newell A., “Chunking in SOAR: the Anatomy of a General Learning Mechanism,” Machine Learning, Vol. 1, No. 1, pp. 11-46, 1986. Lebowitz, M., "Integrated Learning: Controlling Explanation," Cognitive Science, Vol. 10, pp. 219-240, 1986. Mahadevan, S., "Using Determinations in Explanation-based Learning: A Solution to Incomplete Theory Problem," in Proceedings of the Sixth International Workshop on Machine Learning, A. Segre (Ed.), Ithaca, NY, Morgan Kaufman, 1989. Michalski, R.S., “Theory and Methodology of Inductive Learning,” Machine Learning: An Artificial Intelligence Approach, R.S. G. Tecuci 70
  • 71. Michalski, J.G. Carbonell, T.M. Mitchell (Eds.), Tioga Publishing Co.(now Morgan Kaufmann), 1983. Michalski, R.S., “Inferential Theory of Learning as a Conceptual Framework for Multistrategy Learning,” Machine Learning Journal, Special Issue on Multistrategy Learning, vol.11, no. 2&3, Guest Editor: R.S. Michalski, 1993. Michalski, R.S., "Inferential Learning Theory: Developing Theoretical Foundations for Multistrategy Learning," in Machine Learning: A Multistrategy Approach Volume 4, R.S. Michalski and G. Tecuci (Eds.), San Mateo, CA, Morgan Kaufmann, 1994. Michalski, R.S. and Tecuci, G. (Eds.), Proceedings of the First International Workshop on Multistrategy Approach, Harpers Ferry, WV, November 7-9, Center for Artificial Intelligence, George Mason University, 1991. Michalski, R.S. and Tecuci, G. (Eds.), Proceedings of the Second International Workshop on Multistrategy Approach, Harpers Ferry, WV, May 26-29, Center for Artificial Intelligence, George Mason University, 1993. Michalski, R.S. and Tecuci, G. (Eds.), Machine Learning: A Multistrategy Approach Volume 4, Morgan Kaufmann Publishers, San Mateo, CA, 1993. Michalski, R.S. and Tecuci, G., "Multistrategy Learning," in Encyclopedia of Microcomputers, Vol.12, Marcel Deker, New York, 1993. Mitchell, T.M., Keller, T. and Kedar-Cabelli, S., "Explanation-Based Generalization: A Unifying View," Machine Learning, Vol. 1, pp. 47-80, 1986. Mitchell, T.M., "Version Spaces: an Approach to Concept Learning," Doctoral Dissertation, Stanford University, 1978. Mooney, R.J. and Ourston, D., "Induction Over Unexplained: Integrated Learning of Concepts with Both Explainable and Conventional Aspects,", in Proc. of the Sixth International Workshop on Machine Learning, A.M. Segre (Ed.), Cornell University, Ithaca, New York, June 26-27, 1989. Mooney, R.J. and Ourston, D., "A Multistrategy Approach to Theory Refinement," in Proceedings of the First International Workshop on Multistrategy Learning, Center for AI, George Mason University, November, 1991. Also in Machine Learning: A Multistrategy Approach Volume 4, R.S. Michalski and G. Tecuci (Eds.), San Mateo, CA, Morgan Kaufmann, 1994. Morik, K., "Balanced Cooperative Modeling," in Machine Learning: A Multistrategy Approach Volume 4, R.S. Michalski and G. Tecuci (Eds.), San Mateo, CA, Morgan Kaufmann, 1994. Pazzani, M.J., "Integrating Explanation-Based and Empirical Learning Methods in OCCAM," Proceedings of the Third European G. Tecuci 71
  • 72. Working Session on Learning, Glasgow, Scotland, pp. 147-166, 1988. Pazzani, M.J., Creating a Memory of Causal Relationships: an Integration of Empirical and Explanation-Based Learning Methods, Lawrence Erlbaum, New Jersey, 1990. Porter, B.W. and Mooney, R.J. (Eds. ), Proc. of the 7th International Machine Learning Conference, Austin, TX, 1990. De Raedt, L. and Bruynooghe, M., "CLINT: a Multistrategy Interactive Concept Learner and Theory Revision System," in Proceedings of the First International Workshop on Multistrategy Learning, R.S. Michalski and G. Tecuci (Eds.), Center for AI, George Mason University, November, 1991. Ram A. and Cox M., "Introspective Reasoning using Meta-explanations for Multistrategy Learning," in Machine Learning: A Multistrategy Approach Volume 4, R.S. Michalski and G. Tecuci (Eds.), San Mateo, CA, Morgan Kaufmann, 1994. Russell, S., "The Use of Knowledge in Analogy and Induction," Morgan Kaufman Publishers, Inc., San Mateo, CA, 1989. Saitta, L. and Botta, M., "Multistrategy Learning and Theory Revision," Machine Learning Journal, Special Issue on Multistrategy Learning, vol.11, no. 2&3, Guest Editor: R.S. Michalski, 1993. Segen, J., "GEST: A Learning Computer Vision System that Recognizes Hand Gestures," in Machine Learning: A Multistrategy Approach Volume 4, R.S. Michalski and G. Tecuci (Eds.), San Mateo, CA, Morgan Kaufmann, 1994. Segre, A.M. (Ed.), Proc. of the Sixth IntWorkshop on Machine Learning, Cornell Univ., Ithaca, New York, June 26-27, 1989. Shavlik, J.W. and Towell, G.G., "An Approach to Combining Explanation-based and Neural Learning Algorithms," in Readings in Machine Learning, J.W. Shavlik and T. Dietterich (Eds.), Morgan Kaufmann, 1990. Sleeman, D. and Edwards, P., Proceedings of the Ninth International Workshop on Machine Learning (ML92), Morgan Kaufman Publishers, Aberdeen, July 1-3, 1992. Tecuci, G., DISCIPLE: A Theory, Methodology, and System for Learning Expert Knowledge. Ph.D. Thesis, University of Paris- South, 1988. Tecuci, G., "An Inference-Based Framework for Multistrategy Learning," in Machine Learning: A Multistrategy Approach Volume 4, R.S. Michalski and G. Tecuci (Eds.), San Mateo, CA, Morgan Kaufmann, 1994. Tecuci, G. and Kodratoff, Y., "Apprenticeship Learning in Imperfect Theory Domains," in Machine Learning: An Artificial G. Tecuci 72
  • 73. Intelligence Approach Volume 3, Y. Kodratoff and R.S. Michalski (Eds.), San Mateo, CA, Morgan Kaufmann, 1990. Tecuci, G. and Michalski, R.S., "A Method for Multistrategy Task-adaptive Learning Based on Plausible Justifications," in Machine Learning: Proceedings of the Eighth International Workshop, L. Birnbaum and G. Collins (Eds.), Chicago, IL, Morgan Kaufmann, pp. 549-553, 1991. Towell, G.G. and Shavlik, J.W., "Refining Symbolic Knowledge Using Neural Networks," in Proceedings of the First International Workshop on Multistrategy Learning, Center for AI, George Mason University, November, 1991. Also in Machine Learning: A Multistrategy Approach Volume 4, R.S. Michalski and G. Tecuci (Eds.), San Mateo, CA, Morgan Kaufmann, 1994. Vafaie, H. and DeJong, K., "Improving the Performance of a Rule Induction System Using Genetic Algorithms," in Proceedings of the First International Workshop on Multistrategy Learning, Center for AI, George Mason University, Nov. 1991. Also in Machine Learning: A Multistrategy Approach Volume 4, R.S. Michalski and G. Tecuci (Eds.), San Mateo, CA, Morgan Kaufmann, 1994. Veloso, M. and Carbonell, J.G., "Automating Case Generation, Storage, and Retrieval in PRODIGY," in Machine Learning: A Multistrategy Approach Volume 4, R.S. Michalski and G. Tecuci (Eds.), San Mateo, CA, Morgan Kaufmann, 1994. Whitehall, B.L., "Knowledge-based Learning: Integration of Deductive and Inductive Leaning for Knowledge Base Completion," PhD Thesis, University of Illinois at Champaign-Urbana, 1990. Whitehall, B.L. and Lu, S.C-Y., "Theory Completion using Knowledge-Based Learning," in Machine Learning: A Multistrategy Approach Volume 4, R.S. Michalski and G. Tecuci (Eds.), San Mateo, CA, Morgan Kaufmann, 1994. Widmer, G., "A Tight Integration of Deductive and Inductive Learning," Proceedings of the Sixth International Workshop on Machine Learnin, A. Segre (Ed.), Ithaca, NY, Morgan Kaufmann, 1989. Widmer, G., "Learning with a Qualitative Domain Theory by Means of Plausible Explanations," in Machine Learning: A Multistrategy Approach Volume 4, R.S. Michalski and G. Tecuci (Eds.), San Mateo, CA, Morgan Kaufmann, 1994. Wilkins, D.C., Clancey, W.J. and Buchanan, B.G., An Overview of the Odysseus Learning Apprentice, Kluwer Academic Press, New York, NY, 1986. Wilkins, D.C., "Knowledge Base Refinement as Improving an Incorrect and Incomplete Domain Theory," in Machine Learning: An Artificial Intelligence Approach Volume 3, Y. Kodratoff and R.S. Michalski (Eds.), San Mateo, CA, Morgan Kaufmann, 1990. Wnek, J. and Hieb, M., "Bibliography of Multistrategy Learning Research," in Machine Learning: A Multistrategy Approach Volume 4, R.S. Michalski and G. Tecuci (Eds.), San Mateo, CA, Morgan Kaufmann, 1994. G. Tecuci 73