Zbirka zadataka iz Ekspertskih sistema

Recommendations

Info

3.2. Metod zadovoljenja ograničenja 205 O ∈ {0} N ∈ {6} O1: D + 5 = Y + 10C1 E ∈ {5} O2: 14 + C1 = 15 R ∈ {8} O3: 6 = 6 D ∈ {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} O4: 10 = 10 Y ∈ {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} C100 ∈ {0} O5: 1, 9, 0, 6, 5, 8, D, Y su svi C10 ∈ {1} međusobno različiti C1 ∈ {0, 1} • Biramo C1 za razmatranje. Prema O2, imamo da je C1 jednako 1. Obeležavamo C1 neaktivnim. Aktivne: D Y M ∈ {1} Neaktivne: E M O C100 S N C10 R C1 S ∈ {9} Ograničenja: O ∈ {0} N ∈ {6} O1: D + 5 = Y + 10 E ∈ {5} O2: 15 = 15 R ∈ {8} O3: 6 = 6 D ∈ {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} O4: 10 = 10 Y ∈ {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} C100 ∈ {0} O5: 1, 9, 0, 6, 5, 8, D, Y su svi C10 ∈ {1} međusobno različiti C1 ∈ {1} • Biramo D za razmatranje. Prema O1, važi da je D = Y + 5 pa sledi da je D veće od 4. Od svih vrednosti za D ograničenje O5 dozvoljava samo D = 7. Obeležavamo D neaktivnim. Aktivne: Y D M ∈ {1} Neaktivne: E M O C100 S N C10 R C1 S ∈ {9} Ograničenja: O ∈ {0} N ∈ {6} O1: 7 + 5 = Y + 10 E ∈ {5} O2: 15 = 15 R ∈ {8} O3: 6 = 6 D ∈ {7} O4: 10 = 10
206 3. Strategije rešavanja problema Y ∈ {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} C100 ∈ {0} O5: 1, 9, 0, 6, 5, 8, 7, Y su svi C10 ∈ {1} međusobno različiti C1 ∈ {1} • Biramo Y za razmatranje. Prema O1 sledi da je Y = 2, što ne protivreči ograničenju O5. Označavamo Y neaktivnim. Algoritam završava rad jer nema više aktivnih promenljivih. Pošto su sve cifre određene, a u skupu ograničenja nije se pojavila protivrečnost, konačno rešenje je pronađeno: 9567 + 1085 10652 Diskusija Čitaocu se preporučuje da problem pokuša rešiti primenom algoritma proste relaksacije bez korišćenja ulsova E = 5 iz postavke. Konačno rešenje neće moći biti nađeno, jer algoritam proste relaksacije razmatra svako od ograničenja zasebno, zanemarujući pri tom vezivanja promenljivih nastala pri prethodnim ograničenjima. 3.3. Metod sukcesivnih aproksimacija Zadatak 87: Putovanje u Tivat Tetka Marija koja živi u Tivtu pozvala je sestrića Nenada, studenta računarske tehnike iz Beograda da provede nekoliko dana na moru. Postoji niz različitih načina za putovanje tako da je Nenad odlučio da uz pomoć GPS (General problem solver - opšti rešavač problema) algoritma izabere odgovarajući prevoz u svakoj tački svog putovanja prema sledećim pravilima: - ako je put duži od 250 km, putovati avionom ili vozom. - ako je put duži od 50 km i kraći od 250 km, putovati vozom ili kolima. - ako je put duži od 1 km, a kraći od 50 km, putovati kolima ili uzeti taksi. - ako je put kraći od 1 km, ići pešice. Preduslov za putovanje avionom je da se bude na aerodromu, za putovanje vozom da se bude na železničkoj stanici, a da se putuje kolima je da se poseduju kola. Odrediti na koji će način Nenad, koji u Beogradu ima svoja kola, doputovati tetki Mariji. Analiza problema Algoritam GPS naveden je u dodatku 1 (algoritam 7). GPS rešava probleme primenom strategije sukcesivnih aproksimacija (engl. means-ends analysis) koja se može opisati na sledeći način: na početku se identifikuju početno, ciljno stanje, i uvodi kriterijum za ocenu razlike između tekućeg i ciljnog stanja. Takođe se definišu operatori prevođenja u nova stanja i uslovi primene istih. U tekućem stanju S, na osnovu razlike tekućeg i ciljnog stanja za
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 213: 204 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 265 and 266:
256 5. Primeri korišćenja alata P
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?