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_cf_kvantifikator

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.

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

Při zadávání jednoduchých frekvenčních, step-up/down a rozdílových CF-kvantifikátorů je možno použít Category range.

Při zadávání rozdílových CF-kvantifikátorů je možno použít galerii uložených vzorů.

lm_guha_te_cf_kvantifikator.txt · Poslední úprava: 2019/08/28 17:14 (upraveno mimo DokuWiki)