hrvatski

Logički programski jezici za izgradnju sustava za integriranje heterogenih izvora znanja

Tema doktorske disertacije obuhvatila je teorijski i dijelom praktiči razvoj klase logičkih programskih jezika za integriranje heterogenih, tj. strukturno raznorodnih, izvora znanja. Riječ "znanje" u kontekstu disertacije pokriva i podatke kako ih shvaća teorija relacijskih baza podataka, ali i sve druge vrste strukturiranih, polustrukturiranih i nestrukturiranih podataka. Ideja je bila u tome da se kao tzv. bazni jezik uzme logički programski jezik drugog reda, imenom HiLog, razvijen u okviru sustava XSB Prolog i karakteriziran sintaksom višeg reda i semantikom prvog reda, te da se njegova sintaksa adekvatno proširi, a semantika utemelji. U sklopu toga učinjeno je sljedeće: - razvijen je opći rezolucijski postupak za HiLog kao logički formalizam, a ne samo programski jezik - uveden je pojam Hebrandove semantičke strukture koja se prirodno izvodi iz definicije semantičke strukture HiLoga - pokazano je da se za potrebe unifikacije u HiLogu može koristiti izvorni (klasični) algoritam unifikacije iz domene računa predikata prvog reda - razvijen je logički programski jezik anotirani HiLog kao anotirani jezik nad intenzijskim jezikom sa sintaksom višeg reda i proučena njegova deklarativna semantika (metodom fiksnih točaka modela), te uveden pojam anotacijske sheme, značajan za izvedbu anotiranog HiLoga u čistom HiLogu. - razvijen je logički programski jezik amalgamirani anotirani HiLog, kao jezik koji je pogodan za integraciju heterogenih izvora znanja. - po analogiji s rezultatima koji su u literaturi dobiveni za amalgamirani anotirani predikatni račun, tzv. pet amalgamacijskih teorema, dokazani su odgovarajući rezultati za HiLog. Nova ideja je da se amalgamacije promatraju kao anotacije, što je rezultiralo konkretnim postupkom ulaganja amalgamiranog anotiranog HiLoga u anotirani HiLog, odnosno šestim amalgamacijskim teoremom. Njime je osigurana korektnost ulaganja amalgamiranog anotiranog HiLoga u anotirani HiLog. Drugim riječima, pokazano je se da se amalgamirani anotirani HiLog može izvesti u anotiranom HiLogu, odnosno, s obzirom na već ranije provedeno uranjanje anotiranog u čisti HiLog, da se i anotirani amalgamirani Hilog može izvesti kao interno proširenje čistog HiLoga. - na globalnom dokazano je da su predmnijevana proširenja jezika HiLog sredstvima za rukovanje heterogenim izvorima znanja ostvariva, i to unutar samog HiLoga. - utemeljena je primjenjivost razvijenih logičkih programskih jezika na strukturiranje poslovnih pravila

heterogeni izvori znanja; F-logika; HiLog

nije evidentirano