Osnovi programiranja i programski jezici
Osnovi programiranja i programski jezici
Osnovi programiranja i programski jezici
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
" x ima perje ",<br />
" x ima y "<br />
Predikatske termine sačinjavaju predikatske konstante i predikatske promenljive.<br />
F(x) znači " individua x ima svojstvo F ",<br />
F(x,y) znači " x je u odnosu sa y "<br />
Iskazna funkcija je rečenica koja postaje iskaz kada se individualne promenljive<br />
zamene individualnim konstantama. Ona je logička formula, koja sadrži promenljive<br />
izvan oblasti dejstva kvantifikatora (izvan zagrada koje slede odmah iza<br />
kvantifikatora), tj. slobodne promenljive.<br />
Naučno znanje se stiče, povezuje u celinu, dokazuje, proverava i razvija<br />
zaključivanjem. Iskazi se mogu prihvatiti kao rečenice kojima se izražava znanje, ako<br />
se zasnivaju na adekvatnom i značajnom svedočanstvu koje se takođe navodi u vidu<br />
iskaza. Zaključivanje je uspostavljanje takvog odnosa medju iskazima posredstvom<br />
kojeg se na osnovu poznate istinitosne vrednosti nekog iskaza procenjuje istinitosna<br />
vrednost nekog drugog iskaza. Zaključivanje se može shvatiti i kao proces izvodjenja<br />
jednog iskaza ili suda iz drugih iskaza.<br />
Za obradu podataka iskazni račun je dovoljan, ali okruženje ekspertnih sistema zahteva<br />
znatno širi skup logičkih alata. Ne može se zadovoljiti samo istinitosnim vrednostima<br />
određenih tvrđenja koja su uključena u bazu znanja, već je potrebno iskazati i utvrditi<br />
prisustvo relacija izmedju objekata u bazi znanja.<br />
U gornjem primeru može se uvesti predikat "ima" u oznaci I, kanarinac označiti sa k,<br />
a perje sa p. Gornji iskaz u formi simboličke predikatske logike je I(k,p). Tvrdnja "x<br />
je kanarinac" se po analogiji sa prethodnim primerom može predstaviti kao K(x), gde<br />
je K unaran predikat, sa semantikom "je kanarinac".<br />
Okruženje ekspertnih sistema zahteva razvoj proširenog skupa pravila zaključivanja<br />
koji će omogućiti izvođenje zaključaka iz izraza predstavljenih simboličkom<br />
predikatskom logikom.<br />
POMOĆNE TEHNIKE PREDSTAVLJANJA ZNANJA<br />
Ovi načini predstavljanja znanja se upotrebljavaju kao dodatni, pomoćni alati kada je<br />
baza znanja suviše \ kompleksna, ili se posmatrani domen sastoji iz mnoštva<br />
informacija kojima se služimo na različite načine u postupku dolaženja do rešenja.<br />
Tabele odlučivanja mogu da posluže kao ulaz za semantičke mreže ili kao ulaz za<br />
stabla odlučivanja pomoću kojih će se formulisati produkciona pravila.<br />
Tabele odlučivanja. Pomoću njih se na efikasan način može obuhvatiti i sortirati veliki<br />
obim podataka i opisati znanje, zbog toga što pregledno prikazuju mnogobrojne<br />
kombinacije opcija i karakteristika posmatranog sistema.<br />
113