Ohjatusti laiskotteleva tietokone on hyvä ongelmanratkoja
Kun täydessä lastissa olevan rahtijunan moottori hajoaa, kuljetusyhtiö on tiukan haasteen edessä: korvaajan pitää olla paitsi riittävän tehokas, myös yhteensopiva muiden vaatimusten, kuten sähköverkon, raideleveyden ja junan merkinantojärjestelmän kanssa.
Täydellistä ja samalla toteuttamiskelpoista ratkaisua haravoivilta tietokoneilta loppuu laskentakapasiteetti nykyisillä hakumetodeilla, ja ihmisaivoilta etsintään kuluu yksinkertaisesti liikaa aikaa.
”Yrityksille aika taas on oikeasti rahaa, koska isoista viivästyksistä joutuu usein maksamaan sakkoja ja bisnes voi jopa pysähtyä kokonaan”, sanoo Aalto-yliopiston tutkijatohtori Antonius Weinzierl, joka on yhdessä KU Leuvenin kollegansa Bart Bogaertsin kanssa kehittänyt parannuksen sääntöjen laiskoja ilmentymiä hyödyntävään ohjelmointitekniikkaan (lazy grounding).
Lazy grounding on viime vuosina yleistynyt metodi, jolla tietokone ohjataan keskittämään laskentakapasiteettinsa vain kiireellisimpiin ja olennaisimpiin tehtäviin. ”Laiskottelu” vapauttaa muistia, mutta ongelmatilanteissa kone jää helposti jumiin – ja taas kuluu aikaa. Weinzierlin ja Bogaertsin idea on osoittaa koneelle kriittisimmät kohdat, joissa etsintä voi mennä vikaan ja jättää muut kohdat huomiotta.
”Periaate on vähän sama kuin labyrintissä”, Weinzierl kuvailee Tukholmassa järjestetyssä, tekoälytutkijoiden arvostetuimpiin kuuluvassa, IJCAI-ECAI-18-konferenssissa esiteltyä ideaa.
”Ilman karttaa labyrintistä ulos päästäkseen voi joutua kokeilemaan kaikkia vaihtoehtoja. Nykyiset tietokoneohjelmat ratkaisevat tällaiset tilanteet piirtämällä ensin labyrintistä täydellisen kartan ja alkavat vasta sitten etsiä tietä ulos.”
Täydellisen kartan piirtäminen vie kuitenkin valtavasti muistia. Laiskottelemaan ohjelmoitu tietokone taas lähtisi labyrinttiin ilman karttaa ja voisi jäädä pyörimään epätietoisena paikoillaan.
”Meidän ratkaisumme on tarjota paikallinen, tarpeeseen tilattu kartta, joka osoittaa, missä reitti lähti väärään suuntaan ja mitä kautta pääsee taas oikealle polulle”, Weinzierl selittää.
Tutkijat uskovat, että lähestymistapa hyödyttää erityisesti teollisuutta ja suuryrityksiä, jotka joutuvat etsimään ratkaisuja satojen parametrien muodostamien tuhansien vaihtoehtojen joukosta. Rahtiliikenteen lisäksi tällaisia ovat esimerkiksi IT- ja sähköverkkoalan yritykset.
Julkaisu
Bart Bogaerts and Antonius Weinzierl: Exploiting Justifications for Lazy Grounding of Answer Set Programs, Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence. Main track. Pages 1737-1745.
äپٴᲹ
Antonius Weinzierl
antonius.weinzierl@aalto.fi
Puh. 050 4346805
Lue lisää uutisia
Vahva tulos Akatemian talvihausta
Akatemiatutkija- tai akatemiahankerahoituksen sai yhteensä 54 aaltolaista. Aalto-yliopistolle myönnetty rahoitus on yhteensä 33,2 miljoonaa euroa.
Aalto-yliopiston kiertotalousratkaisut New European Bauhaus -festivaalilla tukevat EU:n tavoitetta kasvaa kiertotalouden edelläkävijäksi
Aalto-yliopisto esitteli useita erilaisia kiertotalousratkaisuja Euroopan komission järjestämällä New European Bauhaus -festivaalilla Brysselissä. Tapahtuma kokosi yhteen EU:n poliittisia johtajia, tutkijoita, suunnittelijoita ja ruohonjuuritason toimijoita ympäri Eurooppaa.
Tohtoriopintojen uusi THOPS-työkalu julkaistu
Uusi digitaalinen THOPS-työkalu on korvannut opiskelijoiden vanhat THOPS-tehtävät MyStudies-työpöydällä ja vastuuprofessoreiden hyväksyntämenetelmän Student Success Hubissa.