bináris rezolució

Kapcsolódó fogalmak: 
Horn klóz
Kapcsolódó fogalmak: 
literál
Kapcsolódó fogalmak: 
rezolúció
Rövid szöveges bemutatás: 
A tudásbázis mondatokat, tényeket tartalmaz. Ezeket hivatalosan klózoknak hívunk. A tudásbázis méretének szűkítése érdekében bizonyos klózokat össze tudunk vonni. Olyan klózokat tudunk összevonni melyek ellentétes szabályokat tartalmaznak. Tehát például tudjuk hogy [¬ Ügyes (x2) VAGY ¬ Közelvan (x2, y2) VAGY Elérheti (x2, y2)], valamint, hogy [¬ Elérheti (Majom,Banán)], akkor ennek a két mondatnak a rezolúciójából kapjuk azt, hogy [¬ Ügyes (Majom) VAGY ¬ Közelvan (Majom, Banán)], az x2/Majom, y2/Banán helyettesítéssel. Ez egy bináris rezolúció, mert két literált oldottunk fel a segítségével.