Zbirka zadataka iz Ekspertskih sistema

Recommendations

Info

3.1. Planiranje 173 • operator UZMI_SA_STOLA(x): PREDUSLOV: RukaPrazna ∧ NaVrhu(x) ∧ NaStolu(x) UKLONI: RukaPrazna; NaVrhu(x); NaStolu(x) DODAJ: URuci(x) • operator SPUSTI_NA_STO(y): PREDUSLOV: URuci(y) UKLONI: URuci(y) DODAJ: RukaPrazna; NaVrhu(y); NaStolu(y) • operator SKINI_SA_BLOKA(u,z): PREDUSLOV: RukaPrazna ∧ NaVrhu(u) ∧ Na(u,z) UKLONI: RukaPrazna; NaVrhu(u); Na(u,z) DODAJ: URuci(u); NaVrhu(z) • operator STAVI_NA_BLOK(v,w): PREDUSLOV: URuci(v) ∧ NaVrhu(w) UKLONI: URuci(v); NaVrhu(w) DODAJ: RukaPrazna; NaVrhu(v); Na(v,w) STRIPS algoritam nalaže da se tekuće stanje problema inicijalizuje formalnim opisom početnog stanja i da se na ciljni stek stavi kako složeni cilj (jednak formalnom opisu ciljnog stanja) tako i svaka od komponentata složenog cilja pojedinačno. Posle ove inicijalizacije izgled struktura podataka je sledeći: TEKUĆE STANJE: Na(B,A) NaVrhu(B) NaStolu(A) NaVrhu(C) NaStolu(C) NaVrhu(D) NaStolu(D) RukaPrazna B A C D CILJNI STEK (raste naniže): Na(C,A)∧NaVrhu(C)∧NaStolu(A)∧Na(B,D) ∧ NaVrhu(B) ∧ NaStolu(D) ∧ RukaPrazna Na(C,A) NaVrhu(C) NaStolu(A) Na(B,D) NaVrhu(B) NaStolu(D) RukaPrazna LISTA AKCIJA: -
174 3. Strategije rešavanja problema Grafički prikaz tekućeg stanja nije deo algoritma već je dat radi lakšeg praćenja promena tekućeg stanja. Prva tri stava sa vrha steka RukaPrazna, NaStolu(D) i NaVrhu(B) su već zadovoljena u tekućem stanju, pa se uklanjaju sa steka. Na vrhu steka ostaje stav Na(B,D) koji trenutno ne važi. Algoritam nalaže izbor operatora koji u svom DODAJ delu ima navedeni stav, a to je jedino operator STAVI_NA_BLOK(v,w), pri čemu je izvršena unifikacija v ⇔ B, w ⇔ D. Zatim se na stek stavljaju sam operator, njegov preduslov i svaka komponenta preduslova posebno, posle čega je izgled steka: CILJNI STEK (raste naniže): Na(C,A)∧NaVrhu(C)∧NaStolu(A)∧Na(B,D) ∧ NaVrhu(B) ∧ NaStolu(D) ∧ RukaPrazna Na(C,A) NaVrhu(C) NaStolu(A) Na(B,D) STAVI_NA_BLOK(B,D) URuci(B) ∧ NaVrhu(D) URuci(B) NaVrhu(D) Vršni stav je zadovoljen u tekućem stanju dok stav URuci(B) nije zadovoljen. Ponovo, dakle, treba pronaći operator koji ima ovakav stav u svom DODAJ delu. U ovom slučaju postoje dva operatora UZMI_SA_STOLA i SKINI_SA_BLOKA pa treba izvršiti izbor jednog od njih. STRIPS algoritam ne propisuje kako se vrši izbor, već se koristi poseban algoritam vezan za konkretan problem. U našem slučaju, pošto se blok B u tekućem stanju nalazi na bloku A pogodniji je operator SKINI_SA_BLOKA(u,z) uz unifikacije promenljivih u ⇔ B, z ⇔ A, pa se na stek stavlja operator, njegov preduslov i svaki stav preduslova: CILJNI STEK (raste naniže): Na(C,A)∧NaVrhu(C)∧NaStolu(A)∧Na(B,D) ∧ NaVrhu(B) ∧ NaStolu(D) ∧ RukaPrazna Na(C,A) NaVrhu(C) NaStolu(A) Na(B,D) STAVI_NA_BLOK(B,D) URuci(B) ∧ NaVrhu(D) URuci(B) SKINI_SA_BLOKA(B,A) RukaPrazna ∧ NaVrhu(B) ∧ Na(B,A) RukaPrazna NaVrhu(B) Na(B,A)
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 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: 172 3. Strategije rešavanja proble
Page 185 and 186: 176 3. Strategije rešavanja proble
Page 233 and 234:
224 3. Strategije rešavanja proble
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

You also want an ePaper? Increase the reach of your titles

Delete template?

Save as template?