Zbirka zadataka iz Ekspertskih sistema

Recommendations

Info

3.3. Metod sukcesivnih aproksimacija 217 Nivo rekurzije: 1 Tekuće stanje S 5: sastavljeno(kućište), sastavljen(vrh), u_kućištu(baterije), ok(sijalica), ok(baterije), ispravno(kućište) Ciljno stanje C 0: Razlika: ok(sijalica), sastavljeno(kućište), sastavljen(vrh) - Sada se ustanovljava da nema razlike između tekućeg stanja i krajnjeg ciljnog stanja i prvi nivo algoritma GPS okončava rad. Slika 97 rezimira rad GPS algoritma za zadati problem. Za pojedina stanja S i, osim stanja S 0 navedeni su samo predikati koji ih razlikuju od stanjaprethodnika tokom pretrage, a koji ujedno predstavljaju ciljeve. PRVI NIVO DRUGI NIVO TREÆI NIVO S 0 rastaviti kuæište S 1 zameniti sijalicu S 2 rastaviti vrh rastavljeno(kuæište) zameniti sijalicu rastavljen(vrh) rastaviti vrh Zadatak 89: Problem majmuna i banane Slika 97 S 3 ok(sijalica) sastaviti vrh sastaviti kuæište S 4 planirano sastavljeno(kuæište) realizovano S 5 sastavljen(vrh) sastaviti vrh Majmun stoji kod vrata sobe, na čijoj sredini visi banana okačena o plafon. Uz prozor stoji sanduk. Majmun ne može sam da dohvati bananu, ali može ako stoji na sanduku. Takođe, majmun može da se šeta po sobi, da odgura sanduk ili da se popne na njega. Metodom sukcesivnih aproksimacija odrediti na koji će način majmun doći do banana. Rešenje Stanja problema opisana su vrednostima sledeće četiri promenljive: • sanduk daje informaciju o poziciji sanduka, i može da ima jednu od sledećih vrednosti: kod_prozora, kod_vrata, na_sredini_sobe • majmun_H daje informaciju o poziciji majmuna u horizontalnoj ravni i može da ima isti skup vrednosti kao i promenljiva sanduk • majmun_V daje informaciju o poziciji majmuna po vertikali i može da ima sledeće vrednosti: na_podu, na_sanduku
218 3. Strategije rešavanja problema • ima_bananu je ispunjeno (TRUE) ako majmun poseduje bananu, inače je netačno (FALSE). Operatori promene stanja definisani su tabelom 12. Operatori ŠETATI i POMERITI SANDUK poseduju kao argument promenljivu nova_poz koja označava ciljnu poziciju kretanja majmuna. Razlike između stanja u ovom problemu definišemo kao razlike u vrednostima promenljivih sa istim imenom u tekućem i ciljnom stanju. U tabeli 13 svaka vrsta odgovara određenoj razlici. Ukoliko u vrsti koja odgovara razlici R i koloni obeleženoj operatorom Op stoji DA, znači da se operator Op može koristiti za eliminaciju razlike R. U toku rada algoritma prilikom konsultovanja tabele razlika koristi se konvencija da prioritet razlika opada odozgo nadole a prioritet operatora sleva-nadesno. U trećoj i četvrtoj vrsti tabele, pozicija označava vrednost promenljive majmun_H odnosno sanduk u ciljnom stanju; prilikom izbora nekog od operatora ŠETATI i POMERITI SANDUK, promenljivoj nova_poz dodeljuje se pozicija. Tabela 12: Definicija operatora za problem majmuna i banane Operator Preduslov Akcija POPETI SE NA majmun_H = sanduk majmun_V := na_sanduku SANDUK majmun_V = na_podu ŠETATI(nova_poz) - majmun_H := nova_poz POMERITI SANDUK(nova_poz) majmun_H = sanduk majmun_V = na_podu UZETI_BANANU ima_bananu = FALSE majmun_V = na_sanduku sanduk = na_sredini_sobe Tabela 13: Razlike za problem majmuna i banane ima_bananu=TRUE DA UZETI BANANU majmun_V=na_sanduku DA POPETI SE NA SANDUK majmun_H:= nova_poz sanduk := nova_poz ima_bananu = TRUE ŠETATI POMERITI SANDUK majmun_H = pozicija DA DA sanduk = pozicija DA Pretraga započinje pozivom GPS procedure sa tekućim stanjem inicijalno jednakim početnom stanju S0, a ciljno stanje jednako je parcijalnom opisu C0 konačnog cilja.
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 225: 216 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 277 and 278:
268 5. Primeri korišćenja alata P
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?