Zbirka zadataka iz Ekspertskih sistema

Recommendations

Info

4.2. Drugi načini izražavanja neizvesnosti 241 Analiza problema Sistem za održavanje istinitosti (engl. Truth Maintenance System - TMS) predstavlja pomoćni sistem čiji je cilj održavanje konzistentnosti baze znanja za sisteme koji rade u neizvesnom okruženju. U TMS-u svaki stav ili pravilo naziva se čvor. U bilo kom trenutku čvor može biti bilo u stanju IN, kada verujemo u njegovu istinitost, ili OUT u suprotnom slučaju. Istinitost nekog čvora zavisi, u opštem slučaju, od istinitosti drugih čvorova. Zavisnost se izražava listom podrške (engl. support list - SL) oblika: ( SL (IN-lista) (OUT-lista) ). Da bi čvor kome je pridruženo „opravdanje“ tipa SL bio u stanju IN potrebno je da svi čvorovi navedeni u IN-listi budu u stanju IN, a svi čvorovi navedeni u OUT-listi u stanju OUT. Rešenje a) Zadatom skupu pravila odgovaraju sledeći čvorovi u TMS sistemu: 1. Obući farmerke ( SL () (2,3)) 2. Farmerke su prljave ( SL () () ) 3. Idemo na razgovor ( SL () () ) 4. Obući odelo ( SL () (1) ) 5. Obući džemper ( SL (6) () ) 6. Napolju je hladno ( SL (7) () ) 7. Godišnje doba je zima (SL () () ) Čvorovi 2., 3. i 7. imaju prazne IN i OUT liste i predstavljaju premise. Njihova istinitost ne zavisi od drugih čvorova u bazi već od opažanja vezanih za okruženje sistema. Čvorove 5. i 6. sa nepraznom IN listom i praznom OUT listom smatramo za tvrđenja dobijena primenom normalnog monotonog zaključivanja. Čvorove sa nepraznom OUT listom (1., 4.) smatramo verovanjima koja usvajamo u odsustvu poznavanja neke činjenice. Kada se činjenično stanje promeni, potrebno je revidirati ova verovanja i zaključke proizašle iz njih. Prema uslovu zadatka, pretpostavićemo da su inicijalno: • čvorovi 2. i 3. u stanju OUT, a • čvor 7 u stanju IN. Na osnovu toga računamo stanja ostalih čvorova: • čvor 1 je u stanju IN jer su oba čvora iz njegove OUT liste u stanju OUT • čvor 4 je u stanju OUT jer je čvor 1 koji se nalazi u njegovoj OUT listi, u stanju IN • čvor 6 je u stanju IN jer je čvor 7 u stanju IN • čvor 5 je u stanju IN jer je čvor 6 u stanju IN
242 4. Rad u neizvesnom okruženju b) Činjenica da idemo na razgovor radi zaposlenja odgovara prevođenju čvora 3 u stanje IN. Sada je potrebno ažurirati stanja ostalih čvorova koji direktno ili indirektno zavise od čvora 7. • čvor 1 ide u stanje OUT i kao posledica toga • čvor 4 ide u stanje IN. Ovime je postupak ažuriranja znanja završen.
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 183 and 184:
Page 185 and 186:
Page 187 and 188:
Page 189 and 190:
Page 191 and 192:
Page 193 and 194:
Page 195 and 196:
Page 197 and 198:
Page 199 and 200: 190 3. Strategije rešavanja proble
Page 235 and 236: 226 4. Rad u neizvesnom okruženju
Page 249: 240 4. Rad u neizvesnom okruženju
Page 253 and 254: 244 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?