Hornova klauzule: Porovnání verzí
Smazaný obsah Přidaný obsah
m robot přidal: pt:Cláusula de Horn |
Bez shrnutí editace |
||
Řádek 1:
V [[logika|logice]], konkrétně ve [[výroková logika|výrokové logice]] znamená '''Hornova klauzule''' tvrzení typu
:(''p'' '''a''' ''q'' '''a''' ... '''a''' ''t'') '''implikuje''' ''u'',
kde počet tvrzení spojených pomocí '''a''' je libovolný (i nulový).
V logice je Hornova klauzule disjunkcí literálů s maximálně jedním positivním
literálem (ostatní jsou negované). Hornova klauzule s právě jedním positivním
literálem se nazývá
určitá klauzule (definite clause) a pokud v ní není žádný positivní literál,
občas se, zejména v logickém programování, nazývá cílová klauzule (goal clause).Hornova formule (Horn formula) je formule v konjunktivní normální
formě, která se skládá z Hornových klauzulí. Duální Hornova klauzule
(dual-Horn clause) je Hornova klauzule, ve které je maximálně jeden negativní
literál. Hornovy klauzule mají stěžejní roli v logickém programování a jsou důležité pro konstruktivní logiku (constructive logic).
{{Matematický pahýl}}
| |||