===== Akční pravidla a procedura Ac4ft-Miner =====


Pro akční pravidla a proceduru Ac4ft-Miner jsou k dispozici  tato témata: 
  * [[lm_guha_te_temata_akcni_pravidla_a_procedura_ac4ft-miner#Základní informace|základní informace]] 
  * [[lm_guha_te_temata_akcni_pravidla_a_procedura_ac4ft-miner#Příklady typických aplikací|příklady typických aplikací]].  
  
==== Základní informace ====

Procedura Ac4ft-Miner pracuje s [[lm_guha_te_ac_pravidlo#Akční pravidlo|akčními pravidly φ ∧ Φ ≈ ψ ∧ Ψ]]  a s 
[[lm_guha_te_ac_pravidlo#Podmíněné akční pravidlo|podmíněnými akčními pravidly φ ∧ Φ ≈ ψ ∧ Ψ /χ]] 
Zde  φ, ψ, χ jsou [[lm_guha_te_bool|booleovské atributy]], φ je stabilní antecedent a ψ je stabilní sukcedent.
Φ a Ψ jsou [[lm_guha_te_ac_pravidlo#Změny booleovských atributů|změny booleovských atributů]], Φ je změna antecedentu a Ψ je změna sukcedentu. Symbol ≈ je [[lm_guha_te_ac_pravidlo#Ac4ft-kvantifikátor|Ac4ft-kvantifikátor]]. 
Podrobnosti jsou uvedeny [[lm_guha_te_ac4ft_proc|zde]].  
==== Příklady typických aplikací ====

Jsou uvedeny tři příklady aplikací procedury Ac4ft-Miner. Dále předpokládáme, že jsou dány skupiny atributů **S1**, **S2**, **S3**, **V**, **Z**  a atribut A. 

  - První příklad se týká úlohy hledání okolností daných konjunkcí φ booleovských charakteristik skupin **S1**, **S2**, **S3** takových, že změna booleovské charakteristiky κ<sub>1</sub> skupiny **V** na charakteristiku κ<sub>2</sub> způsobí výrazný rozdíl mezi charakteristikami asociačních pravidel  φ ∧ κ<sub>1</sub> ≈ A(u) a φ ∧ κ<sub>2</sub> ≈ A(u) kde u je předem daná kategorie atributu A. Podrobnosti jsou uvedeny [[https://lispminer.vse.cz/guhadi/doku.php?id=lm_guha_di_typul_ac4ft#data_hotel_-_zvyseni_spokojenosti_hostu|zde]]. 
  - Druhý příklad se týká podobné úlohy jako první příklad. Ptáme se však, jakou změnu booleovské charakteristiky skupiny **Z** změna κ<sub>1</sub> na κ<sub>2</sub> vyvolá. Podrobnosti jsou uvedeny [[https://lispminer.vse.cz/guhadi/doku.php?id=lm_guha_di_typul_ac4ft#data_hotel_-_zvyseni_spokojenosti_hostu_a_dusledky|zde]].
  - Třetí příklad je téměř stejný jako první příklad. Booleovský atribut A(u) se však týká libovolné kategorie atributu A a zajímá nás násobné změna vedoucí k násobně vyšší konfidenci pravidla  φ ∧ κ<sub>2</sub> ≈ A(u) oproti pravidlu φ ∧ κ<sub>1</sub> ≈ A(u). Podrobnosti jsou uvedeny [[https://lispminer.vse.cz/guhadi/doku.php?id=lm_guha_di_typul_ac4ft#data_accidents_-_snizeni_poctu_dopravnich_nehod|zde]].