====== SDCF-Miner  ======

Procedura SDCF-Miner pracuje s [[lm_guha_te_histogram_2|SDCF-výrazy α×β: ≈A/χ]].  Zde  A je [[lm_guha_te_matice|kategoriální atribut]], 
α,β,χ jsou [[lm_guha_te_bool|booleovské atributy]] a ≈ je [[lm_guha_te_histogram_2#SDCF-kvantifikátor|SDCF-kvantifikátor]]. SDCF-výraz je určen pro vyjádření rozdílu mezi histogramy \\ A/α∧χ a A/β∧χ. 
Histogram A/α∧χ na matici dat M je totéž jako histogram A/χ na podmatici M/α a histogram A/β∧χ na matici dat M je totéž jako histogram A/χ na podmatici M/β. Rozdíl mezi histogramy A/α∧χ a A/β∧χ na matici dat M můžeme tedy chápat jako rozdíl mezi histogramem A/χ na podmatici M/α  a  histogramem A/χ na podmatici M/β. 

Zadání procedury se provádí  v okně dle následujícího obrázku. 
{{ :sdcf_miner_zakladni.png |}}

Zadává se [[lm_guha_te_sdcf_proc#Množina relevantních SDCF-výrazů|množina relevantních SDCF-výrazů]]. Tlačítkem ''Validate'' se vyvolá [[lm_guha_te_sdcf_proc#Kontrola zadání|kontrola zadání]].

Parametrem //Maximal number of hypotheses to be mined// se udává maximální počet pravidel,  který může být nalezen. Parametr je dostupný po použití tlačítka ''Params''. Po dosažení uvedeného maximálního počtu pravidel se běh procedury ukončí.

Procedura se spustí jedním z tlačítek ''Run'', ''Bkgrnd Run'', ''Grid Run'' popsaných [[lm_guha_te_beh_procedury|zde]].  [[lm_guha_te_SDCF_interpretace|Prohlížení a interpretace výsledků]] se zahajuje tlačítkem ''Show Results''. 

Tlačítkem ''Task Clone'' se provede [[lm_guha_te_klonovani_procedury|vyklonování úlohy]]. 

Ukázky aplikací procedury SDCF-Miner jsou [[https://lispminer.vse.cz/guhadi/doku.php?id=lm_guha_di_typul_sdcf|zde]]. 

===== Množina relevantních SDCF-výrazů =====

Množina relevantních SDCF-výrazů je dána   

  * zadáním neprázdného seznamu atributů relevantních pro histogram, to se zahajuje tlačítkem ''ATTRIBUTES FOR HISTOGRAM''
  * zadáním množiny //ALFA// relevantních množin α, to se zahajuje tlačítkem ''FIRST SET''
  * zadáním množiny //BETA// relevantních množin β, to se zahajuje tlačítkem ''SECOND SET''
  * zadáním množiny //COND// relevantních podmínek, to se zahajuje tlačítkem ''CONDITION''  
  * [[lm_guha_te_SDCF_kvantifikator|zadáním SDCF-kvantifikátoru ≈]], to se zahajuje tlačítkem ''QUANTIFIERS''

Množiny //ANT//, //SUCC//  a //COND// se zadávají jako [[lm_guha_te_procedury_zadavani|množiny relevantních cedentů]]. 

Součástí zadání množiny relevantních SDCF-výrazů je i [[lm_guha_te_sd_params|zadání vztahu množin α a β]], které se vyvolá tlačítkem ''Params''. 

Množina relevantních množin α musí být vždy neprázdná, množina relevantních množin β i množina podmínek mohou být prázdné. V zadání těchto množin se mohou vyskytovat stejné atributy. 

Za relevantní SDCF-výrazy jsou potom považovány všechny SDCF-výrazy α×β: ≈A/χ takové, že A je uveden v seznamu atributů, α ∈ //ALFA//, β ∈ //BETA//,  χ ∈ //COND// a zároveň α, β a χ nemají společné atributy.    


===== Kontrola zadání =====

 Kontrola zahrnuje jednak [[https://lispminer.vse.cz/wiki/doku.php?id=lmtask:validate|obecné kontroly společné pro všechny procedury]] a jednak kontroly zadání parametrů specifických pro SDCF-Miner.