====== 4ft-Miner ======

Procedura 4ft-Miner pracuje s [[lm_guha_te_pravidlo#GUHA a asociační pravidla|GUHA asociačními pravidly φ≈ψ]] a s [[lm_guha_te_pravidlo#Podmíněné asociační pravidlo|podmíněnými GUHA asociačními pravidly φ≈ψ/χ]]. Zde  φ, ψ a χ jsou [[lm_guha_te_bool|booleovské atributy]], ≈ je [[lm_guha_te_pravidlo#4ft-kvantifikátor|4ft-kvantifikátor]]. Booleovský atribut φ se nazývá antecedent, ψ je sukcedent (konsequent) a χ je podmínka. Zadání procedury se provádí  v okně dle následujícího obrázku. 

{{ :4ft_miner_zakladni.png |}}

Zadává se [[lm_guha_te_4ft_proc#Množina relevantních GUHA asociačních pravidel|množina relevantních GUHA asociačních pravidel]], 
 [[lm_guha_te_4ft_proc#Způsob zpracování neúplné informace|způsob zpracování neúplné informace]] a 
[[lm_guha_te_4ft_dalsi_params|detaily výstupu]] zahrnující mimo jiné i způsob využití [[lm_guha_te_4ft_prostota|prostoty pravidel]]. 

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=mft:validate|zadání parametrů specifických pro 4ft-Miner]]. 


Procedura se spustí jedním z tlačítek ''Run'', ''Bkgrnd Run'', ''Grid Run'' popsaných [[lm_guha_te_beh_procedury|zde]].  [[lm_guha_te_4ft_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 4ft-Miner jsou [[https://lispminer.vse.cz/guhadi/doku.php?id=lm_guha_di_typul_4ft|zde]]. 

===== Množina relevantních GUHA asociačních pravidel =====

Množina relevantních asociačních pravidel je dána   

  * zadáním množiny //ANT// relevantních antecedentů, to se zahajuje tlačítkem ''ANTECEDENT''
  * zadáním množiny //SUCC// relevantních sukcedentů, to se zahajuje tlačítkem ''SUCCEDENT''
  * zadáním množiny //COND// relevantních podmínek, to se zahajuje tlačítkem ''CONDITION''
  * [[lm_guha_te_4ft_kvantifikator|zadáním 4ft-kvantifikátoru ≈]], to se zahajuje tlačítkem ''QUANTIFIERS''.
Množiny //ANT//, //SUCC// a //COND// se zadávají jako [[lm_guha_te_procedury_zadavani#Zadání množiny relevantních cedentů|množiny relevantních cedentů]]. 

Množina relevantních antecedentů //ANT// může být zadána tak, že obsahuje pouze atribut //True//.  
Množina relevantních sukcedentů musí obsahovat alespoň jeden základní nebo odvozený booleovský atribut. 
Množina relevantních podmínek se zadává pouze, když chceme pracovat s podmíněnými asociačními pravidly. 

V zadáních relevantních cedentů se mohou vyskytovat stejné atributy. Procedura 4ft-Miner však generuje pouze 
taková pravidla, která jsou relevantní. To znamená, že jeden atribut se nemůže vyskytovat současně ve dvou cedentech. 

Relevantní GUHA asociační pravidla jsou 
  * pravidla φ≈ψ taková, že φ ∈ //ANT//, ψ ∈ //SUCC// a zároveň φ a ψ nemají společné atributy 
  * pravidla φ≈ψ/χ taková, že φ ∈ //ANT//, ψ ∈ //SUCC//, χ ∈ //COND// a zároveň φ, ψ a χ nemají společné atributy.  

Tlačítkem ''Switch'' je možno zaměnit zadání množin relevantních cedentů: {{  :switch_4ft.png?200 |}}

===== Způsob zpracování neúplné informace =====


Volba způsobu zpracování neúplné informace se provádí 
v horní části okna vyvolaného tlačítkem ''Params'', viz následující obrázek. 
{{ :4ft_miner_zadani_neuplne_informace.png?500 |}}  

Podrobnosti jsou uvedeny [[lm_guha_te_4ft_missings|zde]].