Vad är en inferensmotor?
En inferensmotor är ett mjukvarusystem som är utformat för att dra slutsatser genom att analysera problem mot bakgrund av en databas med expertkunskap som den bygger på. Det når logiska resultat baserat på de lokaler som data upprättar. Ibland kan inferensmotorer också gå utöver strikt logisk bearbetning och använda sannolikhetsberäkningar för att nå slutsatser att kunskapsdatabasen inte strikt stöder, utan istället bara antyder eller antyder. Ett expertsystem är byggt för att lösa problem i ett specifikt och ibland snävt definierat område, till exempel vissa medicinska specialiteter. Inferensmotorns komponent i ett expertsystem är kontrollstrukturen som producerar initial utgång baserat på alla data som för närvarande finns i kunskapsbasen och programmeringsreglerna i expertsystemet och tillämpar det sedan på det specifika problemet i en meningsfull Way. Eftersom resultatmotorresultaten är ett resultat av uppgifterna, ändras de när data uppdateras och kan också ändras när data söks på olika sätt av själva inferensmotorn. Om data i systemet vägs mot en eller flera slutsatser jämfört med en annan kan detta ändra resultaten som inferensmotorn genererar.
Programvara som använder en inferensmotor kan ses som en aktiv selektiv mekanism, där bearbetningsåtgärder riktas av det senaste tillståndet i data. Expertystem har två allmänna sätt att behandla denna lagrade data, kallad framåtkedjande eller bakåtkedjan. I framåtkedjan analyserar reglerna för expertsystemet data som matas till det av inferensmotorn, och resultaten matas tillbaka till systemets datalagring som ny data. Detta utlöser nya lösningar på problem när systemet förfinar data och väger dem genom induktiv inference, vilket innebär att slutsatser som nås inte nödvändigtvis kommer att återspegla de ursprungliga uppgifterna eller lokalerna som användes för att starta analysen.
bakåtkedjan är mer sannolikhetsorienterad, med de lagrade data vägda för värde från början. Regler används för att testa villkoren för data för giltighet mot bakgrund av det givna problemet, och, som detta görs tilldelas nya sannolikhetsvärden till data. Även kallad hypotesdriven, bakåtkedjan drar inte strikta slutsatser förrän kontinuerlig testning av uppgifterna mot förhållanden som fastställts i reglerna i expertsystemet uppfyller en minimikrav för den fråga eller problem som studeras.
Bayesian Logic är en av de sannolikhetsorienterade formerna av inferensmotorprogramvara som använder bakåtkedjan, uppkallad efter Thomas Bayes, en engelsk matematiker i mitten av 18 th århundradet. Sådan logik använder en kunskapsbas för tidigare händelser för att förutsäga framtida resultat genom upprepade tester av kunskapenavsats, och det faktorer i ytterligare bevis på resultaten av försöken i nya försök, med målet att producera mer och mer exakta resultat. Fuzzy Logic Software Architecture kan också lita på inferensmotorn som en del av dess system. Skillnaden med fuzzy logik är att utgången är en fuzzy uppsättning eller utbud av möjliga lösningar som sedan aggregeras till en grupp och, genom logik och sannolikhet, smalas till en optimal slutsats eller handling.