Zbirka zadataka iz Ekspertskih sistema

124 2. Modeli predstavljanja znanja
Rešenje
a) Zaključivanje sa datim pravilima obavlja se sledećim redosledom ciljeva:
• goal1; nema ga u činjenicama; razmatra se pravilo R1 i njegov preduslov
• fact1; u činjenicama ga nema, a nema ni pravila; fact1 nije zadovoljeno, a time ni pravilo
R1
• goal1; ostalo je još pravilo R2; razmatra se njegov preduslov
• a; nema ga u činjenicama; razmatra se pravilo R4; potrebno je razmotriti not(d)
• d; nema ga u činjenicama; razmatra se pravilo R8
• fact2 jeste činjenica
• fact3 jeste činjenica pa pravilo R8 uspeva; d je zadovoljeno; not(d) nije zadovoljeno; R4
ne uspeva; R2 ne uspeva;
• goal1; nema više nerazmotrenih pravila; prvi cilj goal1 nije zadovoljen; ostaje drugi cilj
goal2(x) za razmatranje
• goal2(x); nema ga u činjenicama; razmatra se pravilo R3
• c(x); nema ga u činjenicama; razmatra se pravilo R7; potrebno je razmotriti not(e)
• e; nema ga u činjenicama; razmatra se R9
• fact2 je činjenica
• fact4; nema ga u činjenicama i ne pojavljuje se u zaključcima pravila pa nije ispunjeno;
pravilo R9 ne uspeva
• e; nije ispunjeno pošto više nema pravila za razmatranje; not(e) je ispunjeno; uspeva R7;
uspeva c(x) za x=2; uspeva R3 za x=2; uspeva goal2(2).
U toku zaključivanja dobijene su sledeće nove činjenice prema redosledu dobijanja: d, not(e),
c(2), goal2(2).
b) Kod direktnog ulančavanja (algoritam 10 iz dodatka 1) potrebno je pravila sa negacijama
predikata preskočiti pri razmatranju sve dok se ostalim pravilima ne zaključe sve moguće
činjenice.
Tok zaključivanja u zadatom produkcionim sistemu je sledeći (redom su navedeni činjenica
koja se u datom trenutku sledi, pravilo koje se pri tom razmatra i akcija koja se preduzima kao
rezultat razmatranja pravila):
Korak Lista činjenica Pravilo Akcija
1. fact2, fact3 R8 Briše se R8, dodaje se R10: if fact3 then d
2. fact2, fact3 R9 Briše se R9, dodaje se R11: if fact4 then e
[ činjenica fact2 je razmotrena, nisu dodate nove činjenice, pa se prelazi na sledeću zadatu
činjenicu]
3. fact3 R10 d je nova činjenica; R10 se briše
4. d R5 b je nova činjenica; R5 se briše
[ pravilo R4 se u ovom trenutku ignoriše sve dok ima činjenica za razmatranje ]