====== Zadání množiny relevantních tvrzení ======
 
Popisované procedury pracují s různými 
[[lm_guha_te_procedury_prehled|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í: 
  * jedno nebo více [[lm_guha_te_procedury_zadavani#Zadání množiny relevantních cedentů|zadání množiny relevantních cedentů]]
  * jedno nebo dvě [[lm_guha_te_procedury_zadavani#Zadání seznamu atributů|zadání seznamu atributů]]
  * zadání kvantifikátoru, které je specifické pro každou proceduru 
  * zadání dalších parametrů, které je specifické pro každou proceduru. 

Při zadání mohou být využity [[lm_guha_te_gallery|uložené vzory]]. Způsob jejich využití se liší v závislosti na konkrétní proceduře. 

 

===== Zadání množiny relevantních cedentů =====

Zadání množiny relevantních cedentů se skládá z několika parametrů definujících 
množinu základních nebo odvozených booleovských atributů, ukázka je v levé části následujícího obrázku. 
Zadání množiny relevantních cedentů může být i prázdné, ukázka je v pravé části obrázku. 

{{ :ukazka_zadani_relevantnich_cedentu.png |}}

Podrobnosti jsou [[https://lispminer.vse.cz/wiki/doku.php?id=lmtask:settings:ftcedenthierarchy|zde]]. 
Informace o zadání množiny relevantních cedentů lze získat i z této {{ :t_3_cedenty_wiki.pdf |této prezentace}}. 
//Množina relevantních cedentů// je množina základních nebo odvozených booleovských atributů určená uvedeným způsobem. 

Pokud je zadání množiny relevantních cedentů prázdné jako v pravé části obrázku, 
pak za množinu relevantních cedentů může být považována množina obsahující [[lm_guha_te_bool|identicky pravdivý 
booleovský atribut]] //True//. 
To záleží na konkrétní proceduře. Může se stát i to, že zadávající parametry jsou použity tak, že jim nevyhovuje 
žádný základní ani odvozený booleovský atribut. Potom také může být za množinu relevantních 
cedentů považována množina obsahující booleovský atribut //True//. 

  


===== Zadání seznamu atributů =====

 Podrobnosti jsou [[https://lispminer.vse.cz/wiki/doku.php?id=mcf:settings:cfcedent|zde]], kde je popsáno zadání seznamu atributů jako součást zadání procedury CF-Miner.