En inferensmotor är ett program som utför slutledning från en förbyggd bas av fakta och regler i enlighet med formell logiks lagar .
Formella språk används för att bygga en bas av fakta och regler, som vanligtvis liknar naturligt språk, men mycket mer rigoröst och begränsat.
En inferensmotor kan vanligtvis utföra en eller båda av följande operationer:
I det första fallet, en fråga som "Är A sant?" slutledningsmotorn ger svaret "Ja" eller "Nej", i den andra - på en fråga som "För vilket X är regeln A (X) sann?" maskinen beräknar alla möjliga värden på X, vilket, när det ersätts med regel A, förvandlar denna regel till ett sant faktum.
I teorin om att bygga slutledningsmaskiner har det så kallade problemet med logisk negation , problemet med hur man avgör icke-sanningen av ett faktum, ingen entydig lösning. I de flesta fall drar slutledningsmotorn slutsatsen att ett faktum inte är sant om sanningen om faktum inte härleds från en bas av fakta och regler, men detta kan leda till misstolkning av kunskap, eftersom resultaten "A är falsk" och " En obevisbar" skiljer sig inte åt.
En inferensmotor är den grundläggande byggstenen för expertsystem och programexekveringssystem skrivna i logiska programmeringsspråk som Prolog .
En slutledningsmekanism är en generaliserad procedur för att hitta en lösning på ett problem, som, baserat på kunskapsbasen och i enlighet med användarens informationsbehov, bygger en kedja av resonemang (logiskt sammankopplade kunskapsenheter) som leder till ett specifikt resultat .