====== Observační kalkuly - relevantní výsledky, přehled ====== Se systémem LISp-Miner souvisí i výzkum v oblasti [[lm_guha_te_vyzkum#Observační kalkuly jako nástroj pro dobývání znalostí|oblasti observačních kalkulů]]. Při implementaci a aplikacích procedury [[lm_guha_te_4ft_proc|4ft-Miner]] se využívají teoretické výsledky spojené s dedukčními pravidly a se zpracováním neúplné informace. Tyto výsledky se vážou na třídy asociačních pravidel, proto je nejprve uveden přehled důležitých [[lm_guha_te_tridy_prehled|tříd asociačních pravidel]]. Dále jsou stručně uvedena [[lm_guha_te_dedukcni_pravidla|dedukční pravidla pro GUHA asociační pravidla]]. Poté jsou prezentovány [[lm_guha_te_dedukcni_pravidla_priklady|příklady korektních i nekorektních dedukčních pravidel]]. Příklady jsou využity pro připomenutí několika v [[lm_guha_te_tridy|této souvislosti užitečných tříd asociačních pravidel]] a k prezentaci s nimi svázaných dedukčních pravidel využívaných procedurou 4ft-Miner. Pro důležité třídy asociačních pravidel jsou pak uvedeny [[lm_guha_te_missings|relevantní výsledky ohledně zpracování neúplné informace]] používané v proceduře 4ft-Miner. Pro praktické aplikace jsou důležité i výsledky ohledně [[lm_guha_te_oc_podminena|podmíněných asociačních pravidel]].