Uživatelské nástroje

Nástroje pro tento web


Postranní lišta

Ú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

lm_guha_te_sdcf_kvantifikator

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.

  • Tlačítkem Add distribution quantifier se zadávají distribuční SDCF-kvantifikátory popsané zde.
  • Tlačítkem Add simple frequencies quantifier se zadávají jednoduché frekvenční SDCF-kvantifikátory popsané zde.
  • Tlačítkem Add step-up/down quantifier se zadávají step-up/down SDCF-kvantifikátory popsané zde.

Při zadávání CF-kvantifikátorů se často používá Category range.

lm_guha_te_sdcf_kvantifikator.txt · Poslední úprava: 2019/07/19 22:44 (upraveno mimo DokuWiki)