logiikkapohjaiset

Logiikkapohjaiset viitekehykset viittaavat järjestelmiin ja menetelmiin, joissa päättely ja tiedon hallinta rakentuvat muodolliselle logiikalle ja sen säännöille. Termi kattaa sekä teorian että käytännön sovellukset, joissa tieto esitetään faktoina ja asioista voidaan päätellä uusia totuuksia sääntöjen avulla.

Käyttökohteita ovat tekoäly, tietokannat ja tiedonhaku sekä semanttisen webin sovellukset. Esimerkiksi sääntöpohjaiset järjestelmät käyttävät eksplisiittisiä sääntöjä perustoimintojen ohjaamiseen, ja predikaattilogiikan sekä propositional logiikan käsitteitä hyödynnetään päättelyssä. Semanttisen webin ontologioissa käytetään usein Description Logics -logiikkaa, jolla määritellään käsitteistö ja suhdesäännöt.

Edut: logiikkapohjaisella päättelyllä on läpinäkyvä ja auditoitava rakenne; säännöt ja niiden vaikutukset ovat jäljitettävissä. Rajoitteet: skaalautuvuus suurille tietomäärille voi olla ongelmallista, ja epävarmuuden hallinta sekä tilastollinen oppiminen voivat olla haastavia ilman yhdistämistä muiden menetelmien kanssa.

Historia ja nykytilanne: symbolisen tekoälyn vaiheessa 1960–80-luvuilla logiikkapohjaiset menetelmät tarjosivat tehokkaan tavan edistää päättelyä. Nykyisin niitä yhdistetään usein dataohjattuihin menetelmiin sekä semanttisiin teknologioihin, jotta voidaan saavuttaa sekä varmistettu päättely että suurempi skaalautuvuus.