Zbirka zadataka iz Ekspertskih sistema

2.2. Produkcioni sistemi 123
pravila pravila predikati u IF delovima
predikati u IF delovima predikati u IF delovima činjenice
činjenice
Zadatak 57: Negacije i zaključivanje povratnim i direktnim ulančavanjem
Baza znanja sadrži sledeća pravila:
R1: if fact1 then goal1
R2: if a and b then goal1
R3: if c(x) then goal2(x)
R4: if not(d) then a
R5: if d then b
R6: if e then b
R7: if not(e) then c(2)
R8: if fact2 and fact3 then d
R9: if fact2 and fact4 then e
Činjenice:
fact2
fact3
a) Koristeći povratno ulančavanje ispitati istinitost ciljeva goal1 i goal2(x)
b) Koristeći direktno ulančavanje sa fokusiranjem pažnje na nove činjenice odrediti sve
moguće zaključke.
Analiza problema
U zadatom produkcionom sistemu ciljni predikati su goal1 i goal2(x), pretpostavke su fact1,
fact2, fact3 i fact 4 a svi ostali predikati spadaju u međupredikate. U okviru pravila pojavljuju
se i negacije predikata. Ove negacije tretiraju se u skladu sa pretpostavkom o zatvorenom
svetu (engl. closed world assumption) da je negacija predikata tačna ako sa datim činjenicama
ne možemo utvrditi istinitost traženog predikata (drugim rečima, ako nema dovoljno
informacija da se utvrdi da je nešto istinito, uzimamo je da njegova negacija istinita).
PROLOG u zaključivanju koje, kao što je već rečeno, vrši povratnim ulančavanjem, takođe
koristi pretpostavku o zatvorenom svetu.
Zaključivanje se vrši prema algoritmu 9 iz dodatka 1 sa dodatnim pravilom vezanim za
negirane predikate u ciljevima:
• U koraku 2 algoritma dodaje se: Ako se u tekućem cilju tekući predikat P pojavljuje
negiran, onda je not(P) zadovoljeno ako i samo ako P nije zadovoljen.
Drugim rečima, ispitujemo ispunjenost predikata P, pa ako utvrdimo da je predikat P
ispunjen, znači da nije ispunjena njegova negacija i obrnuto, ako P nije ispunjen, znači da je
ispunjena njegova negacija.