Logipohjainen

Logipohjainen on adjektiivi, jolla kuvataan ilmiötä, menetelmää tai järjestelmää, joka perustuu formaaliin logiikkaan ja loogiseen päättelyyn. Käytännössä logipohjaisuutta tarkoittaa, että päätelmät ja toiminta rakentuvat loogisista säännöistä, malleista ja määritellyistä relateista sen sijaan että ne perustuivat tilastolliseen dataan tai koneoppimiseen.

Sovellusalueet ja käyttötavat vaihtelevat, mutta tyypillisesti logipohjaisuutta esiintyy tekoälyssä, tieto- ja sääntöpohjaisissa järjestelmissä sekä ohjelmisto- ja tietoturva-alan tarkastusmenetelmissä. Keskeisiä lähestymistapoja ovat logiikkaohjelmointi (esim. Prolog), sääntöpohjaiset järjestelmät, muodollinen mallintaminen sekä ontologisen tiedon/reasoningin käyttäminen (esim. description logics ja OWL). Näissä järjestelmissä loogiset formalismit mahdollistavat automaattisen päättelyn, virheiden havaitsemisen ja selitettävyyden.

Edukat ja tekniset edut ovat läpinäkyvyys, päättelyn perustelu ja mahdollisuus varmistaa loogiset yhteydet; järjestelmät voivat tarjota mitta- ja todentamiskelpoista päätöksentekoa. Rajoitteita ovat tiedonhankinnan ja rakennusten osa-alueiden työmäärä, skaalautuvuuden haasteet sekä epävarmuuden tai epäjärkiperäisten ilmiöiden käsittelyn rajoittuminen. Logipohjaisuutta verrataan usein dataohjautuneeseen ja tilastolliseen lähestymistapaan, jossa päättely on ei-lineraalisti riippuvainen opitusta datasta.