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_cedent

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 = A21(2) ∨ A22(7) ∨ A23(3,4) ∨ A24(8).

Motivací pro používání cedentů je potřeba pracovat s booleovskými charakteristikami několika skupin atributů. Předpokládáme přitom, že jednotlivé skupiny atributů jsou charakterizovány dílčími cedenty.

Příklad 1

Příkladem cedentu je booleovský atribut ΦHost ∧ ΦPobyt/Začátek ∧ ΦMeteo, kde

  • ΦHost je dílčí cedent HVek(od 28 do 60)HStat(ČR), který je booleovskou charakteristiku skupiny Host
  • ΦPobyt/Začátek je dílčí cedent PDenTydne()PRok(2012), který je booleovskou charakteristiku skupiny Pobyt/Začátek
  • ΦMeteo je dílčí cedent MObloha(zataženo)MTeplota(teplo), který je booleovskou charakteristiku skupiny Meteo.

Poznamenejme, že cedent ΦHost ∧ ΦPobyt/Začátek ∧ ΦMeteo i uvedené dílčí cedenty jsou součástí příkladu výstupu procedury KL-Miner na základě tohoto zadání.

Příklad 2

Příkladem cedentu je i booleovský atribut ΦŘidič ∧ ΦChyba řidiče, kde

  • ΦŘidič je dílčí cedent Stát(MD)PohlavíM)Rasa(BLACK), který je booleovskou charakteristiku skupiny Řidič
  • ΦChyba řidiče je dílčí cedent disjunkce Alkohol(ano)Viník/spoluviník(ano)Pásy(ne), která je chápána jako Chyba řidiče charakterizující skupinu atributů Chování řidiče

Cedent ΦŘidič ∧ ΦChyba řidiče i uvedené dílčí cedenty se týkají dat Traffic Maryland použitých v příkladu Data Traffic Maryland - využití disjunkcí 1.

lm_guha_te_cedent.txt · Poslední úprava: 2019/08/28 06:46 (upraveno mimo DokuWiki)