Zbirka zadataka iz Ekspertskih sistema

130 2. Modeli predstavljanja znanja
13. U sledećem prolazu kroz preostala pravila 1, 3 i 5 ne dobija se nijedna nova činjenica,
pa je proces zaključivanja okončan.
Prethodnim postupkom dobijene su nove činjenice: b, u, m(12), not(t), a. Dobijeni su svi
mogući zaključci kao i u slučaju pod a), ali je redosled dobijanja različit.
c) U algoritam 11 koji je dat u dodatku 1 već je ugrađena svojevrsna optimizacija kroz ideju o
brisanju pravila koje ne sadrži promenljive po njegovoj uspešnoj primeni. Mana datog
algoritma je što u svakom ciklusu razmatra sva preostala pravila. Ukoliko pravilo P u
prethodnom ciklusu nije bilo zadovoljeno, a nije dobijena nijedna od činjenica koja bi se
mogla upariti sa predikatima u if delu pravila P, onda ovo pravilo sigurno neće biti
zadovoljeno ni u tekućem ciklusu. Indeksiranjem pravila prema imenima predikata u
preduslovima pravila, omogućuje se da se u tekućem ciklusu pronađu i razmotre samo ona
pravila koja sadrže predikat koji je u prethodnom ciklusu razmatranja pravila utvrđen kao
činjenica.
Na primer, za indeksiranje pravila u bazi znanja iz ovog zadatka koristi se tabela 7. Svaka
vrsta označena je jednim od predikata iz preduslova pravila. U vrsti koja odgovara predikatu
P nalazi se lista rednih brojeva svih pravila koja sadrže predikat P (ili njegovu negaciju) u
preduslovu. Prema tome, da bi se razmotrila pravila koja sadrže u preduslovu predikat P,
dovoljno je pronaći odgovarajuću vrstu u tabeli i razmotriti sva pravila iz te vrste.
Tabela 7: Indeksna tabela
Predikat Lista pravila
b 2, 3
c 4
n(x) 3
r 5, 6
s 5
t 1, 2
u 2
v 1, 6
Takođe se mogu grupisati pravila sa negacijama predikata u preduslovu, da bi se ona u
drugoj fazi algoritma (kada se razmatraju negacije predikata) mogla efikasno obraditi.
Zadatak 59: Povratno ulančavanje i pamćenje zaključaka
Dat je produkcioni sistem:
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) and c then d