Wikipedie

SLG rezoluce

rezoluce
Tento článek není dostatečně ozdrojován, a může tedy obsahovat informace, které je třeba ověřit.
Jste-li s popisovaným předmětem seznámeni, pomozte doložit uvedená tvrzení doplněním referencí na věrohodné zdroje.

SLG rezoluce (Selective Linear General) je v logice rozšířená rezoluce konvergující pro všechny logické programy s negací operující na uzavřených literálech. Jedná se o rozšíření rezoluce používané Prologem, která se ovšem může zacyklit (neboť Prolog vyhodnocuje rekurzivně zleva), kdežto SLG rezoluce vždy konverguje.

Příkladem je definice symetrického predikátu "hraničí s": borders(X,Y) :- borders_as(X, Y). borders(X,Y) :- borders_as(Y, X).

Citováno z „https://cs.wikipedia.org/w/index.php?title=SLG_rezoluce&oldid=17496982“