====== Procedura CF-Miner ======

Procedura CF-Miner pracuje s CF-výrazy ≈A/χ.  Zde  A je [[lm_guha_te_matice|kategoriální atribut]], 
χ je [[lm_guha_te_bool|booleovský atribut]] a ≈ je [[lm_guha_te_histogram#CF-kvantifikátor|CF-kvantifikátor]]. 
CF-výraz ≈A/χ říká, že histogram atributu A splňuje na podmatici dané booleovským atributem  χ podmínku danou CF-kvantifikátorem ≈. 
Zadání procedury se provádí  v okně dle následujícího obrázku. 
{{ :cf_miner_zakladni.png |}}



Zadává se [[lm_guha_te_cf_proc#Množina relevantních CF-výrazů|množina relevantních CF-výrazů]]  a  [[lm_guha_te_cf_dalsi_params|detaily výstupu]]. 

Tlačítkem ''Validate'' se vyvolá 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 [[https://lispminer.vse.cz/wiki/doku.php?id=mcf:validate|zadání parametrů specifických pro CF-Miner]]. 

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_CF_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 CF-Miner jsou [[https://lispminer.vse.cz/guhadi/doku.php?id=lm_guha_di_typul_cf|zde]]. 
===== Množina relevantních CF-výrazů =====

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

  * zadáním neprázdného [[lm_guha_te_procedury_zadavani|seznamu atributů]] relevantních pro histogram, to se zahajuje tlačítkem ''ATTRIBUTES FOR HISTOGRAM''
  * zadáním množiny //COND// relevantních podmínek, to se zahajuje tlačítkem ''CONDITION''. 
  * [[lm_guha_te_CF_kvantifikator|zadáním CF-kvantifikátoru ≈]], to se zahajuje tlačítkem ''QUANTIFIERS''
Množina  //COND// se zadává jako [[lm_guha_te_procedury_zadavani|množina relevantních cedentů]], může být prázdná,. 

Za relevantní CF-výrazy jsou potom považovány všechny CF-výrazy ≈ A/χ takové, že A je uveden v seznamu atributů a 
 χ ∈ //COND//.  

Součástí zadání množiny relevantních CF-výrazů je i zadání způsobu [[lm_guha_te_cf_proc#Konstrukce sloupců histogramu|konstrukce sloupců histogramu]] tlačítkem ''Aggregate function''. 


===== Konstrukce sloupců histogramu =====

Předpokládá se, že výška sloupce  histogramu pro danou kategorii //a// použitého atributu A odpovídá počtu řádků analyzované matice splňujících booleovský atribut χ pro které hodnota atributu A je //a//. To je možno změnit pomocí tlačítka ''Aggregate function'' kterým se otevře okno dle následujícího obrázku. 
{{ :aggregate_function.png?500|}} //

DODELAT