Վերահսկվող ուսուցում

Վերահսկվող ուսումը մեքենայական ուսուցման խնդիրներից է։ Այն սովորում է ֆունկցիա, որը մուտք-ելքային տվյալների զույգերի օրինակի հիման վրա այլ մուտքային տվյալներից ստանում է նման արդյունքներ։ Դա նշանակում է, որ մուտքագրվող տվյալները և արդյունքը նախապես հայտնի են, և ակնկալվում է ստանալ նմանատիպ արդյունք նոր մուտքագրվող տվյալների համար։ Վերահսկվող ուսուցման մեջ յուրաքանչյուր օրինակը մի զույգ է, որը բաղկացած է մուտքային օբյեկտից (սովորաբար վեկտորից) և ցանկալի ելքային արժեքներից։ Վերահսկվող ուսուցման ալգորիթմը վերլուծում է վերապատրաստման տվյալները և ստեղծում է ֆունկցիա, որը կարող է օգտագործվել նոր օրինակների քարտեզագրման համար։ Օպտիմալ դեպքը հնարավորություն կտա ալգորիթմին ճիշտ որոշել դասի լեյբլները նոր դեպքերի համար։ Սա ուսուցման ալգորիթմից պահանջում է ընդհանրացնել վերապատրաստման տվյալները նոր դեպքերի համար «ողջամիտ» ձևով (տե՛ս ինդուկտիվ կողմնակալությունը )։


== Քայլերի հաջորդականությունը ==
Վերահսկվող ուսուցման տվյալ խնդիրը լուծելու համար հարկավոր է կատարել հետևյալ քայլերը.

Որոշել վերապատրաստման օրինակների տեսակը։ Ցանկացած այլ բան անելուց առաջ պետք է որոշել, թե ինչպիսի տվյալներ են օգտագործվում վերապատրաստման համար։ Օրինակ ՝ ձեռագրերի վերլուծության դեպքում սա կարող է լինել մեկ ձեռագիր տառ, մի ամբողջ ձեռագիր բառ կամ ձեռագիր նախադասություն։
Հավաքել վերապատրաստման օրինակներ։ Դրանք պետք է լինեն ներկայացուցչական իրական ֆունկցիայի համար։ Այսպիսով, հավաքվում են մուտքային օբյեկտներ և դրանց համապատասխան ելքեր կամ մարդկային փորձագետներից, կամ չափումներից։
Որոշել սովորած ֆունկցիայի մուտքային տվյալների ներկայացման ձևը։ Սովորված ֆունկցիայի ճշգրտությունը խստորեն կախված է նրանից, թե ինչպես է ներկայացվում մուտքային օբյեկտը։ Սովորաբար, մուտքային օբյեկտը վերածվում է առանձնահատկությունների վեկտորի, որն իր մեջ պարունակում է օբյեկտը նկարագրող մի շարք առանձնահատկություններ։ Առանձնահատկությունների քանակը չպետք է չափազանց մեծ լինի ծավալի տեսանկյունից, բայց պետք է պարունակի բավարար տեղեկատվություն` արդյունքը ճշգրիտ կանխատեսելու համար։
Որոշել սովորած ֆունկցիայի կառուցվածքը և համապատասխան սովորող ալգորիթմը(learning algorithm)։ Օրինակ՝ ինժեները կարող է ընտրել օժանդակ վեկտորի մեքենաներ(support vector machines) կամ որոշման ծառեր (decision tree)։
Ամբողջացնել դիզայնը։ Աշխատացնել սովորող ալգորիթմը հավաքված վերապատրաստման տվյալների վրա։ Վերահսկվող ուսուցման որոշ ալգորիթմներ պահանջում են որոշել վերահսկման որոշակի պարամետրեր։ Այս պարամետրերը կարող են ճշգրտվել` օպտիմալացնելով կատարողականը վերապատրաստման տվյալների մի մասի վրա որը կոչվում է վավերացման տվյալներ (validation set) կամ խաչաձև վավերացման (cross-validation) միջոցով։
Գնահատեl սովորած ֆունկցիայի ճշգրտությունը։ Պարամետրերի ճշգրտումից և սովորելուց հետո ստացված ֆունկցիայի կատարողականը պետք է չափվի թեստի վրա, որը առանձին է վերապատրաստման տվյալներից։


== Ալգորիթմի ընտրություն ==
Գոյություն ունեն բազմաթիվ վերահսկվող ուսուցման ալգորիթմներ՝ յուրաքանչյուրն իր ուժեղ և թույլ կողմերով։ Չկա մեկ միասնական սովորող ալգորիթմ, որն ամենալավն է աշխատում վերահսկվող ուսուցման բոլոր խնդիրների համար։


=== Ալգորիթմներ ===
Առավել լայն կիրառում ունեցող ալգորիթմներն են.

Օժանդակ վեկտորային մեքենաներ (Support Vector Machines)
գծային ռեգրեսիա
լոգիստիկ ռեգրեսիա
նայիվ Բայես
գծային խտրական վերլուծություն (linear discriminant analysis)
որոշման ծառեր (decision trees)
k-ամենամոտ հարևան ալգորիթմ
Նեյրոնային ցանցեր (բազմաշերտ պերսեպտրոն)
Նմանության սովորում (Similarity learning)


== Ինչպես են գործում վերահսկվող ուսուցման ալգորիթմները ==
Տրված 
  
    
      
        N
      
    
    {\displaystyle N}
   վերապատրաստման օրինակների համար, որոնք ունեն հետևյալ տեսքը՝ 
  
    
      
        {
        (
        
          x
          
            1
          
        
        ,
        
          y
          
            1
          
        
        )
        ,
        .
        .
        .
        ,
        (
        
          x
          
            N
          
        
        ,
        
        
          y
          
            N
          
        
        )
        }
      
    
    {\displaystyle \{(x_{1},y_{1}),...,(x_{N},\;y_{N})\}}
   այնպես, որ 
  
    
      
        
          x
          
            i
          
        
      
    
    {\displaystyle x_{i}}
  -ն i- րդ օրինակի առանձնահատկության վեկտորն է, իսկ 
  
    
      
        
          y
          
            i
          
        
      
    
    {\displaystyle y_{i}}
   դրա պիտակն է (label, այսինքն՝ դաս), սովորող ալգորիթմը փնտրում է ֆունկցիա՝ 
  
    
      
        g
        :
        X
        →
        Y
      
    
    {\displaystyle g:X\to Y}
  , որտեղ 
  
    
      
        X
      
    
    {\displaystyle X}
   մուտքային տարածք է, 
  
    
      
        Y
      
    
    {\displaystyle Y}
  -ը՝ ելքային։ 
  
    
      
        g
      
    
    {\displaystyle g}
   ֆունկցիան հնարավոր 
  
    
      
        G
      
    
    {\displaystyle G}
   ֆունկցիաների տարր է, որը սովորաբար անվանում են վարկածների/հիպոթեզների տարածք։ Երբեմն 
  
    
      
        g
      
    
    {\displaystyle g}
   հարմար է ներկայացնել 
  
    
      
        f
        :
        X
        ×
        Y
        →
        
          R
        
      
    
    {\displaystyle f:X\times Y\to \mathbb {R} }
   ֆունկցիայի տեսքով այնպես, որ 
  
    
      
        g
      
    
    {\displaystyle g}
   սահմանվի որպես 
  
    
      
        y
      
    
    {\displaystyle y}
   -ի արժեք, որը տալիս է ամենաբարձր գնահատականը. 
  
    
      
        g
        (
        x
        )
        =
        
          
            
              arg
              ⁡
              max
            
            y
          
        
        
        f
        (
        x
        ,
        y
        )
      
    
    {\displaystyle g(x)={\underset {y}{\arg \max }}\;f(x,y)}
  ։ Գնահատականների ֆունկցիաների տարածքը նշանակենք 
  
    
      
        F
      
    
    {\displaystyle F}
  ։
Չնայած որ 
  
    
      
        G
      
    
    {\displaystyle G}
   և 
  
    
      
        F
      
    
    {\displaystyle F}
   կարող են լինել ցանկացած տարածքի ֆունկցիաներ, շատ սովորող ալգորիթմներ հավանականային մոդելներ են, որտեղ 
  
    
      
        g
      
    
    {\displaystyle g}
   ստանում է պայմանական հավանականության մոդելի ձևը՝ 
  
    
      
        g
        (
        x
        )
        =
        P
        (
        y
        
          |
        
        x
        )
      
    
    {\displaystyle g(x)=P(y|x)}
  , կամ 
  
    
      
        f
      
    
    {\displaystyle f}
   ստանում է համատեղ հավանականության մոդելի ձևը՝ 
  
    
      
        f
        (
        x
        ,
        y
        )
        =
        P
        (
        x
        ,
        y
        )
      
    
    {\displaystyle f(x,y)=P(x,y)}
   . Օրինակ, նայիվ Բայեսը և գծային խտրական վերլուծությունը համատեղ հավանականության մոդելներ են, մինչդեռ լոգիստիկ ռեգրեսիան պայմանական հավանականության մոդել է։

  
    
      
        f
      
    
    {\displaystyle f}
   կամ 
  
    
      
        g
      
    
    {\displaystyle g}
  -ն ընտրելու 2 հիմնական մոտեցումներ կան՝ էմպիրիկ ռիսկերի նվազեցում և կառուցվածքային ռիսկերի նվազեցում ։ Էմպիրիկ ռիսկերի նվազեցումը որոնում է այն ֆունկցիա, որը լավագույնս ադապտացվում է(fit) վերապատրաստման տվյալների վրա։ Կառուցվածքային ռիսկերի նվազեցումը ներառում է <<տուգանային>> գործառույթ, որը վերահսկում է կողմնակալության / վարիացիայի փոխանակումը։
Երկու դեպքում էլ ենթադրվում է, որ վերապատրաստման տվյալները բաղկացած են անկախ և նույնական բաշխված զույգերի նմուշից՝ 
  
    
      
        (
        
          x
          
            i
          
        
        ,
        
        
          y
          
            i
          
        
        )
      
    
    {\displaystyle (x_{i},\;y_{i})}
  ։ Չափելու համար, թե որքանով է ֆունկցիան ադապտացվում դասընթացների տվյալների վրա, կորստի ֆունկցիան (loss funcion) սահմանվում է սայմանվում է հետևյալ կերպ` 
  
    
      
        L
        :
        Y
        ×
        Y
        →
        
          
            R
          
          
            ≥
            0
          
        
      
    
    {\displaystyle L:Y\times Y\to \mathbb {R} ^{\geq 0}}
  ։ Վերապատրասման տվյալների օրինակով՝ 
  
    
      
        (
        
          x
          
            i
          
        
        ,
        
        
          y
          
            i
          
        
        )
      
    
    {\displaystyle (x_{i},\;y_{i})}
  , 
  
    
      
        
          
            
              y
              ^
            
          
        
      
    
    {\displaystyle {\hat {y}}}
  կանխատեսվող արժեքի կորուստը կլինի 
  
    
      
        L
        (
        
          y
          
            i
          
        
        ,
        
          
            
              y
              ^
            
          
        
        )
      
    
    {\displaystyle L(y_{i},{\hat {y}})}
   .

  
    
      
        g
      
    
    {\displaystyle g}
   ֆունկցիայի ռիսկը՝ 
  
    
      
        R
        (
        g
        )
      
    
    {\displaystyle R(g)}
  , սահմանվում է որպես 
  
    
      
        g
      
    
    {\displaystyle g}
  -իակնկալվող կորուստ։ Դա կարելի է գնահատել վերապատրաստման տվյալների հիման վրա.

  
    
      
        
          R
          
            e
            m
            p
          
        
        (
        g
        )
        =
        
          
            1
            N
          
        
        
          ∑
          
            i
          
        
        L
        (
        
          y
          
            i
          
        
        ,
        g
        (
        
          x
          
            i
          
        
        )
        )
      
    
    {\displaystyle R_{emp}(g)={\frac {1}{N}}\sum _{i}L(y_{i},g(x_{i}))}
   .


=== Էմպիրիկ ռիսկի նվազեցում ===
Էմպիրիկ ռիսկի նվազեցման դեպքում վերահսկվող ուսուցման ալգորիթմը որոնում է այնպիսի 
  
    
      
        g
      
    
    {\displaystyle g}
   ֆունկցիա, որը նվազագույնի է հասցնում 
  
    
      
        R
        (
        g
        )
      
    
    {\displaystyle R(g)}
  ։ Հետևաբար, վերահսկվող ուսուցման ալգորիթմը կարելի է կառուցել օպտիմիզացման ալգորիթմի կիրառմամբ 
  
    
      
        g
      
    
    {\displaystyle g}
   -ն գտնելու համար։
Երբ 
  
    
      
        g
      
    
    {\displaystyle g}
   պայմանական հավանականության բաշխումն է՝ 
  
    
      
        P
        (
        y
        
          |
        
        x
        )
      
    
    {\displaystyle P(y|x)}
  , իսկ կորստի ֆունկցիան բացասական լոգարիթմական ճշմարտանմանությունն է՝ 
  
    
      
        L
        (
        y
        ,
        
          
            
              y
              ^
            
          
        
        )
        =
        −
        log
        ⁡
        P
        (
        y
        
          |
        
        x
        )
      
    
    {\displaystyle L(y,{\hat {y}})=-\log P(y|x)}
  , ապա էմպիրիկ ռիսկի նվազեցումը համարժեք է առավելագույն ճշմարտանմանության գնահատմանը։
Երբ 
  
    
      
        G
      
    
    {\displaystyle G}
   պարունակում է բազմաթիվ ֆունկցիաներ կամ վերապատրաստման տվյալները բավականաչափ շատ չեն, էմպիրիկ ռիսկերի նվազեցումը հանգեցնում է բարձր վարիացիայի և վատ ընդհանրացման։ Ուսուցման ալգորիթմը կարողանում է անգիր կատարել վերապատրաստման օրինակները՝ առանց լավ ընդհանրացնելու։ Սա կոչվում է գերակատարում (overfitting)։


=== Կառուցվածքային ռիսկերի նվազեցում ===
Կառուցվածքային ռիսկերի նվազեցումը ձգտում է կանխել գերակատարումը` կարգավորող տույժը օպտիմիզացիայի մեջ ներառելով։
Օգտագործվել են տույժերի լայն բազմազանություն, որոնք համապատասխանում են տարբեր բարդությունների։ Օրինակ, ենթադրենք՝ 
  
    
      
        g
      
    
    {\displaystyle g}
   գծային ֆունկցիան ունի հետևյալ տեսքը.

  
    
      
        g
        (
        x
        )
        =
        
          ∑
          
            j
            =
            1
          
          
            d
          
        
        
          β
          
            j
          
        
        
          x
          
            j
          
        
      
    
    {\displaystyle g(x)=\sum _{j=1}^{d}\beta _{j}x_{j}}
   .Ռեգուլարիզացիայի հայտնի տուգանք է 
  
    
      
        
          ∑
          
            j
          
        
        
          β
          
            j
          
          
            2
          
        
      
    
    {\displaystyle \sum _{j}\beta _{j}^{2}}
  , որը կշիռների քառակուսային էվկլիդյան նորմ է, որը հայտնի է նաև որպես 
  
    
      
        
          L
          
            2
          
        
      
    
    {\displaystyle L_{2}}
   նորմ։ Այլ նորմերից են 
  
    
      
        
          L
          
            1
          
        
      
    
    {\displaystyle L_{1}}
   նորմ, 
  
    
      
        
          ∑
          
            j
          
        
        
          |
        
        
          β
          
            j
          
        
        
          |
        
      
    
    {\displaystyle \sum _{j}|\beta _{j}|}
  , և 
  
    
      
        
          L
          
            0
          
        
      
    
    {\displaystyle L_{0}}
   նորմա, որը ոչ զրոյական 
  
    
      
        
          β
          
            j
          
        
      
    
    {\displaystyle \beta _{j}}
  -երի քանակն է։ Տուգանքը նշանակենք 
  
    
      
        C
        (
        g
        )
      
    
    {\displaystyle C(g)}
  ։
Վերահսկվող ուսուցման օպտիմիզացման խնդիրը այնպիսի 
  
    
      
        g
      
    
    {\displaystyle g}
   ֆունկցիա գտնելն է, որը նվազագույնի է հասցնում՝

  
    
      
        J
        (
        g
        )
        =
        
          R
          
            e
            m
            p
          
        
        (
        g
        )
        +
        λ
        C
        (
        g
        )
        .
      
    
    {\displaystyle J(g)=R_{emp}(g)+\lambda C(g).}
  
  
    
      
        λ
      
    
    {\displaystyle \lambda }
   պարամետրը վերահսկում է կողմնակալության տարբերությունը։ Երբ 
  
    
      
        λ
        =
        0
      
    
    {\displaystyle \lambda =0}
  , սա տալիս է էմպիրիկ ռիսկի մինիմալացում ցածր կողմնակալությամբ և բարձր վարիացիայով։ Երբ 
  
    
      
        λ
      
    
    {\displaystyle \lambda }
   մեծ է, սովորող ալգորիթմը կունենա բարձր կողմնակալություն և ցածր վարիացիա։ 
  
    
      
        λ
      
    
    {\displaystyle \lambda }
  -ի արժեքը  կարելի է ընտրել էմպիրիկորեն՝ խաչաձև վալիդացիայի միջոցով։
Բարդության տուգանքը ունի բայեսյան մեկնաբանություն՝ որպես 
  
    
      
        g
      
    
    {\displaystyle g}
  
  
    
      
        −
        log
        ⁡
        P
        (
        g
        )
      
    
    {\displaystyle -\log P(g)}
   բացասական լոգարիթմական հավանականություն, որի դեպքում 
  
    
      
        J
        (
        g
        )
      
    
    {\displaystyle J(g)}
   -ը 
  
    
      
        g
      
    
    {\displaystyle g}
  -ի պոստերիոր հավանականությունն է։


== Ընդհանրացումներ ==
Կան մի քանի եղանակներ, որոնց միջոցով կարելի է ընդհանրացնել ստանդարտ վերահսկվող ուսուցման խնդիրը։

Կիսահսկվող ուսուցում. Ցանկալի ելքային արժեքները տրամադրվում են միայն որպես վերապատրաստման տվյալների ենթաբազմություն։ Մնացած տվյալները չունեն լեյբլներ։
Թույլ վերահսկողություն. Աղմկոտ, սահմանափակ կամ ոչ ճշգրիտ աղբյուրներն օգտագործվում են վերահսկողության ազդանշան ապահովելու համար՝ վերապատրաստման տվյալների պիտակավորման համար։
Ակտիվ ուսուցում. Փոխանակ ենթադրելու, որ վերապատրաստման բոլոր օրինակները իսկզբանե տրված են, ակտիվ ուսուցման ալգորիթմները ինտերակտիվորեն հավաքում են նոր օրինակներ, սովորաբար՝ օգտագործողի կողմից հարցումներ կատարելով։ Հաճախ հարցումները հիմնված են չհրապարակված տվյալների վրա, ինչը համատեղում է կիսահսկվող ուսուցումը ակտիվ ուսուցման հետ։
Կառուցվածքային կանխատեսում. Երբ ցանկալի ելքային արժեքը բարդ օբյեկտ է, օրինակ՝ փարսյան ծառ կամ պիտակավորված գրաֆիկ, ապա ստանդարտ մեթոդները պետք է ընդլայնվեն։
Դասակարգել սովորելը. Երբ մուտքային տվյալները օբյեկտների շարք են, և ցանկալի ելքը այդ օբյեկտների դասակարգումն է, ապա նորից պետք է ստանդարտ մեթոդները ընդլայնվեն։


== Մոտեցումներ և ալգորիթմներ ==
Վերլուծական ուսուցում
Արհեստական նեյրոնային ցանց
Հետադարձման ալգորիթմ (Backpropagation)
Խթանում (մետա-ալգորիթմ, boosting)
Բայեսյան վիճակագրություն
Դեպքերի վրա հիմնված հիմնավորում (Case-based reasoning)
Որոշման ծառի ուսուցում
Ինդուկտիվ տրամաբանության ծրագրավորում
Գաուսական գործընթացների հետընթաց
Գենետիկական ծրագրավորում
Տվյալների մշակման խմբային եղանակ (Group method of data handling)
Կեռնելի գնահատականները
Ավտոմատ ուսուցում (Learning Automata)
Ուսուցման դասակարգիչ համակարգեր
Հաղորդագրության նվազագույն երկարությունը ( որոշման ծառեր, որոշումների գծապատկերներ և այլն)
Նայիվ Բայես դասակարգիչ
Մոտակա հարևան ալգորիթմը
Օժանդակ վեկտորային մեքենաներ
Պատահական անտառներ
Օրդինալ դասակարգում
Տվյալների նախամշակում
Վիճակագրական կապի ուսուցում
Proaftn՝ բազմակողմանի դասակարգման ալգորիթմ
Այլ


== Օգտագործման ոլորտները ==
Բիոինֆորմատիկա
Քիմինֆորմատիկա
Քանակական կառուցվածքի և գործունեության փոխհարաբերություններ
Տվյալների շուկայավարում
Ձեռագրի ճանաչում
Տեղեկատվության ստացում
Դասակարգման ուսուցում
Տեղեկատվության դուրսբերում
Օբյեկտի ճանաչում համակարգչային տեսողության մեջ
Օպտիկական բնույթի ճանաչում
Սպամի հայտնաբերում
Նախշի ճանաչում
Խոսքի ճանաչում
Այլ


== Ծանոթություններ ==


== Արտաքին հղումներ ==
Machine Learning Բաց կոդով ծրագրաշար (MLOSS)