Hornova klauzule: Porovnání verzí
m sjednocení pahýlů na jednotnou šablonu {{Pahýl}} dle Wikipedie:Žádost o komentář/Šablony pahýlů |
m Bot: Odstranění 13 odkazů interwiki, které jsou nyní dostupné na Wikidatech (d:q933932) |
||
Řádek 15: | Řádek 15: | ||
[[Kategorie:Logika]] |
[[Kategorie:Logika]] |
||
[[de:Horn-Formel]] |
|||
[[en:Horn clause]] |
|||
[[es:Cláusula de Horn]] |
|||
[[fr:Clause de Horn]] |
|||
[[hu:Horn-klóz]] |
|||
[[it:Clausola di Horn]] |
|||
[[ja:ホーン節]] |
|||
[[kk:Хорн өрнегі]] |
|||
[[nl:Horn-clausule]] |
|||
[[pl:Klauzula Horna]] |
|||
[[pt:Cláusula de Horn]] |
|||
[[ru:Дизъюнкт Хорна]] |
|||
[[zh:霍恩子句]] |
Verze z 8. 3. 2013, 16:27
V logice, konkrétně 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í. Jako duální Hornova klauzule se pak označuje klauzule, která obsahuje nejvýše jeden negativní literál (a ostatní pozitivní).
Logické programování
Hornovy klauzule mají stěžejní roli v logickém programování (např. v jazyce Prolog) a jsou důležité pro konstruktivní logiku.
Hornova klauzule obsahující právě jeden pozitivní literál a několik (nejméně jeden) negativních, vyjadřuje implikaci. Někdy se označuje jako určitá klauzule, v jazyce Prolog odpovídá pravidlu (A :- B1, B2, ..., Bn.
). Klauzule obsahující pouze jeden pozitivní literál a žádné negativní odpovídá prostému tvrzení. Někdy se označuje jako cílová klauzule, v jazyce Prolog odpovídá faktu (A :- true.
, případně prostě A.
). Klauzule neobsahující žádný pozitivní literál a obsahující několik negativních odpovídá v jazyce Prolog dotazu (?- B1, B2, ..., Bn.
).