Zbirka zadataka iz Ekspertskih sistema

Recommendations

Info

150 2. Modeli predstavljanja znanja R1= 2Ω R4= 1/2 Ω Slika 74 R2 R3 Rešenje a) Pravilo glasi: if SERIJSKI(r1,r2) and STRUJA(r1,x) then STRUJA(r2,x) b) Pravilo glasi: if OTPORNOST(r,x) and STRUJA(r,y) and JEDNAKO(z,PROIZVOD(x,y)) then NAPON(r,z) Funkcija PROIZVOD(x,y) vraća proizvod brojeva x i y (u trenutku izračunavanja, x i y moraju biti vezani za konkretne vrednosti). Za uvedeni predikat JEDNAKO potrebno je u bazu znanja dodati činjenicu JEDNAKO(x,x). c) Deo baze znanja ima sledeći izgled (navedene su samo one činjenice koje su opisane predikatima zadatim u postavci): 1. if SERIJSKI(r1,r2) and STRUJA(r1,x) then STRUJA(r2,x) 2. if OTPORNOST(r,x) and STRUJA(r,y) and JEDNAKO(z,PROIZVOD(x,y)) then NAPON(r,z) 3. OTPORNOST(R1, 2) 4. OTPORNOST(R4, 0.5) 5. SERIJSKI(R1, R4) 6. STRUJA(R1, 2) 7. JEDNAKO(x,x) • Cilj je predstavljen sa NAPON(R4,u). Cilj ne može upariti činjenicom, već samo zaključkom pravila 2, pri čemu je r=R4, z=u. Potrebno je razmotriti preduslove ovoga pravila. • Preduslov OTPORNOST(R4,x) zadovoljen je činjenicom pa se ima da je x = 0.5. Prelazi se na razmatranje drugog preduslova pravila 2. • Predikat STRUJA(R4,y) ne može se upariti činjenicom već samo zaključkom pravila 1 uz vezivanje promenljivih r2 = R4, x=y. Potrebno je razmotriti preduslove pravila 1. • Predikat SERIJSKI(r1,R4) zadovoljen je činjenicom uz vezivanje r1=R1. • Drugi preduslov pravila 1, STRUJA(R1,x) zadovoljen je činjenicom pa je x=2. Prema tome zadovoljeno je pravilo 1 pa važi i njegov zaključak STRUJA(R4,2). Ovo zadovoljava drugi predikat iz pravila 2 za y=2.
2.2. Produkcioni sistemi 151 • Sada se razmatra treći preduslov pravila 2 a to je predikat JEDNAKO(z,PROIZVOD(0.5,2)), odnosno JEDNAKO(z,1). Ovaj predikat zadovoljen je činjenicom pri čemu je z = x = 1. Pošto je potpuno zadovoljen preduslov pravila 2, važi i njegov zaključak NAPON(R4,1). Nužno je da se novi predikat postavi krajnje desno u preduslovu. U trenutku razmatranja ovog predikata pri zaključivanju, promenljive x i y moraju biti vezane za konkretne vrednosti, inače se ne bi mogao izračunati njihov proizvod. Diskusija Redosled predikata u preduslovima pravila 1 i 2 nije proizvoljan. Razmotrimo, na primer, pravilo 1. Ovo pravilo tipično se pri zaključivanju povratnim ulančavanjem aktivira upitom STRUJA(R i,x) (znači tražimo vrednost struje za poznati otpor R i). Ukoliko bi se u preduslovu pravila 1 obrnuo redosled predikata, prvo bi se išlo na zadovoljavanje predikata STRUJA(r1,x) pri čemu su obe promenljive ovoga predikata slobodne. Ukoliko pretpostavimo da u bazi nema činjenica koje mogu da upare ovaj predikat, u razmatranje bi se ponovo uzelo pravilo 1 i njegov preduslov. Time se opet kao tekući cilj pojavljuje predikat STRUJA(r1,x), to jest zaključivanje upada u mrtvu petlju. Zadatak 66: Članovi planinarskog društva Razmotrimo sledeću situaciju: Toša, Mika i Jova članovi su planinarskog društva. Svaki član planinarskog društva koji nije skijaš je planinar. Planinari ne vole kišu, a svako ko ne voli sneg ne voli ni skijanje. Mika ne voli ništa što Toša voli i voli sve što Toša ne voli. Toša voli kišu i sneg. a) Predstaviti ovu situaciju produkcionim sistemom pogodnim za zaključivanje ulančavanjem unazad. b) Kakav je odgovor na pitanje: Da li postoji neki član planinarskog kluba koji je planinar a nije skijaš? Rešenje a) Koristićemo sledeće predikate: • Član(x) važi ako je osoba x član planinarskog društva • Skijaš(x) označava da osoba x skija • Planinar(x) označava da je osoba x planinar • Voli(x,y) označava da osoba x voli y, gde y može biti Kiša ili Sneg. U postavci su navedene sledeće činjenice: Član(Toša) Član(Mika) Član(Jova) Voli(Toša,Kiša) Voli(Toša,Sneg) Postavkom su definisana sledeća pravila:
Page 1:
Dragan Bojić, Dušan Velašević,
Page 4 and 5:
Zadatak 23: Projektovanje štampano
Page 6 and 7:
vi Zadatak 82: Hanojske kule.......
Page 8 and 9:
viii
Page 10:
forme, skolemizacije, unifikacije,
Page 13 and 14:
2 1. Pretraživanje Tabela 1 redni
Page 15 and 16:
4 1. Pretraživanje Zadatak 3: Misi
Page 17 and 18:
6 1. Pretraživanje Graf pretrage k
Page 19 and 20:
8 1. Pretraživanje Čvorovi stabla
Page 21 and 22:
10 1. Pretraživanje c) Naći reše
Page 23 and 24:
12 1. Pretraživanje Zadatak 7: Tri
Page 25 and 26:
14 1. Pretraživanje Metod A* kao f
Page 27 and 28:
16 1. Pretraživanje - ako broj i n
Page 29 and 30:
18 1. Pretraživanje ciljnoj pozici
Page 31 and 32:
20 1. Pretraživanje 5 7 6 c e 4 3
Page 33 and 34:
22 1. Pretraživanje U ovom slučaj
Page 35 and 36:
24 1. Pretraživanje 4 C 3 B D E F
Page 37 and 38:
26 1. Pretraživanje S-A-D-E-F-G Ov
Page 39 and 40:
28 1. Pretraživanje najkraće vrem
Page 41 and 42:
30 1. Pretraživanje - terminal A,
Page 43 and 44:
32 1. Pretraživanje A B CDE • AC
Page 45 and 46:
34 1. Pretraživanje CBCPB CCBBP CC
Page 47 and 48:
36 1. Pretraživanje ili je ostavit
Page 49 and 50:
38 1. Pretraživanje Diskusija U ko
Page 51 and 52:
40 1. Pretraživanje h2(Y) = dužin
Page 53 and 54:
42 1. Pretraživanje razmatra samo
Page 55 and 56:
44 1. Pretraživanje rešenje probl
Page 57 and 58:
46 1. Pretraživanje obzirom da se
Page 59 and 60:
48 1. Pretraživanje slici 52b. U g
Page 61 and 62:
50 1. Pretraživanje Listovi stabla
Page 63 and 64:
52 1. Pretraživanje x x x 10 x 9 x
Page 65 and 66:
54 1. Pretraživanje Zadatak 22: He
Page 67 and 68:
56 1. Pretraživanje y 4 3 2 1 1 2
Page 69 and 70:
58 1. Pretraživanje Zadatak 25: Si
Page 71 and 72:
60 1. Pretraživanje 1.3. Primeri n
Page 73 and 74:
62 1. Pretraživanje Funkcije sort,
Page 75 and 76:
64 1. Pretraživanje Pre svake eksp
Page 77 and 78:
66 1. Pretraživanje Nastavak pretr
Page 79 and 80:
68 1. Pretraživanje (define (short
Page 81 and 82:
70 1. Pretraživanje RED ((D C A) (
Page 83 and 84:
72 1. Pretraživanje Algoritam pret
Page 85 and 86:
74 1. Pretraživanje potrebno pamti
Page 87 and 88:
76 1. Pretraživanje promeni_stanje
Page 89 and 90:
78 1. Pretraživanje Zadatak 31: Ha
Page 91 and 92:
80 1. Pretraživanje pomeri(N,S1,S2
Page 93 and 94:
82 1. Pretraživanje Sledi primer i
Page 95 and 96:
2 Modeli predstavljanja 2.1. Formal
Page 97 and 98:
2.1. Formalna logika 87 2. ¬∃x [
Page 99 and 100:
2.1. Formalna logika 89 Zadatak 38:
Page 101 and 102:
2.1. Formalna logika 91 Egzistencij
Page 103 and 104:
2.1. Formalna logika 93 ∨ HRANA(x
Page 105 and 106:
2.1. Formalna logika 95 Dobijeni st
Page 107 and 108:
2.1. Formalna logika 97 Dokazaćemo
Page 109 and 110: 2.1. Formalna logika 99 2., 20. w=B
Page 111 and 112: 2.1. Formalna logika 101 1., 5. ⎯
Page 113 and 114: 2.1. Formalna logika 103 Diskusija
Page 115 and 116: 2.1. Formalna logika 105 P, f(x,x),
Page 117 and 118: 2.1. Formalna logika 107 1. ¬P ∨
Page 119 and 120: 2.1. Formalna logika 109 • Kvanti
Page 121 and 122: 2.2. Produkcioni sistemi 111 U anal
Page 123 and 124: 2.2. Produkcioni sistemi 113 Lista
Page 125 and 126: 2.2. Produkcioni sistemi 115 f(5) g
Page 127 and 128: 2.2. Produkcioni sistemi 117 tekuć
Page 129 and 130: 2.2. Produkcioni sistemi 119 Pošto
Page 131 and 132: 2.2. Produkcioni sistemi 121 f(5) g
Page 133 and 134: 2.2. Produkcioni sistemi 123 pravil
Page 135 and 136: 2.2. Produkcioni sistemi 125 5. b R
Page 137 and 138: 2.2. Produkcioni sistemi 127 Produk
Page 139 and 140: 2.2. Produkcioni sistemi 129 2. Pra
Page 141 and 142: 2.2. Produkcioni sistemi 131 R6: if
Page 143 and 144: 2.2. Produkcioni sistemi 133 5. Nas
Page 145 and 146: 2.2. Produkcioni sistemi 135 P6: AK
Page 147 and 148: 2.2. Produkcioni sistemi 137 • gl
Page 149 and 150: 2.2. Produkcioni sistemi 139 R11: I
Page 151 and 152: 2.2. Produkcioni sistemi 141 8. Či
Page 153 and 154: 2.2. Produkcioni sistemi 143 v = ¬
Page 155 and 156: 2.2. Produkcioni sistemi 145 not P
Page 157 and 158: 2.2. Produkcioni sistemi 147 n(3) n
Page 159: 2.2. Produkcioni sistemi 149 • Za
Page 163 and 164: 2.2. Produkcioni sistemi 153 zaklju
Page 165 and 166: 2.2. Produkcioni sistemi 155 Pretpo
Page 167 and 168: 2.3. Semantičke mreže 157 AKO ATL
Page 169 and 170: 2.3. Semantičke mreže 159 Rešenj
Page 171 and 172: 2.3. Semantičke mreže 161 razmatr
Page 173 and 174: 2.4. Okviri 163 Nasleđivanje osobi
Page 175 and 176: 2.4. Okviri 165 Okvir: Eksperiment
Page 177 and 178: 2.4. Okviri 167 pregratka nekog od
Page 179 and 180: 2.4. Okviri 169 Nezavisno od nasle
Page 181 and 182: 172 3. Strategije rešavanja proble
Page 211 and 212:
202 3. Strategije rešavanja proble
Page 213 and 214:
Page 215 and 216:
Page 217 and 218:
Page 219 and 220:
Page 221 and 222:
Page 223 and 224:
Page 225 and 226:
Page 227 and 228:
Page 229 and 230:
Page 231 and 232:
Page 233 and 234:
Page 235 and 236:
226 4. Rad u neizvesnom okruženju
Page 237 and 238:
Page 239 and 240:
Page 241 and 242:
Page 243 and 244:
Page 245 and 246:
Page 247 and 248:
Page 249 and 250:
Page 251 and 252:
Page 253 and 254:
244 5. Primeri korišćenja alata P
Page 255 and 256:
Page 257 and 258:
Page 259 and 260:
Page 261 and 262:
Page 263 and 264:
Page 265 and 266:
Page 267 and 268:
Page 269 and 270:
Page 271 and 272:
Page 273 and 274:
Page 275 and 276:
Page 277 and 278:
Page 279 and 280:
270 Dodatak 1 2.1. Ako je prvi elem
Page 281 and 282:
272 Dodatak 1 3. Ako se dostigne ci
Page 283 and 284:
274 Dodatak 1 došlo do vezivanja p
Page 285 and 286:
276 Dodatak 1 3.3. Obeležiti prome
Page 287 and 288:
278 Dodatak 2 ROOT FRAME ROOT-PARMS
Page 289 and 290:
280 Dodatak 2 Pored nabrojanih, kor
Page 291 and 292:
282 Dodatak 2 Ukoliko su svi parame
Page 293 and 294:
284 Dodatak 2 Komunikacija programa
Page 295 and 296:
286 Dodatak 2 • COLOUR IS THOUGHT
Page 297 and 298:
288 Dodatak 2 • -RULES - grupa pr
show all

Zbirka zadataka iz Ekspertskih sistema

Create successful ePaper yourself

Delete template?

Save as template?