Tietotekniikan tutkimussäätiön väitöskirjapalkinto Andreas Niskaselle
Tietotekniikan tutkimussäätiö on myöntänyt Tietojenkäsittelytieteen Seuran esityksestä vuoden 2021 väitöskirjapalkinnon filosofian tohtori Andreas Niskaselle hänen Helsingin yliopistolle tekemästään symboliseen tekoälyyn liittyvästä väitöskirjasta ”Computational Approaches to Dynamics and Uncertainty in Abstract Argumentation”. 5 000 €:n arvoinen palkinto luovutettiin Tietojenkäsittelytieteen päivät -virtuaalitapahtumassa 25.8.2021.
Niskasen väitöskirja sijoittuu tiedon esittämisen ja päättelyn viitekehykseen. Väitöskirjassa tarkastellaan argumentaatiotutkimukseen, erityisesti abstrakteihin argumentaatiokehyksiin, liittyviä laskennallisia ongelmia. Abstraktien argumentaatiokehysten avulla voidaan mallintaa argumentointiin liittyviä tilanteita suunnattuina verkkoina, joissa solmut esittävät argumentteja ja kaaret hyökkäyksiä eli ristiriitoja argumenttien välillä. Erilaiset argumentaatiosemantiikat määrittelevät tällaisessa verkossa yhdessä hyväksyttäviä, keskenään ristiriidattomia argumenttijoukkoja. Kyseiselle tekoälyn haaralle löytyy sovelluskohteita muun muassa lääketieteellisestä diagnostiikasta sekä oikeudellisesta päättelystä.
Useissa käytännön tilanteissa argumentaatiokehysten rakenne ei ole ennalta määrätty, vaan sekä argumentit että niiden vasta-argumentit ovat muutoksille alttiita ja siten myös epävarmoja. Tämä puolestaan aiheuttaa useita sekä esityksellisiä että laskennallisia haasteita. Väitöskirjassa tarkastellaan kolmea argumentaatiokehysten dynamiikkaan ja epävarmuuteen liittyvää teemaa laskennallisesta näkökulmasta: pakotusongelmia, argumentaatiokehysten synteesiä sekä epävarmuuden esittämiseen tarkoitettuja argumentaatiokehysten laajennoksia. Työssä esitetään laskennalliseen vaativuuteen liittyviä tuloksia sekä käytännön algoritmeja edellä mainittujen aihealueiden kontekstissa. Vaativuuden kannalta näytetään, että useat ongelmat ovat NP-vaikeita monille keskeisille argumentaatiosemantiikoille. Näiden ongelmien ratkaisemiseksi työssä suunnitellaan algoritmeja pohjautuen lauselogiikan toteutuvuustarkastimien sekä niiden optimointilaajennosten käyttöön. Esitetyt algoritmit kehitetään avoimen lähdekoodin implementaatioina ja niiden käytännön sovellettavuutta osoitetaan kattavien empiiristen evaluaatioiden kautta.
Tietojenkäsittelytieteen Seuran järjestämään väitöskirjakilpailuun saatiin useita korkealaatuisia ehdokkaita. Palkinnon voittaneen Andreas Niskasen työ käsittelee monipuolisesti tiedon esittämiseen ja päättelyyn, erityisesti formaaliin argumentaatiotutkimukseen, liittyviä laskennallisia ongelmia. Tutkimusmenetelmien osalta työ yhdistelee vaikuttavalla tavalla laskennallista vaativuusteoriaa sekä lauselogiikan toteutuvuustarkastuksen ja logiikkapohjaisten optimointimenetelmien soveltamista. Työn tuloksia on julkaistu alansa merkittävimmillä foorumeilla kuten Journal of Artificial Intelligence Research -lehdessä ja International Joint Conference on Artificial Intelligence -konferenssissa.
Tietotekniikan tutkimussäätiö jakaa vuosittain väitöskirjapalkinnon parhaalle suomalaisessa yliopistossa julkaistulle tietojenkäsittelytieteen väitöskirjalle Tietojenkäsittelytieteen Seuran esityksestä. Tietotekniikan tutkimussäätiö ja Tietojenkäsittelytieteen Seura ovat osa Suomen johtavaa IT-alan liittoa, Tieto- ja viestintätekniikan ammattilaiset TIVIA ry:tä.
Tietojenkäsittelytieteen Seuran palkintoraadissa toimivat: apulaisprofessori Antti Airola Turun yliopistosta, Associate Professor Markus Salo Jyväskylän yliopistosta, sekä yliopisto-opettaja Kristian Nybom Åbo Akademista.
Tutustu Andreas Niskasen väitöskirjaan verkkoversiona:
https://hdl.handle.net/10138/319458
Lisätietoja
Tietotekniikan tutkimussäätiöstä ja väitöskirjapalkinnosta:
asiamies Janne Mustonen, 045 675 2929, janne.mustonen(at)tivia.fi
Valintaperusteista ja väitöskirjan sisällöstä:
TKTS:n hallituksen pj. Outi Sievi-Korte, puhelinnumero, outi.sievi-korte(at)tuni.fi
Lisätietoja
Tagit
Omat tagit
TIVIA ry - Asiantuntijat ja yhteyshenkilöt
TIVIA ry - Muita referenssejä
TIVIA ry - Muita bloggauksia
It- ja ohjelmistoalan työpaikat
- Laura - Lead developer, eInstant Platform
- Laura - Lead/Senior Backend Developer, vedonlyöntipelit
- Laura - Testiautomaatioasiantuntija
- Laura - Laatuasiantuntija (vuorotteluvapaasijaisuus)
- Laura - Sovelluspäällikkö
- Laura - Software Architect
- Efima Oyj - Senior Service Manager
Premium-asiakkaiden viimeisimmät referenssit
- IsoSkills Oy - Nearshore resursseilla lisättiin kyvykkyyttä Tosibox Oy:n it-kehityshankkeisiin
- Symbio - Tuotannon turvallistamisjärjestelmä
- Asiakas Group Oy - Moneksin palvelut Googlen etusivulle Asiakkaita.comin toimesta
- Solu Digital Oy - Uusi projektinhallinta- ja tuntikirjausratkaisu helpottaa työtä ja säästää aikaa
- Solu Digital Oy - Hankintasalkku Microsoft 365 -ympäristöön
- Solu Digital Oy - Projektidokumentit hallintaan Solu 365 -ratkaisulla
- Solu Digital Oy - Paikkariippumatonta työskentelyä Microsoft 365 -ratkaisuilla
Tapahtumat & webinaarit
- 05.04.2024 - Webinaari: Miten käytän tekoälyä markkinoinnin tehostamiseen?
- 11.04.2024 - On-demand webinar: NetSuite Best Practices for Software Companies
- 18.04.2024 - Aamiaistilaisuus: Ennustettavampaa liiketoimintaa vastuullisesti
- 24.04.2024 - Reviewing the Nordic SaaS market with Monterro
- 16.05.2024 - Five Years Out Helsinki
Premium-asiakkaiden viimeisimmät bloggaukset
- Nordea - Nordean asiakaspalveluun tarkoitettu Jodel-kanava palkittiin digitaalisen median Grand One -kilpailussa
- Vaimo Finland Oy - PWA ja hakukoneoptimointi
- Staria Oyj - Kuinka NetSuite tekee projektiliiketoiminnasta sujuvampaa
- IsoSkills Oy - AI's Role in Test Automation: Boosting Speed and Accuracy
- Efima Oyj - Suuri ERP-seikkailu odottaa montaa kaupan alan yritystä
- Nordea - Työn ja vapaa-ajan tasapaino Nordealla
- Altoros Finland Oy - Tekoälyn käyttöönotto - avain yritysten kilpailukyvyn säilyttämiseen
Digitalisaatio & innovaatiot blogimediaBlogimediamme käsittelee tulevaisuuden liiketoimintaa, digitaalisia innovaatioita ja internet-ajan ilmiöitä |