egységpreferencia

Kapcsolódó fogalmak: 
ítéletkalkulus
Kapcsolódó fogalmak: 
egységklóz
Rövid szöveges bemutatás: 
Az egységpreferencia mint fogalom az nem más mint egy stratégia a bizonyítási eljárás menetéhez. A stratégia szerint, próbáljunk minél rövidebb klózokat létrehozni. Ehhez érdemes olyan behelyettesítéseket keresni, hogy egy egységklóz felhasználásával egy új rövidebb harmadik klózt kapjunk. Például ha van a (A) egységklózon, és az (/A vagy B vagy C) klózom, akkor ennek a kettőnek az egyesítésével kapom meg a (B vagy C) klózt. Ez megkönnyíti a keresést, azáltal, hogy csökkenti az állapotteret.