Implementing an Inductive Logic Programming System with Uncertainty Handling Capabilities

No Thumbnail Available
Journal Title
Journal ISSN
Volume Title
Helsinki University of Technology | Diplomityö
Checking the digitized thesis and permission for publishing
Instructions for the author
Date
2006
Major/Subject
Tietämystekniikka
Mcode
T-93
Degree programme
Language
en
Pages
70
Series
Abstract
Logiikkaohjelmointia on käytetty jo vuosia sääntöpohjaisten asiantuntijajärjestelmien muodostamiseen. Usein järjestelmien teko on kuitenkin vaikeaa tai oikeiden asiantuntijoiden käyttäminen on liian kallista. Induktiivisessa logiikkaohjelmoinnissa logiikkaohjelmoinnin deduktiivisen päättelyn idea on vaihdettu induktioon. Siinä loogisia sääntöjä opitaan esimerkkien ja taustainformaation avulla. Parhaimmassa tapauksessa tämä johtaa tietämyksen automaattiseen muodostamiseen ja asiantuntijoiden tarvetta voidaan vähentää. Induktiivinen logiikkaohjelmointi on laskennallisesti erittäin vaativa ongelmaluokka. Käytännössä kaikissa mielekkäissä sovelluksissa menetelmät ovat aikavaativuudeltaan eksponentiaalisia. Tämä tarkoittaa stokastisten hakujen käyttöä ja hyvien heuristiikkojen löytämistä. Logiikkaohjelmointi ja sen perustana oleva predikaattilogiikka soveltuvat kuitenkin huonosti epävarmuuden esittämiseen, joka on lähes välttämätöntä reaalimaailman sovelluksissa. Epävarmuuden käsittelyyn erikoistuneet menetelmät, kuten Bayes-verkot ja Markov-mallit, eivät puolestaan kykene esittämään sääntöpohjaista ja rakenteellista tietämystä kunnolla. Tavoitteena oli löytää molempien menetelmäluokkien hyviä puolia yhdistävä ratkaisu. Tässä työssä kehitetään ja toteutetaan ns. Bayesilaiseen logiikkaohjelmaan perustuva induktiivinen logiikkaohjelmointijärjestelmä. Bayesilainen logiikkaohjelma pyrkii ratkaisemaan edellä mainitun ongelman. Järjestelmän toimintaa testattiin muutamalla pienimuotoisella sovelluksella.
Description
Supervisor
Syrjänen, Markku
Thesis advisor
Syrjänen, Markku
Keywords
Inductive Logic Programming, induktiivinen logiikkaohjelmointi, Logic Programming, logiikkaohjelmointi, Uncertainty, epävarmuus, Bayesian Logic Program, Bayesilainen logiikkaohjelma, Knowledge Acquisition, tietämyksen louhinta
Other note
Citation