Úvod
Důležité pojmy
Vztahy, s nimiž procedury pracují
GUHA procedury
GUHA procedury - společné prvky
Observační kalkuly - relevantní výsledky
Důležité tématické okruhy
Úvod
Důležité pojmy
Vztahy, s nimiž procedury pracují
GUHA procedury
GUHA procedury - společné prvky
Observační kalkuly - relevantní výsledky
Důležité tématické okruhy
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.
Zadává se množina relevantních SD4ft-pravidel. Tlačítkem Validate
se vyvolá kontrola zadání.
Parametrem Maximal number of hypotheses to be mined se udává maximální počet pravidel, který může být nalezen. Parametr je dostupný po použití tlačítka Params
. Po dosažení uvedeného maximálního počtu pravidel se běh procedury ukončí.
Procedura se spustí jedním z tlačítek Run
, Bkgrnd Run
, Grid Run
popsaných zde. Tlačítkem Show Results
se zahajuje
prohlížení a interpretace výsledků.
Tlačítkem Task Clone
se provede vyklonování úlohy.
Ukázky aplikací procedury SD4ft-Miner jsou zde.
Množina relevantních SD4f-pravidel je dána
ANTECEDENT
SUCCEDENT
FIRST SET
SECOND SET
CONDITION
QUANTIFIERS
.Množiny ANT, SUCC, ALFA, BETA a COND se zadávají jako množiny relevantních cedentů.
Součástí zadání množiny relevantních SD4ft-pravidel je i zadání vztahu množin α a β, které se vyvolá tlačítkem Params
.
Množina relevantních antecedentů může být prázdná i množina relevantních množin β mohou být prázdné. Množina relevantních sukcedentů i množina relevantních množin α musí být vždy neprázdné. Množina relevantních podmínek se zadává pouze když chceme pracovat s podmíněnými asociačními pravidly. V zadání těchto množin se mohou vyskytovat stejné atributy.
Relevantní SD4ft-pravidla jsou
Kontrola zahrnuje jednak obecné kontroly společné pro všechny procedury a jednak kontroly zadání parametrů specifických pro SD4ft-Miner.