Zbirka zadataka iz Ekspertskih sistema

Recommendations

Info

Rad sa programom Personal Consultant Plus 281 PC Plus razlikuje sledeće vrste pravila: • uzročna (imaju osobinu ANTECENDENT) koja se koriste pri zaključivanju putem direktnog ulančavanja. • posledična (nemaju osobinu ANTECENDENT) koriste se pri zaključivanju putem povratnog ulančavanja. • samo-referentna; kod ovakvih pravila u IF delu se kao preduslov pojavljuje neki od parametara a u THEN delu se tom istom parametru dodeljuje nova vrednost. Ova pravila mogu biti i uzročna i posledična; sistem ih označava sa SREFMARK ispred broja pravila. • meta pravila. Za razliku od ‘običnih’ takozvanih objektnih pravila, meta-pravila se upotrebljavaju da usmere proces zaključivanja tako što menjaju redosled upotrebe objektnih pravila u procesu zaključivanja. Meta-pravila se ne obrađuju u ovom uputstvu. Svako pravilo poseduje osobinu INVALID koji sistem interno ažurira. Ona se postavlja na vrednost TRUE ako je uneto pravilo sintaksno neispravno i automatski se ažurira kada se pravilo izmeni. Neke osobine pravila objašnjavaju se u sledećem poglavlju. 3. Mašina za zaključivanje programa PC Plus 3.1. Zaključivanje sa posledičnim pravilima Posledična pravila koriste se kod zaključivanja sa povratnim ulančavanjem, od zaključaka ka pretpostavkama. Mašina za zaključivanje programa PC Plus (u daljem tekstu sistem) počinje rad pravljenjem primerka korenog okvira. Pri tome se od korisnika zahteva da unese početne vrednosti za sve parametre koji su u korenom okviru navedeni u listi INITIALDATA. Sistem zatim pokušava da odredi vrednosti ciljnih parametara onim redom kako se oni pojavljuju u listi GOALS. U tu svrhu se određuje skup pravila koja u svome THEN delu mogu dodeliti vrednost tom parametru (okinuta pravila). Ovaj skup sistem smešta u parametarsku osobinu UPDATED-BY. Sistem dalje bira jedno od ovih pravila za primenu (za izvršenje). Pravila se biraju prema po sledećim principima: • ukoliko se ne koristi osobina UTILITY niti meta-pravila, biće izabrano pravilo sa najmanjim rednim brojem. • ‘upotrebljvost’ pravila (osobina UTILITY) može da odredi fiksan prioritet pravilu. Inicijalno sva pravila imaju UTILITY = 0. Za primenu se bira pravilo sa najvećom (nenegativnom) vrednošću ove osobine. Ukoliko je za neko pravilo vrednost osobine UTILITY negativan broj, ono neće ni biti razmatrano za primenu. • redosled primene pravila može se promeniti korišćenjem meta-pravila. Za izabrano pravilo sistem proverava da li je zadovoljen preduslov primene (osobina IF). Ovo ispitivanje se može obaviti jedino ako su u potpunosti utvrđene vrednosti svih parametara koji sačinjavaju preduslov. Ukoliko neki parametar nije poznat, mora se utvrditi njegova vrednost što podrazumeva izbor novog pravila iz skupa UPDATED-BY nepoznatog parametra, itd. Time se efektivno vrši pretraga unazad kroz logičko stablo koje povezuje opažanja to jest, inicijalne podatke (INITIALDATA osobina okvira), preko pravila, sa ciljevima to jest, traženim zaključcima.
282 Dodatak 2 Ukoliko su svi parametri u preduslovu primene izabranog pravila poznati i preduslov primene zadovoljen, sistem preduzima akcije iz THEN dela pravila to jest, izvršava pravilo. Svako pravilo može biti primenjeno najviše jednom u okviru jednog primerka okvira. Ukoliko preduslov primene pravila nije zadovoljen, pravilo se ne primenjuje, već sistem bira neko drugo pravilo da bi zadovoljio trenutni cilj. Proces se nastavlja sve dok svi se svi ciljevi ne zadovolje, ili sistem utvrdi da neki cilj nije moguće zadovoljiti, to jest, odrediti vrednost nekog parametra. Tada se tekući okvir napušta; ako je u pitanju koreni okvir, sistem okončava zaključivanje. Pri traženju vrednosti parametra, tretman parametra sa jednom vrednošću (SINGLEVALUED i YES/NO) je takav da sistem prekida razmatranje pravila iz njegove UPDATED-BY liste čim pronađe jednu od mogućih vrednosti. Za parametre sa više vrednosti (MUTIVALUED i ASKALL) sistem uvek razmatra sva pravila iz njihovih UPDATED-BY lista. Ako sistem razmotri sva pravila i ne nađe vrednost određenog parametra, zahtevaće ovu vrednost od korisnika ako parametar ima PROMPT osobinu definisanu. Ukoliko neki parametar ima definisanu ASKFIRST osobinu, sistem će konsultovati korisnika za vrednost pre primene bilo kog pravila iz njegove UPDATED-BY liste Ukoliko se pri zaključivanju pojavi potreba da se utvrdi vrednost parametra za koji postoji pravilo u nekom drugom okviru, sistem pita korisnika (pitanje je definisano osobinom PROMPT1ST za prvi primerak novog okvira, ili PROMPT2ND za sve ostale) da li da napravi primerak novog okvira. Ukoliko PROMPT1ST ili PROMPT2ND nisu definisani, sistem automatski pravi primerak novog okvira (pri tome ispisuje tekst iz osobine PROMPTEVER). Iz novog okvira sistem izlazi kada zadovolji sve ciljeve definisane u tom okviru. 3.2. Zaključivanje sa uzročnim pravilima Sistem koristi uzročna pravila (kod kojih osobina ANTECENDENT ima vrednost YES) pri zaključivanju direktnim ulančavanjem. Sistem proverava uzročno pravilo kada god izračuna vrednost nekog od parametara iz IF dela toga pravila. Ukoliko su svi parametri IF dela poznati i zadovoljen je preduslov IF dela, izvršavaju se akcije THEN dela. Ukoliko uslov nije zadovoljen, ili svi parametri nisu poznati, akcije se ne izvršavaju. Jednom izvršeno pravilo nikad se ponovo ne izvršava u istom primerku toga okvira. Ako neki parametar u IF delu uzročnog pravila nije poznat, sistem nikad ne pokušava da nađe njegovu vrednost dok tu vrednost ne ustanovi neko drugo (na primer posledično) pravilo. PC Plus se u radu pretežno oslanja na posledična pravila i povratno ulančavanje. Upotreba uzročnih pravila se preporučuje u sledećim slučajevima: • Vrednost jednog parametra uslovljena je vrednošću nekog drugog parametra. U ovom slučaju, vrednost prvog parametra može se odrediti uzročnim pravilom da bi se izbeglo da sistem korisniku postavi suvišno pitanje • Pravila koja u THEN delu ne menjaju niti jedan parametar, već samo, na primer, daju neku informaciju korisniku. 4. Faktori izvesnosti Za zaključivanje u neizvesnom okruženju, kada korisnik ne može sa potpunom izvesnošću pružiti odgovore na postavljena pitanja, ili kada se iz pretpostavki ne mogu izvući definitivni zaključci, koriste se faktori izvesnosti (engl. Certainty factors, skraćeno CF). Faktori
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:
Page 201 and 202:
Page 203 and 204:
Page 205 and 206:
Page 207 and 208:
Page 209 and 210:
Page 211 and 212:
Page 213 and 214:
Page 215 and 216:
Page 217 and 218:
Page 219 and 220:
Page 221 and 222:
Page 223 and 224:
Page 225 and 226:
Page 227 and 228:
Page 229 and 230:
Page 231 and 232:
Page 233 and 234:
Page 235 and 236:
226 4. Rad u neizvesnom okruženju
Page 237 and 238:
228 4. Rad u neizvesnom okruženju
Page 239 and 240: 230 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: 280 Dodatak 2 Pored nabrojanih, kor
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?