Zbirka zadataka iz Ekspertskih sistema

2.2. Produkcioni sistemi 149
• Za vrednosti y=1 i y=2 ponavlja se neispunjenje g(x,y,z) i vraćanje na n(z) za vrednosti
z od 1 do 5 (još 10 vraćanja sa g(x,y,z) na n(z) i 2 vraćanja sa n(z) na n(y)).
• Za y=3 ponavlja se vraćanje sa g(x,y,z) na n(z) za vrednosti z od 1 do 4 (još 4 vraćanja)
• Za z=5 uspeva kompletan upit.
Ukupno je bilo 39 vraćanja što je znatno manje od verzije sa hronološkim vraćanjem, ali i
znatno više nego u slučaju optimalno uređenog upita.
d) Algoritam relaksacije naveden je u dodatku 1 (algoritam 14). Inicijalno, promenljive x, y i
z su aktivne i imaju sledeće moguće vrednosti:
x, y, z ∈ { 1, 2, 3, 4, 5}
• Razmatramo prvo promenljivu x i stavove upita koji sadrže x. Za x=1 ne postoji
vrednost y tako da bude zadovoljen stav x>y, znači 1 se briše iz skupa mogućih
vrednosti x. Stav not f(x,x) nije zadovoljen za x=2 pa se i ova vrednost uklanja iz skupa.
Vrednost 5 se takođe uklanja jer se g(5,y,z) ne može zadovoljiti. Ostaju samo vrednost
x=3 ili x=4. Promenljivu x proglašavamo neaktivnom. Napomena: ni vrednost x=3 nije
moguća jer tada iz g(3,y,z) sledi y=3 a to ne zadovoljava stav x > y. Međutim, ovo
razmatranje uključuje povezivanje vrednosti promenljivih iz dva različita stava, tako da
se algoritmom proste relaksacije to ne može utvrditi, jer ovaj algoritam razmatra svaki
stav nezavisno od drugih stavova.
• Razmatramo promenljivu y. Stav g(x,y,z) zadovoljen je samo za y=3. Promenljivu y
proglašavamo neaktivnom, a promenljivu x ponovo aktiviramo jer se pominje u
ograničenjima za y a nije joj utvrđena konačna vrednost.
• Ponovo razmatramo promenljivu x. Pošto je y=3, mora biti x=4 da bi važilo x > y.
Promenljivu x proglašavamo neaktivnom.
• Razmatramo promenljivu z. Mora biti z=5 da bi važilo g(4,3,z). Promenljivu z
proglašavamo neaktivnom.
Prema tome, u skupu mogućih vrednosti za svaku od promenljivih ostala je samo po jedna
vrednost čime je problem rešen: x=4, y=3, z=5.
Zadatak 65: Problem električnog kola
Posmatrajmo električno kolo prikazano na slici 74. Činjenicu da su otpornici R1 i R4 serijski
vezani možemo predstaviti predikatom SERIJSKI(R1,R4); činjenicu da je struja kroz otpronik
R1 2A zadajemo predikatom STRUJA(R1,2) a da R1 ima 2Ω predikatom
OTPORNOST(R1,2), i tako dalje.
a) Napisati pravilo koje izražava činjenicu da, ako struja I teče kroz otpor R, tada ista struja
teče i kroz otpor serijski vezan sa R.
b) Napisati pravilo koje izražava činjenicu da je pad napona na otporniku jednak proizvodu
struje kroz otpornik i njegove otpornosti.
c) Ispratiti put do postizanja sledećeg cilja: određivanje pada napona na otporniku R4, ako
se primenjuje povratno ulančavanje. Pretpostaviti da je prethodno utvrđena činjenica da
je struja kroz R1 jednaka 2A.