Zbirka zadataka iz Ekspertskih sistema

154 2. Modeli predstavljanja znanja
V(c,nula).
V(puta(X,Y),nula) :- V(X,nula), V(Y,nula), write(„R1 „).
V(plus(X,Y),Z) :- V(X,nula), V(Y,Z), write(„R2 „).
V(plus(X,Y),plus(W,Z)) :- V(X,W), V(Y,Z), write(„R3 „).
V(puta(X,Y),puta(X,Z)) :- V(X,nula), V(Y,Z), write(„R4 „).
V(X,puta(X,W)) :-V(jedan,W), V(X,nula), write(„R5 „).
V(X,puta(plus(W,Y),Z)) :- V(X,plus(puta(W,Z), puta(Y,Z))),
write(„R6 „).
V(podeljeno(X,Y),W) :- V(X,puta(W,Y)), V(Y,nula), write(„R7 „).
goal
V(podeljeno(puta(b,plus(a,c)),e),b).
Program pri izvršavanju ispisuje brojeve pravila koja su zadovoljena. Ta lista brojeva u
obrnutom redosledu, predstavlja dokaz tačnosti zadate nejednakosti. U režimu praćenja
izvršavanja programa (trace), prati se tok zaključivanja povratnim ulančavanjem za dati
problem:
1. Razmatra se ciljni predikat V(podeljeno(puta(b,plus(a,c)),e),b). On se ne uparuje ni sa
jednom činjenicom, nego samo sa zaključkom pravila R7 za X = puta(b,plus(a,c)), Y = e i W
= b.
2. Razmatra se prvi preduslov pravila R7, predikat V(puta(b,plus(a,c)),puta(b,e)). On se
uparuje sa zaključkom pravila R4, za X = b, Y = plus(a,c), Z = e.
3. Razmatra se predikat V(b,nula) iz preduslova pravila R4; ovaj predikat zadovoljen je
činjenicom.
4. Razmatra se drugi predikat iz preduslova pravila R4, a to je V(plus(a,c),e). Ovaj predikat se
uparuje zaključkom pravila R2 za X = a, Y = c i Z = e.
5. Razmatra se predikat iz preduslova pravila R2, a to je V(a,nula). Ovaj predikat je
zadovoljen činjenicom.
6. Razmatra se drugi predikat iz preduslova pravila R2, a to je V(c,e). Ovaj predikat takođe je
zadovoljen činjenicom. Prema tome pravilo R2 je zadovoljeno (ispisuje se njegov redni broj),
kao i pravilo R4.
7. Razmatra se drugi predikat preduslova pravila R7, a to je V(e,nula). Ovaj predikat je
zadovoljen činjenicom pa je i pravilo R7 zadovoljeno što znači da je i krajnji cilj zadovoljen.
Program pri izvršavanju ispisuje R2 R4 R7 true, što znači da u dokazivanju tačnosti date
nejednakosti treba prvo primeniti pravilo R7, pa R4 pa na kraju R2.
Zadatak 68: Efikasnost zaključivanja sa pamćenjem zaključaka
Pri zaključivanju povratnim ulančavanjem pamćenje zaključaka ne mora u svakoj situaciji
doneti poboljšanje performansi. Ovaj zadatak ima za cilj da utvrdi pod kojim uslovima se
isplati primenjivati pamćenje zaključaka.