====== Třídy asociačních pravidel ======



Třídy asociačních pravidel mají úzký vztah k [[lm_guha_te_dedukcni_pravidla|dedukčním pravidlům]] využívaným při implementaci procedury 4ft-Miner 
a aplikacích procedury 4ft-Miner. Jsou důležité i při zpracování  [[lm_guha_te_missings|neúplné informace]]. 

Některé z těchto tříd jsou definovány v monografii  
[[https://www.springer.com/us/book/9783540087380|Mechanizing Hypothesis Formation 
(Mathematical Foundations for a General Theory)]], všechny uvedené třídy a i některé další jsou studovány 
v monografii  
[[http://link.springer.com/book/10.1007/978-3-642-11737-4|Observational Calculi and Association Rules]]. 
Krom výše zmíněných monografií jsou relevantní výsledky i v článku  
[[https://content.iospress.com/articles/fundamenta-informaticae/fi1420|Logical Aspects of Dealing 
with Domain Knowledge in Data Mining with Association Rules]]. 



Třídy asociačních pravidel jsou definovány pomocí podmínek zachování pravdivosti. Podmínka zachování pravdivosti se 
týká dvou čtveřic nezáporných celých čísel ‹//a//,//b//,//c//,//d//› a ‹//a'//,//b'//,//c'//,//d'//›. Podmínka  
zachování pravdivosti (TPC Truth Preservation Condition, viz 
[[http://link.springer.com/book/10.1007/978-3-642-11737-4|Observational Calculi and Association Rules]]) je 
{0,1}-hodnotová funkce  **C**(//a//,//b//,//c//,//d//,//a'//,//b'//,//c'//,//d'//). 


//Třída 4ft-kvantifikátorů// 4ft[**C**] //definovaná podmínkou zachování pravdivosti// **C** je množina všech 
4ft-kvantifikátorů ≈ splňujících podmínku: jestliže  ≈(//a//,//b//,//c//,//d//) = 1 ∧  
**C**(//a//,//b//,//c//,//d//,//a'//,//b'//,//c'//,//d'//) = 1, pak ≈(//a'//,//b'//,//c'//,//d'//) = 1. 

//Třída asociačních pravidel daná podmínkou zachování pravdivosti// **C** je množina všech asociačních pravidel 
φ≈ψ takových, že ≈ patří do třídy 4ft-kvantifikátorů 4ft[**C**].  

Přehled důležitých tříd 4ft-kvantifikátorů je {{ :tridy_4ft_kvantifikatoru.pdf |zde}}. Informace o 
příslušnosti 4ft-kvantifikátorů implementovaných v proceduře 4ft-Miner  
k jednotlivým třídám jsou {{ :tridy_4ft_kvantifikatoru_4ft_miner.pdf |zde}}.