Zbirka zadataka iz Ekspertskih sistema

2.2. Produkcioni sistemi 133
5. Nastavljamo razmatranje pravila R3 i u skladu sa tim predikat m. Radi se o činjenici,
tako da su pravilo R3 i podcilj a(x) zadovoljeni.
6. Nastavljamo sa razmatranjem pravila R2. Da bismo utvrdili zadovoljenost podcilja not
g(x) razmatraćemo podcilj g(x) pa ako on nije zadovoljen, njegova negacija jeste po
pretpostavci o zatvorenom svetu. Prvo od pravila koje zadovoljavaju g(x) je R6 pa ćemo
razmotriti njegove preduslove.
7. Prvi preduslov pravila R6 je a(x). Pošto ne pamtimo zaključke, činjenica da je ovaj cilj
već razmatran nema uticaja u ovom trenutku. To znači da će se ponoviti razmatranje
pravila R3 i R8 da bi se ponovo došlo da zaključka da je a(x) zadovoljen.
8. Nastavljamo razmatranje pravila R6. Drugi preduslov je h. Ovog predikata nema među
činjenicama niti ga može zadovoljiti neko od pravila. Prema tome h, kao ni pravilo R6
nisu zadovoljeni.
9. Treba pokušati zadovoljiti g(x) na alternativan način. Drugo pravilo koje ga ima u
zaključki je R7.
10. Preduslov pravila R7 je predikat m i on se nalazi među činjenicama. Prema tome pravilo
R7 je zadovoljeno a time i g(x). To znači da not g(x) nije zadovoljeno pa pravilo R2 nije
zadovoljeno. Pošto više nema pravila koja mogu zadovoljiti cilj f(x), zaključujemo da
ovaj cilj nije zadovoljen.
11. Prelazimo na razmatranje drugog cilja d. Prvo od pravila koja zadovoljavaju ovaj cilj je
R4.
12. Preduslov i pravila R4 nije činjenica niti se može zadovoljiti upotrebom pravila pa
pravilo R4 ne može biti zadovoljeno. Sledeće pravilo koje može zadovoljiti cilj d je R5.
13. Oba preduslova pravila R5 mogu upariti činjenicame tako da je R5 zadovoljeno, a time
i cilj d čime se zaključivanje završava.
Zaključivanjem su dobijene činjenice: b(x), a(x), g(x) i d, tim redosledom.
Razmotrimo sada varijantu zaključivanja povratnim ulančavanjem kada postoji pamćenje
zaključaka, što znači da se zadovoljeni podciljevi u toku zaključivanja dodaju u bazu znanja
kao činjenice.
U konkretnom slučaju tok zaključivanja u situaciji kada se primenjuje pamćenje zaključaka je
sličan varijanti bez pamćenja, s jedinom razlikom što se u tački 7 ne razmatraju pravila R3 i
R8 jer se odmah detektuje da se a(x) nalazi među činjenicama.
c) Redosled činjenica ima uticaja na tok zaključivanja direktnim ulančavanjem (pogledati
diskusiju u zadatku 56). Na primer, kada bismo obrnuli redosled činjenicama e(a) i j(b) tako
da se prvo razmatra j(b), prvo bi bio dokazan cilj k(b).
d) U datom slučaju redosled činjenica nema uticaja na tok zaključivanja povratnim
ulančavanjem. Ovaj redosled može biti od uticaja jedino u situaciji kada postoje različite
činjenice s istoimenim predikatom, tako da u cilju postoji promenljiva za koju se mogu vezati
različite vrednosti u zavisnosti od redosleda činjenica.
Diskusija
U komercijalnim ekspertskim sistemima koji primenjuju zaključivanje povratnim
ulančavanjem, koriste se i takozvane virtuelne činjenice. To znači da se od korisnika ne traži
da unese sve činjenice pre početka zaključivanja, već se u toku procesa zaključivanja
korisniku postavlja pitanje u vezi sa nekim predikatom tek u trenutku kada on postane tekući