crta
Hrvatska znanstvena Sekcija img
bibliografija
3 gif
 Naslovna
 O projektu
 FAQ
 Kontakt
4 gif
Pregledavanje radova
Jednostavno pretraživanje
Napredno pretraživanje
Skupni podaci
Upis novih radova
Upute
Ispravci prijavljenih radova
Ostale bibliografije
Slični projekti
 Bibliografske baze podataka

Pregled bibliografske jedinice broj: 137247

Disertacija

Autor: Lovrenčić, Alen
Naslov: Logički programski jezici za izgradnju sustava za integriranje heterogenih izvora znanja
( Logic programming languages for development of systems for integration of heterogenous knowledge sources )
Vrsta: doktorska disertacija
Fakultet: Fakultet organizacije i informatike
Sveučilište: Sveučilište u Zagrebu
Mjesto: Varaždin
Datum: 05.03.
Godina: 2003
Stranica: 190
Mentor: Čubrilo, Mirko
Ključne riječi: heterogeni izvori znanja; F-logika; HiLog
( heterogenous data sources; F-logic; HiLog )
Sažetak:
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
Projekt / tema: 0016015
Izvorni jezik: HRV
Znanstvena područja:
Informacijske i komunikacijske znanosti



  Verzija za printanje   za tiskati


upomoc
foot_4