bemeneti rezolúció

Kapcsolódó fogalmak: 
rezolúció
Kapcsolódó fogalmak: 
Horn klóz
Kapcsolódó fogalmak: 
Modus Ponens
Rövid szöveges bemutatás: 
A bemeneti rezolúció egy bizonyítási eljárás, ahol a kezdő lépés az, hogy a bizonyítani kívánt mondatot összekombináljuk a tudásbázis egyik odavágó mondatával. A bizonyítás addig tart, amíg a bizonyítandó mondat üres mondattá nem válik. A mellékelt ábrán egy ilyen bizonyítás látható. Ez a fajta stratégia teljes a Horn formájú tudásbázisok esetében, azonban általánosságban ez nem mondható el.