Horn klóz

Kapcsolódó fogalmak: 
konjunktív normál forma (CNF)
Kapcsolódó fogalmak: 
literál
Kapcsolódó fogalmak: 
egységklóz
Kapcsolódó fogalmak: 
ítéletkalkulus
Kapcsolódó fogalmak: 
elsőrendű logika
Rövid szöveges bemutatás: 
A Horn-klóz gyakorlatilag nem más, mint egy speciális szabályokat követő konjunktív normál forma. A szabály egyszerű. A Horn-klóz tartalmaz egy negálatlan literált és az összes többi literál negált alakban van jelen. A klózok logikai vagy függvénnyel kapcsolódnak egymáshoz. A Horn-klózt ítélet és elsőrendű logikában alkalmazzák. A mellékelt weboldalon további információkat talál a Horn-klózokkal kapcsolatban.