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
- Rekrytointi.com - Senior Data Engineer
- Rekrytointi.com - ICT System Specialist, Espoo tai Tampere
- Rekrytointi.com - SW Team Lead
- Rekrytointi.com - SW Team Lead
- Rekrytointi.com - Ohjelmistokehittäjä
- Trivore Oy - Developer
- Rekrytointi.com - Data Scientist
Premium-asiakkaiden viimeisimmät referenssit
- Elinar - Analyysitodistusten käsittelyprosessin automatisointi vastaanotosta lähetykseen saakka syväoppivan tekoälyn avulla
- Verkkovaraani Oy - Muovi kuuluu kiertoon -sivujen siirto WordPressiin
- Adafy Oy - Adafyltä ohjelmistokehittäjiä ja teknologiaosaamista Jydacomin tarpeisiin
- Adafy Oy - Adafy Steerpropin kehityskumppaniksi: Innovatiiviset propulsioratkaisut yhdistettynä innovatiiviseen digitaaliseen kehittämiseen
- Adafy Oy - Junttan valitsi integraatiokumppanikseen Adafyn
- Ceon Oy - Paransimme Rakennuttaminen-tapahtuman ohjelmasivujen käytettävyyttä
- Maxtech - Monipuoliset työnhallinnan ratkaisut kehittivät entisestään Siklan tiedolla johtamista
Tapahtumat & webinaarit
- 12.04.2023 - Webinaari: Tarvitseeko talousosasto erillisen BI-ratkaisun?
- 23.05.2023 - Laitehakkerointi
- 23.05.2023 - Toiminnanohjauksen pilviaamu: Toimitusketjun hallinta muuttuvassa maailmassa
Premium-asiakkaiden viimeisimmät bloggaukset
- Staria Oyj - Staria palkittiin: NetSuite Partner of the Year – Most New Logos (Western Europe)
- Staria Oyj - Staria vahvistaa asemaansa Euroopan johtavana NetSuite-kumppanina – Ostaa merkittävän ruotsalaisen NetSuite-kumppani Suitespot AB:n
- Efima Oyj - Rutiineja rakastava robottiassistentti automatisoi asiakaspalvelijan työpöydän
- Altoros Finland Oy - Flutter - mobiiliohjelmisto alustojen tuore tulokas
- Monitor ERP System Finland AB - SP stainless otti käyttöön Monitor ERP-järjestelmän
- Monitor ERP System Finland AB - Mitä sinun on tiedettävä ennen ERP-järjestelmän valitsemista
- Efima Oyj - Maailmantilanne uudelleenjärjestää talousjohtajan työpöydän – kohti strategisempaa talousjohtajuutta
![]() |
Digitalisaatio & innovaatiot blogimediaBlogimediamme käsittelee tulevaisuuden liiketoimintaa, digitaalisia innovaatioita ja internet-ajan ilmiöitä |