Muodollisen logiikan systeemejä käytetään erilaisten päättelytehtävien automatisointiin esimerkiksi erilaisissa informaatiosysteemeissä. Näin ollen logiikan moderni tutkimus onkin varsin aktiivista. Tämä on kuitenkin on johtanut alan räjähdysmäiseen kasvuun ja tästä johtuvaan tulosten epäyhtenäisyyteen. Projekti rakentaa entistä yhtenäisempää teoriaa logiikan alan tutkimuksen perustaksi. Toisena projektin tavoitteena on kehittää muodollisia systeemejä, joiden avulla moderneja tekoälypohjaisia sovelluksia on helpompi ymmärtää. Modernin tekoälyn tuottamat menetelmät toimivat usein nk. musta laatikko -periaatteella, eli ne tuottavat vastauksia mahdollisesti hyvinkin monimutkaisiin kysymyksiin, kuitenkaan valaisematta sitä, mihin saadut vastaukset perustuvat. Muodolliseen logiikkaan perustuvin menetelmin tällaisia mustia laatikoita on mahdollista ymmärtää entistä paremmin.

2025

2029