Zbirka zadataka iz Ekspertskih sistema

2.2. Produkcioni sistemi 147
n(3)
n(4)
n(5)
f(2,2)
f(2,4)
f(3,1)
g(1,3,2)
g(2,3,3)
g(3,3,4)
g(4,3,5)
a) Koliko se puta pri ovom upitu obavi vraćanje na prethodni predikat da bi se dobio prvi
odgovor povratnim ulančavanjem? Računati svako pomeranje od desna na levo od
predikata do predikata u upitu kao jedno vraćanje.
b) Preurediti upit tada da se smanji broj vraćanja. Koliki je taj broj sada?
c) Predložiti način zavisno zasnovanog vraćanja (engl. dependency based backtracking) da
bi se dobio odgovor na početni upit. Koliki je sada broj vraćanja?
d) Dati odgovor na početni upit uz relaksaciju. Usvojiti standardan oblik relaksacije kojom
se pokušava zadovoljiti svako složeno ograničenje (sa više promenljivih) zasebno, uz
zanemarivanje prethodnih dodela. Prikazati tok postupka.
Analiza problema
Algoritam zaključivanja povratnim ulančavanjem iz dodatka 1 primenjuje takozvano
hronološko vraćanje pri zaključivanju, čija je karakteristika da se vraćanje sa tekućeg
predikata vrši na predikat koji je poslednji bio zadovoljen pre tekućeg.
Zavisno zasnovano vraćanje pri zaključivanju formuliše se na sledeći način: Sa predikata P
vraćanje se vrši na poslednji zadovoljeni predikat kojim je vezan neki od promenljivih
argumenata predikata P. Ako takvih predikata nema, vraćanje se vrši na predikat zadovoljen
neposredno pre razmatranja predikata P.
Relaksacija predstavlja jedan od metoda u okviru strategije rešavanja problema
zadovoljavanjem ograničenja (engl. constraint satisfaction). Ova strategija ide na to da se
smanji skup mogućih vrednosti za svaku od promenljivih u upitu razmatranjem postavljenih
ograničenja.
Rešenje
a) Potrebno je ukupno 162 vraćanja da bi se dobio odgovor x = 4, y = 3, z = 5:
• 3 vraćanja od n(y) do n(x), pošto se moraju isprobati četiri različite vrednosti za x dok se
ne dobije odgovor
• 17 vraćanja od n(z) do n(y). Mora se tri puta proći kroz pet mogućih vrednosti za y, i
šesti put upit uspeva za treću po redu vrednost y (znači dodatna dva vraćanja šesti put).
• 89 vraćanja od x > y do n(z). Sedamnaest puta se razmatra x > y za svaku od 5 mogućih
vrednosti za z. Osamnaesti put upit uspeva za petu po redu vrednost z.