Zbirka zadataka iz Ekspertskih sistema

Recommendations

Info

3.3. Metod sukcesivnih aproksimacija 213 Tabela 11: Definicija razlika zameniti baterije ok(baterije) DA zameniti sijalicu ok(sijalica) DA rastaviti kućište rastaviti vrh sastaviti kućište sastaviti vrh istresti baterije razbiti kućišt e rastavljeno(kućište) DA DA rastavljen(vrh) DA DA sastavljeno(kućište) DA sastavljen(vrh) DA van_kućišta(baterije) DA DA a) Za rešavanje problema koristićemo GPS algoritam 7 iz dodatka 1. 1. Inicijalno je tekuće stanje algoritma jednako početnom stanju S0, a ciljno stanje predstavlja parcijano opisan krajnji cilj pretrage C0. Nivo rekurzije: 1 Tekuće stanje S0: sastavljeno(kućište), sastavljen(vrh), u_kućištu(baterije), pregorela(sijalica), ok(baterije), ispravno(kućište) Ciljno stanje C 0: Razlika: ok(sijalica), sastavljeno(kućište), sastavljen(vrh) ok(sijalica). Tabela razlika diktira upotrebu operatora zameniti_sijalicu. Preduslov za ovaj operator, predikat rastavljen(vrh), nije ispunjen u tekućem stanju. Zato rekurzivno primenjujemo GPS algoritam na stanje S 0 kao tekuće i novo ciljno stanje C 1 opisano samo operatorom rastavljen(vrh). Nivo rekurzije 2: Tekuće stanje S0: sastavljeno(kućište), sastavljen(vrh), u_kućištu(baterije), pregorela(sijalica), ok(baterije), ispravno(kućište) Ciljno stanje C 1: Razlika: rastavljen(vrh) rastavljen(vrh). 2. Drugi rekurzivni nivo GPS algoritma ustanovljava predikat rastavljen(vrh) kao razliku tekućeg i ciljnog stanja. Konsultacijom tabele razlika ustanovljava se da u obzir dolaze dva
214 3. Strategije rešavanja problema operatora: rastaviti_vrh i razbiti_kućište, od kojih prema usvojenim pravilima biramo operator rastaviti_vrh. Preduslov ovog operatora, rastavljeno(kućište) i sastavljen(vrh) nije potpuno zadovoljen u tekućem stanju S 0 pa se od preduslova formira novo ciljno stanje C 2 i poziva treći rekurzivni nivo GPS algoritma. Nivo rekurzije: 3 Tekuće stanje S0: sastavljeno(kućište), sastavljen(vrh), u_kućištu(baterije), pregorela(sijalica), ok(baterije), ispravno(kućište) Ciljno stanje C 2: Razlika: rastavljeno(kućište), sastavljen(vrh) rastavljeno(kućište). 3. Treći nivo ustanovljava razliku stanja S 0 i novog ciljnog stanja C 2; radi se o predikatu rastavljeno(kućište). Prema tabeli razlika bira se operator rastaviti_kućište. Preduslov ovog operatora, predikat sastavljeno(kućište) zadovoljen je u tekućem stanju S 0 pa se primenjuje na ovo stanje. Prema tabeli operatora, iz liste predikata stanja S 0 briše se sastavljeno(kućište) a dodaje se rastavljeno(kućište) čime se dobija novo tekuće stanje S 1. Nivo rekurzije: 3 Tekuće stanje S1: rastavljeno(kućište), sastavljen(vrh), u_kućištu(baterije), pregorela(sijalica), ok(baterije), ispravno(kućište) Ciljno stanje C 2: Razlika: rastavljeno(kućište), sastavljen(vrh) - Treći nivo GPS algoritma ustanovljava da nema razlike između stanja S 1 i njegovog ciljnog stanja C 2 pa sa uspehom završava rad čime se kontrola vraća drugom nivou GPSa. Nivo rekurzije: 2 Tekuće stanje S1: rastavljeno(kućište), sastavljen(vrh), u_kućištu(baterije), pregorela(sijalica), ok(baterije), ispravno(kućište) Ciljno stanje C 1: Razlika: rastavljen(vrh) rastavljen(vrh). 4. Drugi nivo GPS algoritma primenjuje ranije izabrani operator rastaviti_vrh jer su sada njegovi preduslovi zadovoljeni. Dobija se novo tekuće stanje S 2.
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 and 182: 172 3. Strategije rešavanja proble
Page 221: 212 3. Strategije rešavanja proble
Page 235 and 236: 226 4. Rad u neizvesnom okruženju
Page 253 and 254: 244 5. Primeri korišćenja alata P
Page 273 and 274:
264 5. Primeri korišćenja alata P
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?