Asociační pravidla - Sorry

Dobývání znalostí z databází
T6: asociační pravidla
Implikace, dvojité implikace a ekvivalence
Východiskem metoda GUHA (Hájek, Havránek, 1978)
vyhodnocující různé typy závislosti mezi A a S (tzv.
kvantifikátory)
základní implikace A Ø S,
kde Ø (a,b) =
a
a + b
základní dvojitá implikace A Ø S,
kde Ø (a,b,c) =
a
a + b + c
základní ekvivalence A Ø S,
kde Ø (a,b,c,d) =
a + d
a + b + c + d
vybrané třídy kvantifikátorů
1. kvantifikátor ~(a,b) je implikační, právě když
a’ a b’ b implikuje ~(a‘,b‘) ~(a,b)
2. kvantifikátor ~(a,b,c) je-dvojitě implikační, právě když
a’ a b’+c’ b+c implikuje ~(a‘,b‘,c’) ~(a,b,c)
3. kvantifikátor ~(a,b,c,d) je -ekvivalenční, právě když
a’+d’ a+d b’+c’ b+c implikuje ~(a‘,b‘,c’,d’)
~(a,b,c,d)
13