haku: @keyword knowledge acquisition / yhteensä: 5
viite: 2 / 5
Tekijä: | Turkulainen, Petri |
Työn nimi: | Implementing an Inductive Logic Programming System with Uncertainty Handling Capabilities |
Epävarmuuden käsittelyyn kykenevän induktiivisen logiikkaohjelmointijärjestelmän toteuttaminen | |
Julkaisutyyppi: | Diplomityö |
Julkaisuvuosi: | 2006 |
Sivut: | 70 Kieli: eng |
Koulu/Laitos/Osasto: | Tietotekniikan osasto |
Oppiaine: | Tietämystekniikka (T-93) |
Valvoja: | Syrjänen, Markku |
Ohjaaja: | Syrjänen, Markku |
OEVS: | Sähköinen arkistokappale on luettavissa Aalto Thesis Databasen kautta.
Ohje Digitaalisten opinnäytteiden lukeminen Aalto-yliopiston Harald Herlin -oppimiskeskuksen suljetussa verkossaOppimiskeskuksen suljetussa verkossa voi lukea sellaisia digitaalisia ja digitoituja opinnäytteitä, joille ei ole saatu julkaisulupaa avoimessa verkossa. Oppimiskeskuksen yhteystiedot ja aukioloajat: https://learningcentre.aalto.fi/fi/harald-herlin-oppimiskeskus/ Opinnäytteitä voi lukea Oppimiskeskuksen asiakaskoneilla, joita löytyy kaikista kerroksista.
Kirjautuminen asiakaskoneille
Opinnäytteen avaaminen
Opinnäytteen lukeminen
Opinnäytteen tulostus
|
Sijainti: | P1 Ark T80 | Arkisto |
Avainsanat: | Inductive Logic Programming Logic Programming Uncertainty Bayesian Logic Program Knowledge Acquisition induktiivinen logiikkaohjelmointi logiikkaohjelmointi epävarmuus Bayesilainen logiikkaohjelma tietämyksen louhinta |
Tiivistelmä (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 tietueen numero: 32648
+ lisää koriin
INSSI