Moderni tekoäly tuottaa tehokkaita systeemejä, joilla ihmisen päättelynopeus voidaan ohittaa moninkertaisesti. Tällaiset systeemit perustuvat laajalti moderniin koneoppimiseen. Ongelmana kuitenkin on, että nämä järjestelmät toimivat laajalti musta laatikko -periaatteella, eli tuotetuille tuloksille ei saada minkäänlaista syytä tai tulkintaa. Tämä rajaa mahdollisten käyttökohteiden ulkopuolelle esimerkiksi eettisiin ja muihin poikkeuksellisen tärkeisiin kysymyksiin liittyvät aihepiirit. Tässä projektissa etsitään logiikkapohjaisia metodeja, joiden avulla koneoppimiseen perustuvien mallien päätöksiä voidaan selittää. Lisäksi kehitetään uusia järjestelmiä, joiden puitteissa koneoppimisen tehokkuus voidaan yhdistää suoraan eriasteiseen selitettävyyteen. Selitykset ovat tässä projektissa kielellisiä. Tarkemmin ottaen, ne ovat moderniin muodolliseen logiikkaan perustuvia kaavoja tai todistuksia.

2022

2024