LISp-Miner: systém pro získávání znalostí z dat1 - ResearchGate

Dodatek: seznam kvantifikátorů procedury 4FT-MinerNázev parametry podmínka platnostiZákladní(fundovaná)implikaceDolní kritickáimplikaceHorní kritickáimplikaceZákladní(fundovaná)dvojitá implikaceDolní kritickádvojitá implikaceHorní kritickádvojitá implikaceZákladní(fundovaná)ekvivalenceDolní kritickáekvivalenceHorní kritickáekvivalence0 < p ≤ 1Base > 00 < p ≤ 10 < α < 1Base > 00 < p ≤ 10 < α < 1Base > 00 00 < p < 10 < α < 1Base > 00 < p < 10 < α < 1Base > 00 00 < p < 10 < α < 1Base > 00 < p < 10 < α < 1Base > 0E-kvantifikátor 0 < δ < 1aa + b ≥ p ∧ a ≥ Basea+b∑i=aa∑i=0(a + b)!i!(a + b - i)! pi (1 - p) a+b-i≤ α ∧ a ≥ Base(a + b)!i!(a + b - i)! pi (1 - p) a+b-i > α ∧ a ≥ Baseaa + b + c ≥ p ∧ a ≥ Basea+b+c(a + b + c)!∑ i!(a + b + c - i)! pi (1 - p) a+b+c-ii=aa∑i=0≤ α ∧ a ≥ Base(a + b + c)!i!(a + b + c - i)! pi (1 - p) a+b+c-i > α ∧ a ≥ Basea + da + b + c + d ≥ p ∧ a ≥ Basea+b+c+d∑(a + b + c + d)!i!(a + b + + d - i)! pi (1 - p) a+b+c+d-i ≤ α ∧i=aa ≥ Basea∑i=0a ≥ Base(a + b + c + d)!i!(a + b + c +d - i)! pi (1 - p) a+b+c+d-i > αa + b > 0 ∧ba + b < δ ∧ c + d > 0 ∧∧cc + d < δ