Zbirka zadataka iz Ekspertskih sistema

Recommendations

Info

154 2. Modeli predstavljanja znanja V(c,nula). V(puta(X,Y),nula) :- V(X,nula), V(Y,nula), write(„R1 „). V(plus(X,Y),Z) :- V(X,nula), V(Y,Z), write(„R2 „). V(plus(X,Y),plus(W,Z)) :- V(X,W), V(Y,Z), write(„R3 „). V(puta(X,Y),puta(X,Z)) :- V(X,nula), V(Y,Z), write(„R4 „). V(X,puta(X,W)) :-V(jedan,W), V(X,nula), write(„R5 „). V(X,puta(plus(W,Y),Z)) :- V(X,plus(puta(W,Z), puta(Y,Z))), write(„R6 „). V(podeljeno(X,Y),W) :- V(X,puta(W,Y)), V(Y,nula), write(„R7 „). goal V(podeljeno(puta(b,plus(a,c)),e),b). Program pri izvršavanju ispisuje brojeve pravila koja su zadovoljena. Ta lista brojeva u obrnutom redosledu, predstavlja dokaz tačnosti zadate nejednakosti. U režimu praćenja izvršavanja programa (trace), prati se tok zaključivanja povratnim ulančavanjem za dati problem: 1. Razmatra se ciljni predikat V(podeljeno(puta(b,plus(a,c)),e),b). On se ne uparuje ni sa jednom činjenicom, nego samo sa zaključkom pravila R7 za X = puta(b,plus(a,c)), Y = e i W = b. 2. Razmatra se prvi preduslov pravila R7, predikat V(puta(b,plus(a,c)),puta(b,e)). On se uparuje sa zaključkom pravila R4, za X = b, Y = plus(a,c), Z = e. 3. Razmatra se predikat V(b,nula) iz preduslova pravila R4; ovaj predikat zadovoljen je činjenicom. 4. Razmatra se drugi predikat iz preduslova pravila R4, a to je V(plus(a,c),e). Ovaj predikat se uparuje zaključkom pravila R2 za X = a, Y = c i Z = e. 5. Razmatra se predikat iz preduslova pravila R2, a to je V(a,nula). Ovaj predikat je zadovoljen činjenicom. 6. Razmatra se drugi predikat iz preduslova pravila R2, a to je V(c,e). Ovaj predikat takođe je zadovoljen činjenicom. Prema tome pravilo R2 je zadovoljeno (ispisuje se njegov redni broj), kao i pravilo R4. 7. Razmatra se drugi predikat preduslova pravila R7, a to je V(e,nula). Ovaj predikat je zadovoljen činjenicom pa je i pravilo R7 zadovoljeno što znači da je i krajnji cilj zadovoljen. Program pri izvršavanju ispisuje R2 R4 R7 true, što znači da u dokazivanju tačnosti date nejednakosti treba prvo primeniti pravilo R7, pa R4 pa na kraju R2. Zadatak 68: Efikasnost zaključivanja sa pamćenjem zaključaka Pri zaključivanju povratnim ulančavanjem pamćenje zaključaka ne mora u svakoj situaciji doneti poboljšanje performansi. Ovaj zadatak ima za cilj da utvrdi pod kojim uslovima se isplati primenjivati pamćenje zaključaka.
2.2. Produkcioni sistemi 155 Pretpostavimo da su data pravila koja utvrđuju istinitosnu vrednost predikata a(x) za neku vrednost promenljive x i da je za razmatranje tih pravila potrebno u proseku R vremenskih jedinica. Pretpostavimo da u cilju ubrzavanja zaključivanja pamtimo K vrednosti promenljive x za koju je predikat a(x) tačan. Pri razmatraju upita sa predikatom a, prvo se moraju sekvencijalno ispitati sve zapamćene činjenice sa predikatom a i u slučaju da se nijedna činjenica ne može upariti sa upitom, koristimo pravila za a. a) Neka je P verovatnoća da bilo koja zapamćena činjenica uparuje upit pri čemu su verovatnoće za sve zapamćene činjenice međusobno nezavisne. Pod kojim uslovima se pamćenje isplati? Pretpostaviti da je K
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 and 160: 2.2. Produkcioni sistemi 149 • Za
Page 161 and 162: 2.2. Produkcioni sistemi 151 • Sa
Page 163: 2.2. Produkcioni sistemi 153 zaklju
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 215 and 216:
206 3. Strategije rešavanja proble
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?