Hornova klauzule: Porovnání verzí
Smazaný obsah Přidaný obsah
Bez shrnutí editace |
m {{Autoritní data}}; formát zápisu šablon; kosmetické úpravy |
||
Řádek 6:
Jako ''Hornova formule'' se pak označuje [[formule (logika)|formule]] v [[konjunktivní normální forma|konjunktivní normální formě]], která se skládá z Hornových klauzulí. Jako ''duální'' Hornova klauzule se pak označuje klauzule, která obsahuje nejvýše jeden negativní literál (a ostatní pozitivní).
Důležitost Hornových klauzulí spočívá v tom, že při omezení se na Hornovy klauzule místo obecných klauzulí můžeme v různých případech získat významné zrychlení inferenčních algoritmů. Například úlohla rozhodnutí [[
| last1 = Dowling | first1 = William F.
| last2 = Gallier | first2 = Jean H.
Řádek 24:
{{Pahýl}}
{{Autoritní data}}
{{Portály|Matematika}}
| |||