search query: @supervisor Syrjänen, Markku / total: 187
reference: 15 / 187
Author: | Turkulainen, Petri |
Title: | Implementing an Inductive Logic Programming System with Uncertainty Handling Capabilities |
Epävarmuuden käsittelyyn kykenevän induktiivisen logiikkaohjelmointijärjestelmän toteuttaminen | |
Publication type: | Master's thesis |
Publication year: | 2006 |
Pages: | 70 Language: eng |
Department/School: | Tietotekniikan osasto |
Main subject: | Tietämystekniikka (T-93) |
Supervisor: | Syrjänen, Markku |
Instructor: | Syrjänen, Markku |
OEVS: | Electronic archive copy is available via Aalto Thesis Database.
Instructions Reading digital theses in the closed network of the Aalto University Harald Herlin Learning CentreIn the closed network of Learning Centre you can read digital and digitized theses not available in the open network. The Learning Centre contact details and opening hours: https://learningcentre.aalto.fi/en/harald-herlin-learning-centre/ You can read theses on the Learning Centre customer computers, which are available on all floors.
Logging on to the customer computers
Opening a thesis
Reading the thesis
Printing the thesis
|
Location: | P1 Ark T80 | Archive |
Keywords: | Inductive Logic Programming Logic Programming Uncertainty Bayesian Logic Program Knowledge Acquisition induktiivinen logiikkaohjelmointi logiikkaohjelmointi epävarmuus Bayesilainen logiikkaohjelma tietämyksen louhinta |
Abstract (fin): | 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. |
ED: | 2006-11-23 |
INSSI record number: 32648
+ add basket
INSSI