Zbirka zadataka iz Ekspertskih sistema

132 2. Modeli predstavljanja znanja
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)
3. Razmatramo sledeću od datih činjenica a to je m. Prvo pravilo koje je uparuje je
uprošćeno pravilo R3. Ono se briše i nastaje nova činjenica a(x). Drugo pravilo koje
uparuje m je R7. I ono se briše, a nova činjenica g(x) dodaje se u listu činjenica za
razmatranje ispred činjenica a(x).
R1: if j(x) then k(x)
R2: if a(x) and not g(x) then f(x)
R4: if i then d
R5: if e(x) then d
R6: if a(x) and h then g(x)
4. Sledimo g(x). Pravilo R2 se ignoriše jer ima not. Nema drugih pravila koja uparuju
g(x).
5. Sledimo a(x). Pravilo R2 se uprošćava u oblik (if not g(x) then f(x)) a pravilo R6 u oblik
(if h then g(x)).
R1: if j(x) then k(x)
R2: if not g(x) then f(x)
R4: if i then d
R5: if e(x) then d
R6: if h then g(x)
6. Sledimo datu činjenicu e(a). Uparuje je uprošćeno pravilo R5; ovo pravilo se briše a
predikat d dodaje činjenicama. Pošto se d nalazi u listi ciljeva, zaključivanje je
završeno.
R1: if j(x) then k(x)
R2: if not g(x) then f(x)
R4: if i then d
R6: if h then g(x)
Zaključivanjem su dobijene činjenice: b(x), a(x), g(x) i d, tim redosledom.
b) Prvo ćemo sprovesti zaključivanje od ciljeva ka činjenicama bez pamćenja zaključaka:
1. Prvi cilj je f(x). Među činjenicama nema ovog cilja a može ga zadovoljiti pravilo R2, pa
treba razmotriti preduslov ovoga pravila.
2. Razmatramo a(x) i pravilo R3 (jer među činjenicama nemamo a(x)).
3. Razmatramo b(x) i pravilo R8.
4. Razmatramo c koje se nalazi među činjenicama. Prema tome, pravilo R8 je zadovoljeno
kao i podcilj b(x).