Clark normál forma

Kapcsolódó fogalmak: 
elsőrendű logika
Kapcsolódó fogalmak: 
predikátumszimbólum
Kapcsolódó fogalmak: 
határozott klóz
Rövid szöveges bemutatás: 
Az elsőrendű logikában külön szabályrendszerrel kell jeleznünk, hogyha egy bizonyos dologból csak az adott példányok léteznek és más példány nem létezik abból a dologból. Ennek leírására van szükség a Clark féle normál formára. Ilyenkor az olyan klózokból indulunk ki, melyekről tudjuk, hogy léteznek és azonos predikátummal rendelkeznek. Például Alma(Piros, 26). Az eljárás végén eljutunk oda, hogy először kifejezzük általánosságban, Alma(c, s) <-> [c, s]. Majd ezt az általánosságot konkretizáljuk az adott példányainkra, Alma(c, s) <-> [c, s] = [Piros, 26] V [c, s].