Un motor de inferență este un program care efectuează inferențe dintr-o bază pre-construită de fapte și reguli în conformitate cu legile logicii formale .
Limbile formale sunt folosite pentru a construi o bază de fapte și reguli, de obicei asemănătoare cu limbajul natural, dar mult mai riguroase și limitate.
Un motor de inferență poate efectua de obicei una sau ambele dintre următoarele operații:
În primul caz, o întrebare de genul „Este A adevărat?” motorul de inferență dă răspunsul „Da” sau „Nu”, în al doilea - la o întrebare de genul „Pentru ce X este regula A (X) adevărată?” mașina calculează toate valorile posibile ale lui X, care, atunci când sunt înlocuite în regula A, transformă această regulă într-un fapt adevărat.
În teoria construcției de mașini de inferență, așa-numita problemă a negației logice , problema modului de a determina non-adevărul unui fapt, nu are o soluție clară. În cele mai multe cazuri, motorul de inferență deduce că un fapt nu este adevărat dacă adevărul faptului nu este dedus dintr-o bază de fapte și reguli, dar acest lucru poate duce la interpretarea greșită a cunoștințelor, deoarece rezultatele „A este fals” și „ Un de nedemonstrat” nu diferă.
Un motor de inferență este elementul de bază al sistemelor expert și al sistemelor de execuție a programelor scrise în limbaje de programare logică , cum ar fi Prolog .
Un mecanism de inferență este o procedură generalizată de găsire a unei soluții la o problemă, care, pe baza bazei de cunoștințe și în conformitate cu nevoia de informare a utilizatorului, construiește un lanț de raționament (unități de cunoaștere conectate logic) care conduc la un rezultat specific. .