====== Přehled vztahů  s nimiž procedury pracují ======

Popisované GUHA procedury pracují s následujícími vztahy vycházejícími z asociačních pravidel, histogramů, kontingenčních tabulek a akčních pravidel.  

  * Procedura [[lm_guha_te_4ft_proc|4ft-Miner]] pracuje s [[lm_guha_te_pravidlo|GUHA asociačními pravidly φ≈ψ]] kde φ a ψ jsou booleovské atributy. Pravidlo φ≈ψ //je pravdivé v matici dat// **M**, pokud φ a ψ jsou v matici dat **M** ve vztahu daném 4ft-kvantifikátorem ≈. Každý 4ft-kvantifikátor definuje podmínku týkající se kontingenční tabulky φ a ψ. GUHA asociační pravidla jsou obecnější  než asociační pravidla produkovaná známým algoritmem apriori. Je možno pracovat i s podmíněnými GUHA asociační pravidly φ≈ψ/χ kde χ je booleovský atribut. Příklady aplikací procedury 4ft-Miner jsou [[https://lispminer.vse.cz/guhadi/doku.php?id=lm_guha_di_typul_4ft|zde]]. 

  * Procedura [[lm_guha_te_sd4ft_proc|SD4ft-Miner]] pracuje [[lm_guha_te_sd_pravidlo|SD4ft-pravidly α×β:φ∼ψ]] odpovídajícími dvojicím podmíněných pravidel φ≈ψ/α a φ≈ψ/β. SD4ft-pravidlo α×β:φ∼ψ //je pravdivé v matici dat// **M**, pokud se v matici dat **M** liší charakteristiky podmíněných pravidel φ≈ψ/α a φ≈ψ/β způsobem daným SD4ft-kvantifikátorem ∼. Je možno pracovat i s podmíněnými SD4ft-pravidly α×β:φ∼ψ/χ. Příklady aplikací procedury SD4ft-Miner jsou [[https://lispminer.vse.cz/guhadi/doku.php?id=lm_guha_di_typul_sd4ft|zde]].  

  * Procedura [[lm_guha_te_cf_proc|CF-Miner]] pracuje s [[:LM_GUHA_TE_histogram|histogramy A/χ]] které odpovídají sloupcovým grafům atributu A na podmatici **M/χ** matice dat **M**. Výraz "≈A/χ" nazýváme //CF-výrazem//. CF-výraz  ≈A/χ  //je pravdivý v matici dat // **M**, pokud histogram A/χ splňuje podmínku danou CF-kvantifikátorem ≈. Příklady aplikací procedury CF-Miner jsou [[https://lispminer.vse.cz/guhadi/doku.php?id=lm_guha_di_typul_cf|zde]]. 

  * Procedura [[lm_guha_te_sdcf_proc|SDCF-Miner]] pracuje s [[:LM_GUHA_TE_histogram_2|dvojicemi histogramů A/α∧χ a A/β∧χ]] které odpovídají sloupcovým grafům atributu A na podmaticích  **M/α∧χ** a **M/β∧χ** matice dat **M**. SDCF-výraz  α×β: ≈A/χ  //je pravdivý v matici dat// **M**,  pokud histogramy A/α∧χ a A/β∧χ splňují podmínku danou SDCF-kvantifikátorem ≈.  Příklady aplikací procedury SDCF-Miner jsou [[https://lispminer.vse.cz/guhadi/doku.php?id=lm_guha_di_typul_sdcf|zde]].

  * Procedura [[lm_guha_te_kl_proc|KL-Miner]] pracuje s [[:LM_GUHA_TE_tabulka|KL-vztahy R≈C/χ]] kde R a C jsou kategoriální atributy a χ je booleovský atribut. KL-vztah R≈C/χ //je pravdivý v matici dat// **M** pokud atributy R a C jsou v matici dat **M/χ** ve vztahu daném KL-kvantifikátorem ≈. Každý KL-kvantifikátor definuje podmínku týkající se kontingenční tabulky R a C.  Příklady aplikací procedury KL-Miner jsou [[https://lispminer.vse.cz/guhadi/doku.php?id=lm_guha_di_typul_kl|zde]].
  
  * Procedura [[lm_guha_te_sdkl_proc|SDKL-Miner]] pracuje s [[:LM_GUHA_TE_tabulka_2|SDKL-vztahy α×β:R≈C/χ]] kde R a C jsou kategoriální atributy a α,β,χ jsou booleovské atributy. SDKL-vztah α×β:R≈C/χ //je pravdivý v matici dat// **M** pokud se kontingenční tabulky atributů R a C na podmaticích dat **M/χ∧α** a **M/χ∧β** liší způsobem daným SDKL-kvantifikátorem ≈. Každý SDKL-kvantifikátor definuje podmínku týkající se dvou kontingenčních tabulek R a C.  Příklady aplikací procedury SDKL-Miner jsou [[https://lispminer.vse.cz/guhadi/doku.php?id=lm_guha_di_typul_sdkl|zde]].

  * Procedura [[lm_guha_te_ac4ft_proc|Ac4ft-Miner]] pracuje s [[:LM_GUHA_TE_Ac_pravidlo|akčními pravidly]] naznačujícími důsledky změn hodnot u vhodných atributů v GUHA asociačních pravidlech.  Příklady aplikací procedury Ac4ft-Miner jsou [[https://lispminer.vse.cz/guhadi/doku.php?id=lm_guha_di_typul_ac4ft|zde]].