Zbirka zadataka iz Ekspertskih sistema

120 2. Modeli predstavljanja znanja
tekući cilj C1: početni upit
N 1
a(x)
vezivanja x = x’
Promenljiva x dobija vrednost 5, što znači da je zadovoljen i krajnji cilj a(x), za x=5.
U procesu zaključivanja, redom su zadovoljavana pravila: 4 (za x=2), 4 (za x=5), 3, 2, 1 i
početni upit. Zaključak svakog od ovih pravila generisao je po jednu novu činjenicu: c(2),
c(5), d(5), b(5) i a(5). Prema tome, dobijene su iste činjenice u istom redosledu kao u zadatku
54 u kome je primenjeno zaključivanje direktnim ulančavanjem u istoj bazi znanja. U opštem
slučaju broj i redosled dobijenih činjenica ne moraju se poklapati kod ova dva načina
zaključivanja.
Diskusija
U algoritmu zaključivanja povratnim ulančavanjem navedeno je (u koraku 6. procedure
TEST) da je potrebno pamtiti zadovoljene ciljeve zbog mogućnosti njihovog ponovnog
razmatranja prilikom vraćanja pri zaključivanju. Pogodna struktura podataka je AND/OR
stablo. Svaki čvor stabla odgovara jednom zadovoljenom predikatu u ciljevima. Konektori su
označeni pravilima kojima su zadovoljeni pojedini predikati ciljeva. Svaki cilj predstavlja
skup onih čvorova stabla koji svi imaju isti ulazni konektor.
Na primer, AND/OR stablo za dati problem po završetku rada algoritma ima izgled prikazan
na slici 71 punim linijama. Isprekidanim linijama prikazani su pojedini podciljevi. Primetiti
da u stablu nema cilja C5 jer on nije zadovoljen tokom zaključivanja.
C3
C1
C2
a(x)
b(x)
c(x) d(x)
C4 g(5) e f(5) C6
Slika 71
Zadatak 56: Zaključivanje cikličkim hibridnim ulančavanjem
Posmatrajmo bazu znanja iz postavke zadatka 54:
if b(x) then a(x)
if c(x) and d(x) then b(x)
if e and f(x) then d(x)
if g(x) then c(x)
g(2)