Päätelmämoottori on ohjelma, joka tekee päätelmiä valmiista tosiasioiden ja sääntöjen pohjalta muodollisen logiikan lakien mukaisesti .
Muodollisia kieliä käytetään faktojen ja sääntöjen perustan rakentamiseen, jotka yleensä muistuttavat luonnollista kieltä, mutta ovat paljon ankarampia ja rajoitetumpia.
Päätelmämoottori voi tyypillisesti suorittaa yhden tai molemmat seuraavista toiminnoista:
Ensimmäisessä tapauksessa kysymys, kuten "Onko A totta?" päättelykone antaa vastauksen "Kyllä" tai "Ei", toisessa - kysymykseen, kuten "Mille X on sääntö A (X) totta?" kone laskee kaikki mahdolliset X:n arvot, mikä sääntöön A korvattuna muuttaa tämän säännön todelliseksi tosiasiaksi.
Päättelykoneiden rakentamisen teoriassa ns . loogisen negationin ongelmalle, ongelmalle, kuinka määrittää tosiasian epätotuus, ei ole yksiselitteistä ratkaisua. Useimmissa tapauksissa päättelykone päättelee, että tosiasia ei ole totta, jos tosiasian totuutta ei päätetä tosiasioiden ja sääntöjen perusteella, mutta tämä voi johtaa tiedon väärintulkintaan, koska tulokset "A on väärä" ja " Todistamaton" eivät eroa.
Päätelmämoottori on logiikan ohjelmointikielillä , kuten Prologilla , kirjoitettujen asiantuntijajärjestelmien ja ohjelmien suoritusjärjestelmien perusrakennuspalikka .
Päätelmämekanismi on yleistetty menetelmä ongelman ratkaisun löytämiseksi, joka tietopohjan pohjalta ja käyttäjän tiedontarpeen mukaisesti rakentaa päättelyketjun (loogisesti yhteenliittyvät tiedon yksiköt), joka johtaa tiettyyn tulokseen. .