10 vztahy: Disjunkce, Hornova klauzule, Hornovy klauzule, Literál, MIS, Přeučení, Prolog, Strojové učení, Svaz, Uspořádání.
Disjunkce
Disjunkce znamená odloučení, rozdělení, odloučené oblasti, sloučení oblastí, logický součet výroků, množinových prvků zařazených do jedné skupiny celku.
Nový!!: Induktivní logické programování a Disjunkce · Vidět víc »
Hornova klauzule
Ve výrokové logice se jako Hornova klauzule označuje speciální druh klauzule (disjunkce literálů), která obsahuje nejvýše jeden pozitivní literál (ostatní jsou negované): Hornovu klauzuli tak lze obecně zapsat jako implikaci ve formě: Jako Hornova formule se pak označuje formule v konjunktivní normální formě, která se skládá z Hornových klauzulí.
Nový!!: Induktivní logické programování a Hornova klauzule · Vidět víc »
Hornovy klauzule
#PŘESMĚRUJ Hornova klauzule.
Nový!!: Induktivní logické programování a Hornovy klauzule · Vidět víc »
Literál
Literál (z anglického slova „doslovný“) je přímý zápis určité hodnoty v programovacím jazyce.
Nový!!: Induktivní logické programování a Literál · Vidět víc »
MIS
MIS může být zkratka pro.
Nový!!: Induktivní logické programování a MIS · Vidět víc »
Přeučení
#PŘESMĚRUJ Overfitting Kategorie:Přesměrování po sloučení Kategorie:Přesměrování z českého názvu.
Nový!!: Induktivní logické programování a Přeučení · Vidět víc »
Prolog
Prolog má více významů.
Nový!!: Induktivní logické programování a Prolog · Vidět víc »
Strojové učení
Strojové učení je podoblastí umělé inteligence, zabývající se algoritmy a technikami, které umožňují počítačovému systému 'učit se'.
Nový!!: Induktivní logické programování a Strojové učení · Vidět víc »
Svaz
Svaz může být.
Nový!!: Induktivní logické programování a Svaz · Vidět víc »
Uspořádání
Uspořádání (přesněji neostré částečné uspořádání) je matematický pojem z teorie uspořádání.
Nový!!: Induktivní logické programování a Uspořádání · Vidět víc »