Zbirka zadataka iz Ekspertskih sistema

128 2. Modeli predstavljanja znanja
6. Sledi se poslednja od datih činjenica n(12); pravilo 3a dokazuje činjenicu m(12).
Lista neupotrebljenih činjenica: m(12).
Produkcioni sistem:
1a. if t then a
2b. if not(t) then a
3a. if n(x) then m(x)
5a. if s then t
Dobijene činjenice: u, b, m(12)
7. Sledi se m(12); ne dobijaju se nove činjenice niti pravila.
Pošto su razmotrene sve činjenice, prelazi se na razmatranje pravila sa not. Pošto među
zadatim i dobijenim činjenicama nema činjenice t, not(t) je nova činjenica koju treba
razmotriti.
Lista neupotrebljenih činjenica: not(t).
Produkcioni sistem:
1a. if t then a
2b. if not(t) then a
3a. if n(x) then m(x)
5a. if s then t
Dobijene činjenice: u, b, m(12), not(t)
8. Sledi se not(t); Pravilo 2b (koje se briše) dokazuje činjenicu a.
Lista neupotrebljenih činjenica: a.
Produkcioni sistem:
1a. if t then a
3a. if n(x) then m(x)
5a. if s then t
Dobijene činjenice: u, b, m(12), not(t), a
9. Sledi se a; ne dobijaju se nove činjenice niti pravila; zaključivanje je završeno.
Prema tome, zaključivanjem su dobijene nove činjenice ovim redom: u, b, m(12), not(t), a.
Samo predikati za koje je utvrđeno da su tačni su navedeni u ovoj listi. Za sve ostale
predikate, prema pretpostavki o zatvorenom svetu, važi njihova negacija; t je samo jedan od
takvih predikata čiju smo negaciju i eksplicitno koristili da bismo utvrdili važenje drugih
predikata.
b) Tok zaključivanja cikličkim hibridnim ulančavanjem sa datim produkcionim sistemom je
sledeći:
1. Preduslovi pravila 1, 3 nisu ispunjeni (bar po jedan predikat iz preduslova ovih pravila
ne nalazi se među činjenicama). Pravilo 2 se ignoriše jer sadrži not.