https://lispminer.vse.cz/guhate/ 2026-05-22T18:56:56+00:00 https://lispminer.vse.cz/guhate/ https://lispminer.vse.cz/guhate/lib/tpl/dokuwiki/images/favicon.ico text/html 2019-10-01T15:55:32+00:00 Anonymous (anonymous@undisclosed.example.com) https://lispminer.vse.cz/guhate/doku.php?id=lm_guha_te_4ft_apriori&rev=1569938132&do=diff 4ft-Miner a implementace apriori v R V článku Apriori and GUHA – Comparing two approaches to data mining with association rules je k dispozici porovnání procedury 4ft-Miner a implementace známého algoritmu apriori v package arules systému R. Stručný popis této implementace je zde. Článek porovnává proceduru 4ft-Miner s arules, verse 1.3-1. K porovnání jsou použita data text/html 2019-09-24T15:56:57+00:00 Anonymous (anonymous@undisclosed.example.com) https://lispminer.vse.cz/guhate/doku.php?id=lm_guha_te_4ft_dalsi_params&rev=1569333417&do=diff Zadání detailů výstupu 4ft-Miner Zadávání detailů výstupu se zahajuje tlačítkem Params z úvodní obrazovky. Tím se vyvolá okno dle následujícího obrázku. Detaily výstupu se určují volbami v části Prime-rule test and including of extensions options text/html 2019-10-02T21:04:04+00:00 Anonymous (anonymous@undisclosed.example.com) https://lispminer.vse.cz/guhate/doku.php?id=lm_guha_te_4ft_interpretace&rev=1570043044&do=diff Prohlížení a interpretace výsledků 4ft-Miner Prohlížení a interpretace výsledků procedury 4ft-Miner začínají na obrazovce dle následujícího obrázku. V prvním sloupci je pořadové číslo pravidla. Ve druhém sloupci je identifikační číslo pravidla přiřazené procedurou. Ve třetím sloupci je hodnota charakteristiky pravidla odvozená z posledního ze zadaných 4ft-kvantifikátorů. Ve čtvrtém sloupci je zapsáno pravidlo. text/html 2020-03-04T15:08:11+00:00 Anonymous (anonymous@undisclosed.example.com) https://lispminer.vse.cz/guhate/doku.php?id=lm_guha_te_4ft_kvantifikator&rev=1583330891&do=diff Zadání 4ft-kvantifikátoru Součástí zadání množiny relevantních asociačních pravidel φ≈ψ i podmíněných asociačních pravidel φ≈ψ/χ je zadání 4ft-kvantifikátoru ≈ v okně dle následujícího obrázku. 4ft-kvantifikátor ≈ je dán jako konjunkce 4ft-kvantifikátorů zadaných v tomto okně. To znamená, že podmínka definující 4ft-kvantifikátor ≈ je konjunkcí podmínek definujících jednotlivé zadané 4ft-kvantifikátory. Lze to říci i tak, že platí F… text/html 2020-03-07T16:41:12+00:00 Anonymous (anonymous@undisclosed.example.com) https://lispminer.vse.cz/guhate/doku.php?id=lm_guha_te_4ft_kvantifikatory_vybrane&rev=1583595672&do=diff Důležité 4ft-kvantifikátory V okně 4ft List of quantifiers settings je možno zadat velké množství jednotlivých 4ft-kvantifikátorů. Mezi nimi jsou důležité kvantifikátory, které jsou kombinací kvantifikátoru BASE a jednoho vhodného [statistického 4ft-kvantifikátoru]. Ty souhrnně nazýváme text/html 2019-10-01T19:24:41+00:00 Anonymous (anonymous@undisclosed.example.com) https://lispminer.vse.cz/guhate/doku.php?id=lm_guha_te_4ft_missings&rev=1569950681&do=diff Zpracování neúplné informace Procedura 4ft-Miner nabízí čtyři způsoby zpracování neúplné informace. Volba způsobu se provádí v horní části okna vyvolaného tlačítkem Params z hlavní obrazovky procedury 4ft-Miner, viz též následující obrázek. Teoretické souvislosti a další podrobnosti jsou k dispozici text/html 2019-10-02T19:36:10+00:00 Anonymous (anonymous@undisclosed.example.com) https://lispminer.vse.cz/guhate/doku.php?id=lm_guha_te_4ft_proc&rev=1570037770&do=diff 4ft-Miner Procedura 4ft-Miner pracuje s GUHA asociačními pravidly φ≈ψ a s podmíněnými GUHA asociačními pravidly φ≈ψ/χ. Zde φ, ψ a χ jsou booleovské atributy, ≈ je 4ft-kvantifikátor. Booleovský atribut φ se nazývá antecedent, ψ je sukcedent (konsequent) a χ je podmínka. Zadání procedury se provádí v okně dle následujícího obrázku. text/html 2020-03-08T12:11:36+00:00 Anonymous (anonymous@undisclosed.example.com) https://lispminer.vse.cz/guhate/doku.php?id=lm_guha_te_4ft_prostota&rev=1583665896&do=diff Prostota Procedura 4ft-Miner umožňuje pracovat s prostými asociačními pravidly ve smyslu uvedeném na konci článku o GUHA proceduře. Relevantní pravidlo je prosté, je-li pravdivé v daných datech a zároveň logicky neplyne jiného a ve výstupu již uvedeného tvrzení. text/html 2019-07-21T18:12:31+00:00 Anonymous (anonymous@undisclosed.example.com) https://lispminer.vse.cz/guhate/doku.php?id=lm_guha_te_ac4ft_interpretace&rev=1563725551&do=diff Prohlížení a interpretace výsledků Ac4ft-Miner Prohlížení a interpretace výsledků procedury Ac4ft-Miner začínají na obrazovce dle následujícího obrázku. V prvním sloupci je pořadové číslo pravidla. Ve druhém sloupci je identifikační číslo pravidla přiřazené procedurou. Ve třetím sloupci až pátém sloupci jsou hodnoty charakteristik Ac4ft-pravidla odvozené ze zadaných Ac4ft-kvantifikátorů. V šestém sloupci je zapsáno akční pravidlo. text/html 2019-07-21T15:46:32+00:00 Anonymous (anonymous@undisclosed.example.com) https://lispminer.vse.cz/guhate/doku.php?id=lm_guha_te_ac4ft_kvantifikator&rev=1563716792&do=diff Zadání Ac4ft-kvantifikátoru Součástí zadání množiny relevantních akčních pravidel φ ∧ Φ ≈ ψ ∧ Ψ i podmíněných akčních pravidel φ ∧ Φ ≈ ψ ∧ Ψ /χ je i zadání Ac4ft-kvantifikátoru ≈ v okně dle následujícího obrázku. text/html 2019-08-30T11:21:37+00:00 Anonymous (anonymous@undisclosed.example.com) https://lispminer.vse.cz/guhate/doku.php?id=lm_guha_te_ac4ft_proc&rev=1567156897&do=diff Ac4ft-Miner Procedura Ac4ft-Miner pracuje s akčními pravidly φ ∧ Φ ≈ ψ ∧ Ψ a s podmíněnými akčními pravidly φ ∧ Φ ≈ ψ ∧ Ψ /χ Zde φ, ψ, χ jsou booleovské atributy, φ je stabilní antecedent a ψ je stabilní sukcedent. Φ a Ψ jsou změny booleovských atributů, Φ je změna antecedentu a Ψ je změna sukcedentu. Symbol ≈ je Ac4ft-kvantifikátor. Zadání procedury se provádí v okně dle následujícího obrázku. text/html 2020-03-17T14:17:50+00:00 Anonymous (anonymous@undisclosed.example.com) https://lispminer.vse.cz/guhate/doku.php?id=lm_guha_te_ac_pravidlo&rev=1584451070&do=diff Akční pravidlo Úvod Cílem akčních pravidel je navrhovat akce, které mohou být zajímavé z pohledu majitele dat. Východiskem je fakt, že z analyzovaných dat lze zjistit jaké jsou důsledky změny hodnot některých atributů. Dále uvedený text/html 2019-10-10T18:37:05+00:00 Anonymous (anonymous@undisclosed.example.com) https://lispminer.vse.cz/guhate/doku.php?id=lm_guha_te_add_as_column&rev=1570725425&do=diff Hypotéza jako nový sloupec Podrobnosti jsou uvedeny zde. text/html 2019-10-02T20:14:18+00:00 Anonymous (anonymous@undisclosed.example.com) https://lispminer.vse.cz/guhate/doku.php?id=lm_guha_te_beh_procedury&rev=1570040058&do=diff Spuštění procedury Zadání způsobu běhu procedury je shodné pro všechny procedury. Jsou tyto možnosti: * Tlačítkem Run se spustí interaktivní výpočet * Tlačítkem Bkgrnd Run se spustí výpočet na pozadí * Tlačítkem Grid Run se spustí vzdálený výpočet . text/html 2019-08-27T20:57:17+00:00 Anonymous (anonymous@undisclosed.example.com) https://lispminer.vse.cz/guhate/doku.php?id=lm_guha_te_bool&rev=1566932237&do=diff Booleovský atribut Pro booleovské atributy platí: * Každý základní booleovský atribut A(α) je booleovský atribut * Když φ a ψ jsou booleovské atributy pak φ, φ∧ψ a φ∨ψ jsou booleovské atributy * Platí obvyklé konvence o závorkách text/html 2020-02-21T15:33:11+00:00 Anonymous (anonymous@undisclosed.example.com) https://lispminer.vse.cz/guhate/doku.php?id=lm_guha_te_category_range&rev=1582295591&do=diff Category range DRAFT, bude doplněno !! i pro SDCF tabulku !!! i pro KL-tabulku text/html 2019-08-28T06:46:05+00:00 Anonymous (anonymous@undisclosed.example.com) https://lispminer.vse.cz/guhate/doku.php?id=lm_guha_te_cedent&rev=1566967565&do=diff Cedent Definice Cedent je definován jako konjunkce dílčích cedentů. Příkladem cedentu je booleovský atribut Φ = Φ1 ∧ Φ2 ∧ Φ3, kde * Φ1 = A1(2) ∧ A2(2,3) ∧ A3(5,6,7) * Φ2 = A11(2) ∧ ¬A12(7) ∧ A13(1,2,3) * Φ3 = A text/html 2019-07-17T17:58:32+00:00 Anonymous (anonymous@undisclosed.example.com) https://lispminer.vse.cz/guhate/doku.php?id=lm_guha_te_cf_dalsi_params&rev=1563379112&do=diff Zadání detailů výstupu CF-Miner Zadávání detailů výstupu se zahajuje tlačítkem Params z úvodní obrazovky. Tím se vyvolá okno dle následujícího obrázku. Detaily výstupu se určují volbami v části Including of extensions (longer variants of hypotheses) options text/html 2019-07-19T09:21:08+00:00 Anonymous (anonymous@undisclosed.example.com) https://lispminer.vse.cz/guhate/doku.php?id=lm_guha_te_cf_interpretace&rev=1563520868&do=diff Prohlížení a interpretace výsledků CF-Miner Prohlížení a interpretace výsledků procedury CF-Miner začínají na obrazovce dle následujícího obrázku. V prvním sloupci je pořadové číslo CF-výrazu. Ve druhém sloupci je identifikační číslo CF-výrazu přiřazené procedurou. Ve třetím sloupci sloupci jsou hodnoty charakteristik CF-výrazu odvozené ze zadaných CF-kvantifikátorů. Ve čtvrtém sloupci je zapsán CF-výraz. text/html 2019-08-28T17:14:11+00:00 Anonymous (anonymous@undisclosed.example.com) https://lispminer.vse.cz/guhate/doku.php?id=lm_guha_te_cf_kvantifikator&rev=1567005251&do=diff Zadání CF-kvantifikátoru Součástí zadání množiny relevantních CF-výrazů je zadání CF-kvantifikátoru ≈ v okně dle následujícího obrázku. CF-kvantifikátor ≈ je dán jako konjunkce CF-kvantifikátorů zadaných v tomto okně. To znamená, že podmínka definující CF-kvantifikátor ≈ je konjunkcí podmínek definujících jednotlivé zadané CF-kvantifikátory. Každé z uvedených tlačítek zahajuje zadávání jiného typu CF-kvantifikátoru. text/html 2019-08-30T11:19:32+00:00 Anonymous (anonymous@undisclosed.example.com) https://lispminer.vse.cz/guhate/doku.php?id=lm_guha_te_cf_proc&rev=1567156772&do=diff Procedura CF-Miner Procedura CF-Miner pracuje s CF-výrazy ≈A/χ. Zde A je kategoriální atribut, χ je booleovský atribut a ≈ je CF-kvantifikátor. CF-výraz ≈A/χ říká, že histogram atributu A splňuje na podmatici dané booleovským atributem χ podmínku danou CF-kvantifikátorem ≈. Zadání procedury se provádí v okně dle následujícího obrázku. text/html 2019-09-27T21:17:58+00:00 Anonymous (anonymous@undisclosed.example.com) https://lispminer.vse.cz/guhate/doku.php?id=lm_guha_te_dedukcni_pravidla&rev=1569611878&do=diff Dedukční pravidla Definice Dedukčním pravidlem pro GUHA asociační pravidla rozumíme dvojici asociačních pravidel ‹φ≈ψ,φ'≈ψ'›. Užitečná jsou korektní dedukční pravidla. Dedukční pravidlo ‹φ≈ψ,φ'≈ψ'› je korektní text/html 2019-09-03T08:47:31+00:00 Anonymous (anonymous@undisclosed.example.com) https://lispminer.vse.cz/guhate/doku.php?id=lm_guha_te_dedukcni_pravidla_priklady&rev=1567493251&do=diff Příklady dedukčních pravidel Korektnost dedukčního pravidla ‹φ≈ψ,φ'≈ψ'› podstatně závisí na definici 4ft-kvantifikátoru ≈. Dále uvádíme příklady korektních i nekorektních dedukčních pravidel pro 4ft-kvantifikátory text/html 2020-02-07T10:30:39+00:00 Anonymous (anonymous@undisclosed.example.com) https://lispminer.vse.cz/guhate/doku.php?id=lm_guha_te_dilci_cedent&rev=1581067839&do=diff Dílčí cedent Definice Dílčí cedent je konjunkce nebo disjunkce literálů. Příklady dílčích cedentů: * A1(2) ∧ A2(2,3) ∧ A3(5,6,7) * A11(2) ∧ ¬A12(7) ∧ A13(1,2,3) * A21(2) ∨ A22(7) ∨ A23(3,4) ∨ A24(8) Motivací pro používání dílčích cedentů je potřeba pracovat s booleovskými charakteristikami skupin atributů. Rozdělení atributů do skupin je důležitým prvkem doménové znalosti. Příkladem jsou text/html 2019-10-10T18:40:49+00:00 Anonymous (anonymous@undisclosed.example.com) https://lispminer.vse.cz/guhate/doku.php?id=lm_guha_te_domain_knowledge&rev=1570725649&do=diff Doménová znalost BUDE DOPLŇENO text/html 2019-10-02T20:49:18+00:00 Anonymous (anonymous@undisclosed.example.com) https://lispminer.vse.cz/guhate/doku.php?id=lm_guha_te_export_hypotezy&rev=1570042158&do=diff Export hypotéz Export hypotéz se zadává v okně dle následujícího obrázku. Umožňuje export detailních textových informací do schránky systému MS Windows při volbě Plain text, při ostatních volbách je možný i export do souboru na disku. text/html 2019-07-14T10:07:06+00:00 Anonymous (anonymous@undisclosed.example.com) https://lispminer.vse.cz/guhate/doku.php?id=lm_guha_te_filter_cedent&rev=1563091626&do=diff Filtr pro cedenty text/html 2020-02-23T17:39:43+00:00 Anonymous (anonymous@undisclosed.example.com) https://lispminer.vse.cz/guhate/doku.php?id=lm_guha_te_g_procedura&rev=1582475983&do=diff GUHA procedura Východiskem je situace, kdy nás zajímá nějaká, potenciálně nekonečná množina objektů (osob, pacientů, výrobků, ...) a máme k dispozici výsledek pozorování konečné podmnožiny celé množiny. Výsledky pozorování jsou ve formě matice dat: text/html 2019-10-10T18:39:34+00:00 Anonymous (anonymous@undisclosed.example.com) https://lispminer.vse.cz/guhate/doku.php?id=lm_guha_te_gallery&rev=1570725574&do=diff Galerie uložených vzorů BUDE DOPLŇENO text/html 2020-02-08T19:02:06+00:00 Anonymous (anonymous@undisclosed.example.com) https://lispminer.vse.cz/guhate/doku.php?id=lm_guha_te_histogram&rev=1581184926&do=diff Histogram a CF-výraz Histogramem se obvykle rozumí sloupcový graf jehož sloupce odpovídají intervalům čísel a výška sloupců odpovídá počtu výskytů hodnot sledované veličiny v jednotlivých intervalech. Systém LISp-Miner pracuje s obecnějšími histogramy. Jedná se o sloupcový graf zobrazující vhodné informace pro jednotlivé kategorie daného atributu. Další zobecnění spočívá v tom, že histogram se může týkat pouze vhodné text/html 2020-03-13T14:35:43+00:00 Anonymous (anonymous@undisclosed.example.com) https://lispminer.vse.cz/guhate/doku.php?id=lm_guha_te_histogram_2&rev=1584106543&do=diff Dvojice histogramů a SDCF-výraz Příklad V následujícím obrázku jsou uvedeny histogramy DHodnoceni / POsob(2) ∧ POsobonoci(vyšší, nejvyšší) pro podmatice Hotel / HStat(ČR) a Hotel / HStat(Německo) matice dat Hotel. Pro histogram text/html 2019-10-02T21:00:59+00:00 Anonymous (anonymous@undisclosed.example.com) https://lispminer.vse.cz/guhate/doku.php?id=lm_guha_te_hypoth_groupsac&rev=1570042859&do=diff Skupiny hypotéz DRAFT - BUDE UPRAVENO Skupiny hypotéz je možno definovat na základě výstupu jednotlivých GUHA procedur. K definici lze použít tyto prostředky: * Tlačítko Filter kterým můžeme definovat skupiny hypotéz splňující jednak požadavky na hodnotu různých koeficientů hodnotících zajímavost hypotézy a jednak jednodušší požadavky na syntaxi hypotéz text/html 2019-07-18T21:22:56+00:00 Anonymous (anonymous@undisclosed.example.com) https://lispminer.vse.cz/guhate/doku.php?id=lm_guha_te_kl_dalsi_params&rev=1563477776&do=diff Zadání detailů výstupu KL-Miner Zadávání detailů výstupu se zahajuje tlačítkem Params z úvodní obrazovky. Tím se vyvolá okno dle následujícího obrázku. Detaily výstupu se určují volbami v části Including of extensions (longer variants of hypotheses) options. text/html 2019-07-19T13:49:35+00:00 Anonymous (anonymous@undisclosed.example.com) https://lispminer.vse.cz/guhate/doku.php?id=lm_guha_te_kl_interpretace&rev=1563536975&do=diff Prohlížení a interpretace výsledků KL-Miner Prohlížení a interpretace výsledků procedury KL-Miner začínají na obrazovce dle následujícího obrázku. V prvním sloupci je pořadové číslo KL-vztahu. Ve druhém sloupci je identifikační číslo KL-vztahu přiřazené procedurou. Ve třetím sloupci sloupci jsou hodnoty charakteristik KL-vztahu odvozené ze zadaných KL-kvantifikátorů. Ve čtvrtém sloupci je zapsán KL-vztah. text/html 2019-07-19T15:01:18+00:00 Anonymous (anonymous@undisclosed.example.com) https://lispminer.vse.cz/guhate/doku.php?id=lm_guha_te_kl_kvantifikator&rev=1563541278&do=diff Zadání KL-kvantifikátoru Součástí zadání množiny relevantních KL-vztahů je zadání KL-kvantifikátoru ≈ v okně dle následujícího obrázku. KL-kvantifikátor ≈ je dán jako konjunkce KL-kvantifikátorů zadaných v tomto okně. To znamená, že podmínka definující KL-kvantifikátor ≈ je konjunkcí podmínek definujících jednotlivé zadané KL-kvantifikátory. Každé z uvedených tlačítek zahajuje zadávání jiného typu CF-kvantifikátoru. text/html 2020-02-26T09:52:16+00:00 Anonymous (anonymous@undisclosed.example.com) https://lispminer.vse.cz/guhate/doku.php?id=lm_guha_te_kl_proc&rev=1582707136&do=diff KL-Miner Procedura KL-Miner pracuje s KL-vztahy R≈C/χ. Zde R a C jsou kategoriální atributy, χ je booleovský atribut a ≈ je KL-kvantifikátor. KL-vztah R≈C/χ říká, že vztah kategoriálních atributů R a C na podmatici dané booleovským atributem χ splňuje podmínku danou KL-kvantifikátorem ≈. Zadání procedury se provádí v okně dle následujícího obrázku. text/html 2019-10-02T20:37:52+00:00 Anonymous (anonymous@undisclosed.example.com) https://lispminer.vse.cz/guhate/doku.php?id=lm_guha_te_klonovani_procedury&rev=1570041472&do=diff Klonování úlohy Klonování úlohy je podrobně popsáno ve wiki LISp-Miner, konkrétně zde. text/html 2019-08-05T21:47:37+00:00 Anonymous (anonymous@undisclosed.example.com) https://lispminer.vse.cz/guhate/doku.php?id=lm_guha_te_kvantifikator&rev=1565034457&do=diff Zadání kvantifikátoru parametry, podmínka kvantifikátoru, dílčí kvantifikátory ... text/html 2019-08-27T21:09:10+00:00 Anonymous (anonymous@undisclosed.example.com) https://lispminer.vse.cz/guhate/doku.php?id=lm_guha_te_literal&rev=1566932950&do=diff Literál Literálem rozumíme základní booleovský atribut A(α) nebo jeho negaci ¬A(α). Příklady literálů: A1(2), ¬A1(2), A2(1,5), ¬A2(1,5). Příklady literálů odvozených z matice dat Hotel: HStát(Rakousko,Německo), ¬HStát(Rakousko,Německo). text/html 2020-02-23T18:21:42+00:00 Anonymous (anonymous@undisclosed.example.com) https://lispminer.vse.cz/guhate/doku.php?id=lm_guha_te_lm&rev=1582478502&do=diff Systém LISp-Miner LISp-Miner je akademický softwarový systém určený pro výzkum a výuku dobývání znalostí z databází, Systém je vyvíjený na Fakultě informatiky a statistiky Vysoké školy ekonomické v Praze od roku 1995. Základní informace o systému LISP-Miner jsou zde. Jádrem systému je devět GUHA procedur implementovaných s využitím algoritmů a prostředků pro práci s bitovými řetízky vyvinutých pro proceduru 4ft-Miner. Systém poskytuje i bohaté prostředky pro transformace analyzovaných da… text/html 2020-03-03T15:33:02+00:00 Anonymous (anonymous@undisclosed.example.com) https://lispminer.vse.cz/guhate/doku.php?id=lm_guha_te_matice&rev=1583245982&do=diff Matice dat a atributy Vstupem do GUHA procedury je matice dat. Řádky matice dat odpovídají pozorovaným objektům, sloupce vlastnostem pozorovaných objektů. Místo termínu vlastnost se často používá termín atribut. Sloupce matice tedy odpovídají atributům. Abychom odlišili atributy - sloupce matice dat od booleovských atributů, nazýváme je text/html 2019-09-14T09:04:04+00:00 Anonymous (anonymous@undisclosed.example.com) https://lispminer.vse.cz/guhate/doku.php?id=lm_guha_te_missings&rev=1568444644&do=diff Neúplná informace Zpracování neúplné informace je jeden z důležitých problémů data mining. Při vývoji metody GUHA byl tento problém řešen od sedmdesátých let minulého století, viz např. články The GUHA method and the three-valued logic a Ein Beitrag zu der GUHA Methode in der dreiwertigen Logik. Důležité výsledky o neúplné informaci jsou shrnuty v monografii text/html 2019-08-27T21:30:07+00:00 Anonymous (anonymous@undisclosed.example.com) https://lispminer.vse.cz/guhate/doku.php?id=lm_guha_te_namety_vyzkum&rev=1566934207&do=diff Náměty k dalšímu výzkumu Se systémem LISp-Miner je spojeno několik podrobněji popsaných výzkumných témat. V každém tématu lze navázat na dosažené výsledky dokumentované v uvedené literatuře. Lze formulovat řadu různě rozsáhlých výzkumných úkolů kde cílem je například text/html 2019-09-16T17:56:17+00:00 Anonymous (anonymous@undisclosed.example.com) https://lispminer.vse.cz/guhate/doku.php?id=lm_guha_te_oc_podminena&rev=1568649377&do=diff Podmíněná asociační pravidla Podmíněná asociační pravidla φ≈ψ/χ mohou být silným analytickým nástrojem. Příklady použití podmíněných asociačních pravidel jsou zde a jeden také zde. Je však třeba si uvědomit, že není žádný obecný vztah mezi hodnotou Val(φ≈ψ/χ, text/html 2019-09-15T11:45:17+00:00 Anonymous (anonymous@undisclosed.example.com) https://lispminer.vse.cz/guhate/doku.php?id=lm_guha_te_oc_prehled&rev=1568540717&do=diff Observační kalkuly - relevantní výsledky, přehled Se systémem LISp-Miner souvisí i výzkum v oblasti oblasti observačních kalkulů. Při implementaci a aplikacích procedury 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 text/html 2020-03-04T14:39:12+00:00 Anonymous (anonymous@undisclosed.example.com) https://lispminer.vse.cz/guhate/doku.php?id=lm_guha_te_pravidlo&rev=1583329152&do=diff GUHA asociační pravidlo Asociační pravidlo Asociační pravidla byla definována v devadesátých letech minulého století jako nástroj pro zkoumání chování zákazníků v supermarketech. Článek Mining association rules between sets of items in large databases je jedním z prvních článků na toto téma. Asociačním pravidlem se rozumí výraz X → Y kdy X a Y jsou disjunktní množiny položek vyskytujících se v nákupních košících. Asociační pravidlo {máslo, sýr} → {chléb} vyjadřuje fakt, že zákazníci nakupu… text/html 2020-02-23T18:46:01+00:00 Anonymous (anonymous@undisclosed.example.com) https://lispminer.vse.cz/guhate/doku.php?id=lm_guha_te_proc_spol_prehl&rev=1582479961&do=diff Přehled společných prvků GUHA procedur BUDE DOPLŇENO Přehled Zadání množiny relevantních tvrzení Klonování Spuštění procedury Export hypotéz Skupiny hypotéz Hypotéza jako nový sloupec Zadání vztahu množin α a β pro SD-procedury text/html 2019-10-07T15:19:35+00:00 Anonymous (anonymous@undisclosed.example.com) https://lispminer.vse.cz/guhate/doku.php?id=lm_guha_te_procedury_prehled&rev=1570454375&do=diff Přehled GUHA procedur systému LISp-Miner V systému LISp-Miner je implementováno devět GUHA procedur. V této wiki je podrobně popsáno sedm GUHA procedur pracujících se vztahy verifikovanými na základě různých typů kontingenčních tabulek. Dále je zde stručný odkaz na další dvě GUHA procedury. Sedm podrobně popsaných GUHA procedur Popisované GUHA procedury pracují se text/html 2019-10-07T15:08:07+00:00 Anonymous (anonymous@undisclosed.example.com) https://lispminer.vse.cz/guhate/doku.php?id=lm_guha_te_procedury_zadavani&rev=1570453687&do=diff Zadání množiny relevantních tvrzení Popisované procedury pracují s různými relevantními tvrzeními (asociačními pravidly, SD4ft-pravidly, atd.) verifikovanými na základě různých typů kontingenčních tabulek. Zadání množiny relevantních tvrzení které mají být generovány a verifikovány se skládá z některých nebo případně všech těchto částí: text/html 2021-03-23T21:16:52+00:00 Anonymous (anonymous@undisclosed.example.com) https://lispminer.vse.cz/guhate/doku.php?id=lm_guha_te_prohlaseni&rev=1616530612&do=diff Autorství a využívání Autoři systému Systém LISp-Miner navazuje na dřívější implementace metody GUHA a využívá zkušeností s implementací dřívějších versí systému ve smyslu kapitoly 4.9 v knize Rauch J., Šimůnek, M.: Dobývání znalostí z databází, LISp-Miner a GUHA. Vývoj systému je podrobněji popsán v kapitole 5 v téže knize, kde jsou uvedeni i všichni autoři a jejich podíl na jednotlivých částech systému i na navazujících projektech. text/html 2022-12-23T16:38:07+00:00 Anonymous (anonymous@undisclosed.example.com) https://lispminer.vse.cz/guhate/doku.php?id=lm_guha_te_publikace&rev=1671809887&do=diff Vybrané publikace Přehled Jsou uvedeny publikace mající vztah k metodě GUHA obecně, k systému LISp-Miner a k výzkumu spojenému s tímto systémem. Publikace jsou rozděleny do tří částí. První dvě části jsou: * 1966 - 1981, tedy od počátků metody GUHA do druhého samostatného čísla o metodě GUHA v časopisu text/html 2019-07-21T16:28:02+00:00 Anonymous (anonymous@undisclosed.example.com) https://lispminer.vse.cz/guhate/doku.php?id=lm_guha_te_sd4ft_interpretace&rev=1563719282&do=diff Prohlížení a interpretace výsledků SD4ft-Miner Prohlížení a interpretace výsledků procedury SD4ft-Miner začínají na obrazovce dle následujícího obrázku. V prvním sloupci je pořadové číslo pravidla. Ve druhém sloupci je identifikační číslo pravidla přiřazené procedurou. Ve třetím sloupci až pátém sloupci jsou hodnoty charakteristik SD4ft-pravidla odvozené ze zadaných SD4ft-kvantifikátorů. V šestém sloupci je zapsáno SD4ft-pravidlo. text/html 2019-07-21T15:36:01+00:00 Anonymous (anonymous@undisclosed.example.com) https://lispminer.vse.cz/guhate/doku.php?id=lm_guha_te_sd4ft_kvantifikator&rev=1563716161&do=diff Zadání SD4ft-kvantifikátoru Součástí zadání množiny relevantních SD4ft-pravidel α×β:φ∼ψ i podmíněných SD4ft-pravidel α×β:φ∼ψ/χ je zadání SD4ft-kvantifikátoru ∼ v okně dle následujícího obrázku. SDft-kvantifikátor ∼ je dán jako konjunkce SD4ftt-kvantifikátorů zadaných v tomto okně. To znamená, že podmínka definující SD4ft-kvantifikátor ∼ je konjunkcí podmínek definujících jednotlivé zadané SD4ft-kvantifikátory. Každé z uvedených tlačítek zahajuje zadávání jiného typu SD4ftkvantifikátoru.… text/html 2019-08-26T21:13:10+00:00 Anonymous (anonymous@undisclosed.example.com) https://lispminer.vse.cz/guhate/doku.php?id=lm_guha_te_sd4ft_proc&rev=1566846790&do=diff SD4ft-Miner Procedura SD4ft-Miner pracuje s SD4ft-pravidly α×β:φ∼ψ a s podmíněnými SD4ft-pravidly α×β:φ∼ψ/χ. Zde α, β φ, ψ, χ jsou booleovské atributy, ∼ je SD4ft-kvantifikátor. Booleovský atribut φ se nazývá antecedent, ψ je sukcedent (konsequent), α je definice první množiny, β je definice druhé množiny a χ je podmínka. Zadání procedury se provádí v okně dle následujícího obrázku. text/html 2020-02-13T21:51:15+00:00 Anonymous (anonymous@undisclosed.example.com) https://lispminer.vse.cz/guhate/doku.php?id=lm_guha_te_sd_params&rev=1581627075&do=diff Zadání vztahu množin α a β pro SD-procedury Zadání vztahu množin α a β pro procedury SD4ft-Miner, CF-Miner a SDKL-Miner se provádí jednotným způsobem z okna dle následujícího obrázku. Prozatím se předpokládá použití pouze zde uvedeného defaultního nastavení. text/html 2020-03-14T19:39:16+00:00 Anonymous (anonymous@undisclosed.example.com) https://lispminer.vse.cz/guhate/doku.php?id=lm_guha_te_sd_pravidlo&rev=1584211156&do=diff SD4ft-pravidlo Příklad Příkladem SD4ft-pravidla je výraz HStat(Slovensko) × HStat(Rakousko): HVek(od 28 do 60) ⇒*1.7,31,69 DHodnoceni(nespokojen), kterému odpovídá výstup procedury SD4ft-Miner uvedený v následujícím obrázku. text/html 2019-07-20T14:57:29+00:00 Anonymous (anonymous@undisclosed.example.com) https://lispminer.vse.cz/guhate/doku.php?id=lm_guha_te_sdcf_interpretace&rev=1563627449&do=diff Prohlížení a interpretace výsledků SDCF-Miner Prohlížení a interpretace výsledků procedury SDCF-Miner začínají na obrazovce dle následujícího obrázku. V prvním sloupci je pořadové číslo SDCF-výrazu. Ve druhém sloupci je jeho identifikační číslo přiřazené procedurou. Ve třetím sloupci až pátém sloupci jsou hodnoty charakteristik SDCF-výrazu odvozené ze zadaných SDCF-kvantifikátorů. V šestém sloupci je zapsán SDCF-výraz. text/html 2019-07-19T22:44:40+00:00 Anonymous (anonymous@undisclosed.example.com) https://lispminer.vse.cz/guhate/doku.php?id=lm_guha_te_sdcf_kvantifikator&rev=1563569080&do=diff Zadání SDCF-kvantifikátoru Součástí zadání množiny relevantních SDCF-výrazů je zadání SDCF-kvantifikátoru ≈ v okně dle následujícího obrázku. SDCF-kvantifikátor ≈ je dán jako konjunkce SDCF-kvantifikátorů zadaných v tomto okně. To znamená, že podmínka definující SDCF-kvantifikátor ≈ je konjunkcí podmínek definujících jednotlivé zadané SDCF-kvantifikátory. Každé z uvedených tlačítek zahajuje zadávání jiného typu SDCF-kvantifikátoru. text/html 2020-02-26T21:24:22+00:00 Anonymous (anonymous@undisclosed.example.com) https://lispminer.vse.cz/guhate/doku.php?id=lm_guha_te_sdcf_proc&rev=1582748662&do=diff SDCF-Miner Procedura SDCF-Miner pracuje s SDCF-výrazy α×β: ≈A/χ. Zde A je kategoriální atribut, α,β,χ jsou booleovské atributy a ≈ je SDCF-kvantifikátor. SDCF-výraz je určen pro vyjádření rozdílu mezi histogramy A/α∧χ a A/β∧χ. Histogram A/α∧χ na matici dat M je totéž jako histogram A/χ na podmatici M/α a histogram A/β∧χ na matici dat M je totéž jako histogram A/χ na podmatici M/β. Rozdíl mezi histogramy A/α∧χ a A/β∧χ na matici dat M můžeme tedy chápat jako rozdíl mezi histogramem A/χ na po… text/html 2019-07-20T16:31:37+00:00 Anonymous (anonymous@undisclosed.example.com) https://lispminer.vse.cz/guhate/doku.php?id=lm_guha_te_sdkl_interpretace&rev=1563633097&do=diff Prohlížení a interpretace výsledků SDKL-Miner Prohlížení a interpretace výsledků procedury SDKL-Miner začínají na obrazovce dle následujícího obrázku. V prvním sloupci je pořadové číslo SDKL-vztahu. Ve druhém sloupci je jeho identifikační číslo pravidla přiřazené procedurou. Ve třetím sloupci až pátém sloupci jsou hodnoty charakteristik SDKL-vztahu odvozené ze zadaných SDKL-kvantifikátorů. V šestém sloupci je zapsán SDKL-vztah. text/html 2019-07-19T23:03:52+00:00 Anonymous (anonymous@undisclosed.example.com) https://lispminer.vse.cz/guhate/doku.php?id=lm_guha_te_sdkl_kvantifikator&rev=1563570232&do=diff Zadání SDKL-kvantifikátoru Součástí zadání množiny relevantních SDKL-vztahů je zadání SDKL-kvantifikátoru ≈ v okně dle následujícího obrázku. SDKL-kvantifikátor ≈ je dán jako konjunkce SDKL-kvantifikátorů zadaných v tomto okně. To znamená, že podmínka definující SDKL-kvantifikátor ≈ je konjunkcí podmínek definujících jednotlivé zadané SDKL-kvantifikátory. Každé z uvedených tlačítek zahajuje zadávání jiného typu SDKL-kvantifikátoru. text/html 2020-02-27T20:42:59+00:00 Anonymous (anonymous@undisclosed.example.com) https://lispminer.vse.cz/guhate/doku.php?id=lm_guha_te_sdkl_proc&rev=1582832579&do=diff SDKL-Miner Procedura SDKL-Miner pracuje s SDKL-vztahy α×β: R≈C/χ. Zde R a C jsou kategoriální atributy, α,β,χ jsou booleovské atributy a ≈ je SDKL-kvantifikátor. SDKL-vztah α×β: R≈C/χ je určen pro vyjádření rozdílu mezi vztahy kategoriálních atributů R a C na podmaticích daných booleovskýmmi atributy α∧χ a β∧χ. Podmatice M/α∧χ matice M je totéž jako podmatice (M/α)/χ matice M/α, analogicky pro M/β∧χ. Rozdíl mezi vztahy kategoriálních atributů R a C na podmaticích M/α∧χ a M/β∧χ matice … text/html 2022-12-23T15:44:50+00:00 Anonymous (anonymous@undisclosed.example.com) https://lispminer.vse.cz/guhate/doku.php?id=lm_guha_te_struktura&rev=1671806690&do=diff Tři wiki o systému LISp-Miner Tato wiki je druhou ze systému tří wiki * Systém LISp-Miner * Systém LISp-Miner a metoda GUHA * LISp-Miner, metoda GUHA a typové úlohy, jehož cílem je prezentovat systém LISp-Miner a s ním související výzkum v oblasti dobývání znalostí z databází. Pro zájemce o systém LISp-Miner je relevantní i toto text/html 2020-03-14T17:28:09+00:00 Anonymous (anonymous@undisclosed.example.com) https://lispminer.vse.cz/guhate/doku.php?id=lm_guha_te_tabulka&rev=1584203289&do=diff KL-vztah kategoriálních atributů Příklad Příkladem KL-vztahu je vztah kategoriálních atributů DHodnoceni a DPersonal vyjádřený KL-výrazem DHodnoceni [TauB ≥ 0.94,SUM ≥ 113] DPersonal / HMesto(Praha) ∧ PTypPobytu(rekreační text/html 2020-03-14T16:24:53+00:00 Anonymous (anonymous@undisclosed.example.com) https://lispminer.vse.cz/guhate/doku.php?id=lm_guha_te_tabulka_2&rev=1584199493&do=diff SDKL-vztah kategoriálních atributů Příklad SDKL-vztah se týká dvou kategoriálních atributů R a C a dvou podmatic matice dat. Příkladem SDKL-vztahu je vztah kategoriálních atributů DHodnoceni a DPersonal vyjádřený SDKL-výrazem text/html 2020-02-29T16:08:06+00:00 Anonymous (anonymous@undisclosed.example.com) https://lispminer.vse.cz/guhate/doku.php?id=lm_guha_te_temata&rev=1582988886&do=diff Tématické okruhy užitečné pro práci se systémem LISp-Miner Tři wiki vztahující k systému LISp-Miner jsou značně rozsáhlé. Pro běžnou práci se systémem stačí znalost vybraných částí. Proto jsou dále shrnuty informace důležité pro práci se systémem do tématické okruhů zahrnujících jednak nezbytné základní teoretické informace a jednak informace nutné pro práci s jednotlivými procedurami. Jsou přitom využity odkazy na stránky ze text/html 2020-02-27T23:51:15+00:00 Anonymous (anonymous@undisclosed.example.com) https://lispminer.vse.cz/guhate/doku.php?id=lm_guha_te_temata_akcni_pravidla_a_procedura_ac4ft-miner&rev=1582843875&do=diff Akční pravidla a procedura Ac4ft-Miner Pro akční pravidla a proceduru Ac4ft-Miner jsou k dispozici tato témata: * základní informace * příklady typických aplikací. Základní informace Procedura Ac4ft-Miner pracuje s akčními pravidly φ ∧ Φ ≈ ψ ∧ Ψ a s podmíněnými akčními pravidly φ ∧ Φ ≈ ψ ∧ Ψ /χ Zde φ, ψ, χ jsou booleovské atributy, φ je stabilní antecedent a ψ je stabilní sukcedent. Φ a Ψ jsou text/html 2020-03-01T12:29:56+00:00 Anonymous (anonymous@undisclosed.example.com) https://lispminer.vse.cz/guhate/doku.php?id=lm_guha_te_temata_asociacni_pravidla_a_procedura_4ft-miner&rev=1583062196&do=diff Asociační pravidla a procedura 4ft-Miner Pro asociační pravidla a proceduru 4ft-Miner jsou k dispozici tato témata: * základní informace * příklady typických aplikací * typové úlohy pro hledání výjimek a odlišností * neúplná informace * dedukce a prostota * práce s doménovou znalostí a automatizace. * porovnání procedury 4ft-Miner a arules package v R Základní informace Procedura 4ft-Miner pracuje s GUHA asociačními pravidly φ≈ψ a s podmíněnými GUHA asociačními pravidly … text/html 2020-02-28T16:15:19+00:00 Anonymous (anonymous@undisclosed.example.com) https://lispminer.vse.cz/guhate/doku.php?id=lm_guha_te_temata_dvojice_asociacnich_pravidel_a_procedura_sd4ft-miner&rev=1582902919&do=diff Dvojice asociačních pravidel a procedura SD4ft-Miner Pro asociační pravidla a proceduru SD4ft-Miner jsou k dispozici tato témata: * základní informace * příklady typických aplikací * typové úlohy hledání výjimek a odlišností * typové úlohy pro hledání podobných skupin objektů. Základní informace Procedura SD4ft-Miner pracuje s SD4ft-pravidly α×β:φ∼ψ a s podmíněnými SD4ft-pravidly α×β:φ∼ψ/χ. Zde α, β φ, ψ, χ jsou text/html 2020-02-27T21:47:55+00:00 Anonymous (anonymous@undisclosed.example.com) https://lispminer.vse.cz/guhate/doku.php?id=lm_guha_te_temata_dvojice_histogramu_a_procedura_sdcf-miner&rev=1582836475&do=diff Dvojice histogramů a procedura SDCF-Miner Pro dvojice histogramů a proceduru SDCF-Miner jsou k dispozici tato témata: * základní informace * příklady typických aplikací * typové úlohy hledání výjimek a odlišností. Základní informace Procedura SDCF-Miner pracuje s SDCF-výrazy α×β: ≈A/χ. Zde A je kategoriální atribut, α,β,χ jsou booleovské atributy a ≈ je SDCF-kvantifikátor. SDCF-výraz je určen pro vyjádření rozdílu mezi histogramy text/html 2020-02-27T21:46:20+00:00 Anonymous (anonymous@undisclosed.example.com) https://lispminer.vse.cz/guhate/doku.php?id=lm_guha_te_temata_dvojice_kontingencnich_tabulek_a_procedura_sdkl-miner&rev=1582836380&do=diff Dvojice kontingenčních tabulek a procedura SDKL-Miner Pro dvojice kontingenčních tabulek a proceduru SDKL-Miner jsou k dispozici tato témata: * základní informace * příklady typických aplikací. Základní informace Procedura SDKL-Miner pracuje s SDKL-vztahy α×β: R≈C/χ. Zde R a C jsou kategoriální atributy, α,β,χ jsou text/html 2020-02-28T14:29:35+00:00 Anonymous (anonymous@undisclosed.example.com) https://lispminer.vse.cz/guhate/doku.php?id=lm_guha_te_temata_histogramy_a_procedura_cf-miner&rev=1582896575&do=diff Histogramy a procedura CF-Miner Pro histogramy a proceduru CF-Miner jsou k dispozici tato témata: * základní informace * příklady typických aplikací * typové úlohy hledání výjimek a odlišností * typové úlohy pro hledání podobných skupin objektů. Základní informace Procedura CF-Miner pracuje s histogramy A/χ kde A je kategoriální atribut a χ je booleovský atribut. Hledá takové histogramy, které splňují podmínku odpovídající zadanému text/html 2020-02-26T21:11:56+00:00 Anonymous (anonymous@undisclosed.example.com) https://lispminer.vse.cz/guhate/doku.php?id=lm_guha_te_temata_kontingencni_tabulky_a_procedura_kl-miner&rev=1582747916&do=diff Kontingenční tabulky a procedura KL-Miner Pro kontingenční tabulky a proceduru KL-Miner jsou k dispozici tato témata: * základní informace * příklady typických aplikací. Základní informace Procedura KL-Miner pracuje s KL-vztahy R≈C/χ. Zde R a C jsou kategoriální atributy, χ je booleovský atribut a ≈ je KL-kvantifikátor. KL-vztah R≈C/χ říká, že vztah kategoriálních atributů R a C na podmatici dané booleovským atributem χ splňuje podmínku danou KL-kvantifikátorem ≈. Podrobnosti jsou… text/html 2020-02-24T13:34:20+00:00 Anonymous (anonymous@undisclosed.example.com) https://lispminer.vse.cz/guhate/doku.php?id=lm_guha_te_temata_zadani_mnoziny_relevantnich_vztahu&rev=1582547660&do=diff Zadání množiny relevantních vztahů Pro popis zadání množiny relevantních vztahů generovaných a verifikovaných GUHA procedurou jsou důležité pojmy literálu, dílčího cedentu a cedentu. Ty umožňují využít vlastnosti jednotlivých základních atributů a jejich strukturu. Zadání množiny relevantních vztahů je dáno zobecněným kvantifikátorem a jedním nebo více text/html 2020-02-24T13:33:04+00:00 Anonymous (anonymous@undisclosed.example.com) https://lispminer.vse.cz/guhate/doku.php?id=lm_guha_te_temata_zakladni_pojmy&rev=1582547584&do=diff Základní pojmy Výchozím pojmem je GUHA procedura. GUHA procedury pracují s maticemi dat jejichž sloupce považujeme za základní atributy, viz zde. Ze sloupců matice dat se odvozují základní booleovský atributy a z nich booleovské atributy. Booleovské atributy jsou součástí vztahů, které GUHA procedury generují verifikují. Booleovské atributy se používají i k definici text/html 2019-10-07T22:22:20+00:00 Anonymous (anonymous@undisclosed.example.com) https://lispminer.vse.cz/guhate/doku.php?id=lm_guha_te_tipy_faq&rev=1570479740&do=diff Tipy a časté otázky DRAFT !!! Zaseknutá úloha Cashování řetízků text/html 2020-03-08T16:58:49+00:00 Anonymous (anonymous@undisclosed.example.com) https://lispminer.vse.cz/guhate/doku.php?id=lm_guha_te_tridy&rev=1583683129&do=diff Třídy asociačních pravidel a dedukční pravidla Příklady dedukčních pravidel lze chápat jako inspiraci pro definici dále podrobněji popsaných tříd implikačních, slabě implikačních a symetrických 4ft-kvantifikátorů a pravidel. Prakticky důležitá dedukční pravidla jsou k dispozici pouze pro implikační, slabě implikační a symetrické 4ft-kvantifikátory. V případě procedury 4ft-Miner jsou důležitá korektní text/html 2019-09-10T21:40:03+00:00 Anonymous (anonymous@undisclosed.example.com) https://lispminer.vse.cz/guhate/doku.php?id=lm_guha_te_tridy_prehled&rev=1568144403&do=diff Třídy asociačních pravidel Třídy asociačních pravidel mají úzký vztah k 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í neúplné informace. Některé z těchto tříd jsou definovány v monografii text/html 2019-10-10T18:25:10+00:00 Anonymous (anonymous@undisclosed.example.com) https://lispminer.vse.cz/guhate/doku.php?id=lm_guha_te_vyzkum&rev=1570724710&do=diff Výzkum související s metodou GUHA a systémem LISp-Miner S metodou GUHA je spojen rozsáhlý výzkum dokumentovaný mimo jiné publikacemi počínaje rokem 1966. Cílem této kapitoly je představit tu část výzkumu souvisejícího s metodou GUHA, která je spojena se systémem LISp-Miner. Jedná se o následující výzkumné témata: text/html 2019-08-28T10:41:19+00:00 Anonymous (anonymous@undisclosed.example.com) https://lispminer.vse.cz/guhate/doku.php?id=lm_guha_te_vztahy_prehled&rev=1566981679&do=diff Přehled vztahů s nimiž procedury pracují Popisované GUHA procedury pracují s následujícími vztahy vycházejícími z asociačních pravidel, histogramů, kontingenčních tabulek a akčních pravidel. * Procedura 4ft-Miner pracuje s GUHA asociačními pravidly φ≈ψ kde φ a ψ jsou booleovské atributy. Pravidlo φ≈ψ text/html 2018-09-17T18:42:51+00:00 Anonymous (anonymous@undisclosed.example.com) https://lispminer.vse.cz/guhate/doku.php?id=lm_guha_te_zadavani_rel_prehled&rev=1537202571&do=diff Přehled Relevantní vztahy, se kterými pracují GUHA procedury CF-Miner, 4ft-Miner, KL-Miner, SDCF-Miner, SD4ft-Miner, SDKL-Miner a Ac4ft-Miner se skládají z jednoho až pěti cedentů a kvantifikátoru. Jedná se o podmínku, antecedent, sukcedent, first set, second set, antecedent stable part, antecedent variable part, sukcedent stable part a sukcedent variable part. Podrobnosti jsou uvedeny u popisu jednotlivých procedur. sukcedentCedenty určují jednu nebo dvě kontingenční tabulky. Kvantifikátor d… text/html 2019-08-27T20:10:42+00:00 Anonymous (anonymous@undisclosed.example.com) https://lispminer.vse.cz/guhate/doku.php?id=lm_guha_te_zakl_bool&rev=1566929442&do=diff Základní booleovský atribut Definice Základní booleovský atribut je výraz A(α), kde α je vlastní podmnožina množiny kategorií atributu A. Podmnožina α je koeficient základního booleovského atributu A(α). Příklady booleovských atributů text/html 2020-02-23T21:55:03+00:00 Anonymous (anonymous@undisclosed.example.com) https://lispminer.vse.cz/guhate/doku.php?id=lm_guha_te_zakl_pojmy_prehled&rev=1582491303&do=diff Přehled důležitých pojmů Všechny základní pojmy vycházejí z pojmů matice dat a atribut. Z atributů jsou odvozeny základní booleovské atributy a z nich dále booleovské atributy. Z pojmu základního booleovského atributu je odvozen i pojem literál. Pomocí literálů se definují dílčí cedenty. Cedent je konjunkcí dílčích cedentů. Jedná se o booleovský atribut vyskytující se v různých rolích ve vztazích se kterými pracují GUHA procedury systému LISp-Miner.… text/html 2021-03-23T21:15:17+00:00 Anonymous (anonymous@undisclosed.example.com) https://lispminer.vse.cz/guhate/doku.php?id=sidebar&rev=1616530517&do=diff Úvod * Metoda GUHA * GUHA procedura * Systém LISp-Miner * Tři wiki o systému LISp-Miner * Související výzkum * Náměty k dalšímu výzkumu * Vybrané publikace * Autorství a využívání Důležité pojmy * Přehled * Matice dat a atributy * Základní booleovský atribut * Booleovský atribut * Literál * Dílčí cedent * Cedent Vztahy, s nimiž procedury pracují * Přehled * GUHA asociační pravidlo * SD4ft-pravidlo * Histogram a CF-výraz * Dvojice histogramů a SDC… text/html 2020-02-23T18:27:23+00:00 Anonymous (anonymous@undisclosed.example.com) https://lispminer.vse.cz/guhate/doku.php?id=start&rev=1582478843&do=diff Metoda GUHA GUHA je původní česká metoda explorační analýzy dat. Jejím cílem je nabízet vše zajímavé, co platí v daných datech. První publikace o metodě GUHA pocházejí z roku 1966. Od devadesátých let minulého století je metoda rozvíjena a aplikována jako nástroj pro dobývání znalostí z databází, viz článek