====== Ac4ft-Miner ======

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]]. 
Zadání procedury se provádí v okně dle následujícího obrázku.

{{:ac4ft_miner_zakladni.png|}}

Zadává se [[lm_guha_te_ac4ft_proc#Množina relevantních akčních pravidel|množina relevantních akčních pravidel]]. 
Tlačítkem ''Validate'' se vyvolá [[lm_guha_te_ac4ft_proc#Kontrola zadání|kontrola zadání]].


Tlačítkem ''Params'' je dostupný parametr //Maximal number of hypotheses to be mined// kterým se udává maximální počet nalezených pravidel. Po dosažení uvedeného maximálního počtu pravidel se běh procedury ukončí.

Tlačítkem ''Params'' jsou také dostupné  parametry [[lm_guha_te_ac4ft_proc#Parametr 'Strict action'|'Strict action']], a [[lm_guha_te_ac4ft_proc#Parametr 'Sets overlaping'|'Sets overlaping']],   které jsou součástí definice množiny relevantních akčních pravidel. 


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

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

Ukázky aplikací procedury Ac4ft-Miner jsou [[https://lispminer.vse.cz/guhadi/doku.php?id=lm_guha_di_typul_ac4ft|zde]]. 
===== Množina relevantních akčních pravidel =====

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

  * zadáním množiny //ANT_STAB// relevantních stabilních antecedentů, to se zahajuje tlačítkem \\ ''ANTECEDENT STABLE PART''
  * zadáním množiny //SUCC_STAB// relevantních sukcedentů, to se zahajuje tlačítkem \\ ''SUCCEDENT STABLE PART'' 
  * zadáním množiny //ANT_CHNG// relevantních změn antecedentů, to se zahajuje tlačítkem \\ ''ANTECEDENT VARIABLE PART''
  * zadáním množiny //SUCC_CHNG// relevantních změn antecedentů, to se zahajuje tlačítkem \\ ''SUCCEDENT VARIABLE PART''  
  * zadáním množiny //COND// relevantních podmínek, to se zahajuje tlačítkem ''CONDITION''
  * [[lm_guha_te_Ac4ft_kvantifikator|zadáním Acft-kvantifikátoru ∼]], to se zahajuje tlačítkem ''QUANTIFIERS''.

Množiny //ANT_STAB//, //SUCC_STAB//, //ANT_CHNG//, //SUCC_CHNG//  a //COND// se zadávají jako [[lm_guha_te_procedury_zadavani|množiny relevantních cedentů]]. 

Alespoň jedna ze zadaných množin //ANT_STAB// a //SUCC_STAB// musí být neprázdná a zároveň alespoň jedna z množin 
//ANT_CHNG// a  //SUCC_CHNG// musí být neprázdná. 


Relevantní akční pravidla jsou akční pravidla  φ ∧ Φ ≈ ψ ∧ Ψ taková, že 
  * φ ∈ //ANT_STAB//, Init(Φ) ∈ //ANT_CHNG//, Fin(Φ) ∈ //ANT_CHNG//, 
  * φ a Init(Φ) nemají společné atributy a ani φ a Fin(Φ) nemají společné atributy 
  * Init(Φ) a Fin(Φ) splňují podmínky dané [[lm_guha_te_ac4ft_proc#Parametr 'Strict action'|parametrem 'Strict action']]
  * ψ ∈ //SUCC_STAB//, Init(Ψ) ∈ //SUCC_CHNG//, Fin(Ψ) ∈ //SUCC_CHNG//, 
  * ψ a Init(Ψ) nemají společné atributy a ani ψ a Fin(Ψ) nemají společné atributy
  * Init(Ψ) a Fin(Ψ) splňují podmínky dané [[lm_guha_te_ac4ft_proc#Parametr 'Strict action'|parametrem 'Strict action']]
  *  φ a ψ nemají společné atributy 
 

Relevantní akční pravidla jsou i podmíněná akční pravidla  φ ∧ Φ ≈ ψ ∧ Ψ/χ taková, že 
  * φ ∧ Φ ≈ ψ ∧ Ψ  je akční pravidlo 
  * φ , Init(Φ), Fin(Φ), ψ, Init(Ψ), Fin(Ψ) a χ  nemají společné atributy. 



===== Parametr 'Strict action' =====

Parametr ''Strict action'' se zadává volbami v rámci ''States Before and Action type'' v okně dle následujícího obrázku, které se vyvolá tlačítkem ''Params''.  
{{:ac4ft_af_task_parameters.png|}}. 

Přednastavená volba ''States must be represented by the same sets of attributes which differ in coeficient (strict meaning of action)'' znamená, že booleovské atributy Init(Φ) a Fin(Φ) mají stejnou množinu atributů které se v nich vyskytují a nejméně u jednoho literálu se liší koeficient. 

Druhá volba  ''States may be represented by not related sets of attributes''  znamená, že se na atributy vyskytující se v booleovských atributech Init(Φ) a Fin(Φ) nekladou žádná omezení. 
 
===== Parametr 'Sets overlaping' =====

Parametr ''Sets overlaping'' se zadává volbami v rámci ''States Before and Action overlapping'' v okně dle následujícího obrázku, které se vyvolá tlačítkem ''Params''.  
{{:ac4ft_af_task_parameters.png|}}. 

Přednastavená volba ''States must differ in all rows (i.e. overlapping states'' znamená, že podmatice dat M/(φ ∧ Init(Φ)) a M/(φ ∧  Fin(Φ)) nemají žádné společné řádky kde M je analyzovaná matice dat. 

Druhá volba  ''States must differ in at least one row (i.e. partially overlapping states allowed) znamená, že podmatice dat M/(φ ∧ Init(Φ)) a M/(φ ∧  Fin(Φ)) mohou mít společné řádky ale že existuje řádek, který patří jen do jedné z nich. 

===== 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 Ac4ft-Miner.