Zbirka zadataka iz Ekspertskih sistema

2.2. Produkcioni sistemi 131
R6: if a(x) and h then g(x)
R7: if m then g(x)
R8: if c then b(x)
Pretpostavimo da su ciljevi f(x), d i k(x), u tom redosledu, a činjenice c, m, e(a) i j(b),
respektivno. Zaključivanje se okončava čim se dokaže neki od ciljeva.
a) Pretpostavimo da se zaključivanje obavlja direktnim ulančavanjem. Navesti redosled
razmatranja pravila.
b) Navesti redosled razmatranja pravila pri zaključivanju povratnim ulančavanjem ako
nema pamćenja (engl. caching) zaključaka. Koji je redosled razmatranja pravila ako se
upotrebljava pamćenje zaključaka?
c) Da li redosled činjenica utiče na to koji cilj će biti prvi dokazan u tački a)? Objasniti
zaključak.
d) Da li redosled činjenica utiče na to koji cilj će biti prvi dokazan u tački b)? Objasniti
zaključak.
Analiza problema
Pamćenje zaključaka pri zaključivanju povratnim ulančavanjem znači da se zadovoljeni
predikati iz zaključaka pravila dodaju u bazu znanja kao činjenice. Pamćenje zaključaka ne
utiče na rezultate procesa zaključivanja, već ima za cilj da poveća performanse na taj način
što se za zapamćene predikate odmah utvrđuje zadovoljenost u naknadnim razmatranjima, bez
potrebe da se nanovo razmatraju pravila koja ih zadovoljavaju.
Rešenje
a) Pri direktnom ulančavanju zaključujemo polazeći od činjenica ka ciljevima, sledećim
redom:
1. Razmatramo prvu od datih činjenica c. Uparuju je preduslovi pravila R5 i R8. R5 se
uprošćava u oblik (if e(x) then d) a R8 je potpuno zadovoljeno pa se eliminiše i
dobijamo novu činjenicu b(x). Produkcioni sistem sada ima sledeći izgled:
R1: if j(x) and b(x) then k(x)
R2: if a(x) and not g(x) then f(x)
R3: if b(x) and m then a(x)
R4: if i then d
R5: if e(x) then d
R6: if a(x) and h then g(x)
R7: if m then g(x)
2. Sledimo b(x). Uparuju je pravila R1 i R3 koja dobijaju uprošćene oblike (if j(x) then
k(x)) i (if m then a(x)) respektivno.
R1: if j(x) then k(x)
R2: if a(x) and not g(x) then f(x)
R3: if m then a(x)