Väitös, tietotekniikka, MSc Saurabh Fadnis

Väitöskirjan nimi: Reductive Approaches to Automated Planning with Partial Observability

Väittelijä: Saurabh Fadnis
Vastaväittäjä: vanhempi apulaisprofessori, Jendrik Seipp, Linköping University, Ruotsi
Kustos: professori Jussi Rintanen, Aalto-yliopiston perustieteiden korkeakoulu 

Tämä väitöskirja tutkii menetelmiä, joiden avulla tekoälyjärjestelmät voivat tehdä päätöksiä ja suunnitella toimintaansa kun järjestelmän tilaa ja suoritettujen toimenpiteiden seurauksia ei tunneta täydellisesti. Päätöksenteko ja suunnittelu epävarmuuden vallitessa on yksi keskeisistä haasteista automaattisen suunnittelun saralla, ja sillä on sovelluksia mm. robotiikassa, logistiikassa, ja erilaisissa päätöksenteon tukijärjestelmissä. 

Tämä työ keskittyy osittaisen havaittavuuden ongelmaan, jossa järjestelmän tilaa ei pystytä määrittämään yksikäsitteisesti, ja tutkii tämän ongelma ratkaisua kuvaamalla se yksinkertaisempiin ja paremmin hallittavissa oleviin ongelmiin. Uusien hakumenetelmien sijaan väitöstutkimus kehittää menetelmiä, joilla epätäydellisyyttä sisältävät ongelmat muunnetaan lauselogiikan toteutuvuusongelmaksi, deterministiseksi täyden informaation suunnitteluongelmaksi, tai epädeterministiseksi täyden informaation suunnitteluongelmaksi. 

Väitöskirjatyön tärkeimmät tulokset ovat uusia tapoja esittää vallitsevia asiantiloja kuvaavaa epätäydellistä tietoa ("uskomuksia") kompaktisti, ja käytännöllisiä menetelmiä käsitellä osittaista havaittavuutta laskennallisesti helpommin. Tämä mahdollistaa vaikeiden päätöksenteko- ja suunnitteluongelmien ratkaisun käyttäen tehokkaita ja skaalautuvia olemassaolevia suunnittelumenetelmiä, ja siten parantamaan niiden laskennallista hallittavuutta.

Avainsanat: Suunnittelu, osittainen havaittavuus, lauselogiikan toteutuvuusongelma, automaattinen päättely, automaattinen päätöksenteko

Linkki väitöskirjan sähköiseen esittelykappaleeseen (esillä 7 päivää ennen väitöstä): Aalto-yliopiston riiputussivu.

Yhteystiedot: 
saurabh.fadnis@aalto.fi