Explaining AI via Logic (XAILOG)

Explaining AI via Logic (XAILOG)

Acronym

HTLC

Project description

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 saaduille tuloksille ei saada minkäänlaista syytä tai tulkintaa. Tämä rajaa mahdollisten käyttökohteiden ulkopuolelle esimerkiksi eettisiin tai 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.
Show more

Starting year

2022

End year

2024

Granted funding

Antti Kuusisto Orcid -palvelun logo
258 471 €

Funder

Academy of Finland

Funding instrument

Targeted Academy projects

Call

ICT 2023: Frontier AI Technologies 2021

Other information

Funding decision number

345612

Fields of science

Computer and information sciences

Research fields

Tietojenkäsittelytieteet