Zbirka zadataka iz Ekspertskih sistema

2.2. Produkcioni sistemi 125
5. b R2 R2 se briše; dodaje se R12: if a then goal1
U ovom trenutku zaključivanja produkcioni sistem ima sledeći izgled:
R1: if fact1 then goal1
R12: if a then goal1
R3: if c(x) then goal2(x)
R4: if not(d) then a
R6: if e then b
R7: if not(e) then c(2)
R11: if fact4 then e
Nema više novih činjenica za razmatranje, pa treba razmotriti pravila sa negacijama
predikata. not(d) nije ispunjeno jer je d činjenica, a not(e) je ispunjeno jer e nije činjenica.
Prema tome, not(e) je nova činjenica za razmatranje.
Korak Lista činjenica Pravilo Akcija
6. not(e) R7 R7 se briše; c(2) je nova činjenica
7. c(2) R3 goal2(2) je nova činjenica; R3 se ne briše
8. goal2(2) - nema pravila za razmatranje, niti nerazmotrenih
činjenica, pa je zaključivanje okončano
Zaključivanjem su dobijene sledeće činjenice (prema redosledu dobijanja): d, b, not(e), c(2),
goal2(2). U odnosu na tačku a) dobijena je jedna činjenica više - činjenica b. U zaključivanju
povratnim ulančavanjem razmatra se ispunjenost samo onih predikata koji mogu uticati na
ispunjenost zadatog cilja, dok se kod direktnog ulančavanja izvode svi mogući zaključci na
osnovu zadate baze znanja.
Zadatak 58: Negacije i zaključivanje direktnim i cikličkim hibridnim
ulančavanjem
Posmatrajmo sledeću bazu znanja koja se sastoji od produkcionih pravila i činjenica.
1. if v and t then a
2. if b and u and not(t) then a
3. if n(x) and b then m(x)
4. if c then b
5. if r and s then t
6. if v and r then u
7. r
8. v
9. c
10. n(12)
a) Navesti sve nove činjenice ili pravila izvedena direktnim ulančavanjem prema redosledu
njihovog dobijanja. Pravila sa not ostavljaju se za kraj.