เอ็นจิ้นการอนุมานคือระบบซอฟต์แวร์ที่ออกแบบมาเพื่อทำการสรุปโดยการวิเคราะห์ปัญหาในฐานข้อมูลของความรู้จากผู้เชี่ยวชาญ มันมาถึงผลลัพธ์เชิงตรรกะโดยอิงตามสถานที่ที่ข้อมูลกำหนด บางครั้งเอ็นจิ้นการอนุมานยังสามารถผ่านการประมวลผลเชิงตรรกะที่เข้มงวดและใช้การคำนวณความน่าจะเป็นเพื่อให้ได้ข้อสรุปว่าฐานข้อมูลความรู้ไม่ได้รับการสนับสนุนอย่างเข้มงวด แต่แทนที่จะบอกเป็นนัยหรือบอกกล่าวเท่านั้น
เอ็นจิ้นการอนุมานส่วนใหญ่ที่ออกแบบในด้านปัญญาประดิษฐ์นั้นอยู่บนพื้นฐานของแนวคิดของระบบผู้เชี่ยวชาญ ระบบผู้เชี่ยวชาญนั้นถูกสร้างขึ้นเพื่อแก้ไขปัญหาในบางสาขาและบางครั้งอาจมีการ จำกัด ขอบเขตเช่นผู้เชี่ยวชาญทางการแพทย์ ส่วนประกอบเอ็นจิ้นการอนุมานของระบบผู้เชี่ยวชาญคือโครงสร้างการควบคุมที่สร้างเอาต์พุตเริ่มต้นตามข้อมูลใด ๆ ที่มีอยู่ในฐานความรู้และกฎการเขียนโปรแกรมของระบบผู้เชี่ยวชาญจากนั้นนำไปใช้กับปัญหาเฉพาะในทางที่มีความหมาย เนื่องจากผลลัพธ์ของเอ็นจินการอนุมานเป็นผลมาจากข้อมูลพวกมันจะเปลี่ยนไปเมื่อมีการอัพเดตข้อมูลและยังสามารถเปลี่ยนแปลงได้เมื่อข้อมูลถูกค้นหาด้วยวิธีต่างๆโดยเอ็นจินการอนุมานเอง หากข้อมูลในระบบมีน้ำหนักต่อข้อสรุปหนึ่งข้อหรือมากกว่านั้นสิ่งนี้สามารถเปลี่ยนผลลัพธ์ที่กลไกการอนุมานสร้างขึ้น
ซอฟต์แวร์ที่ใช้เอ็นจิ้นการอนุมานสามารถถูกมองว่าเป็นกลไกการเลือกที่แอ็คทีฟซึ่งการดำเนินการประมวลผลถูกชี้นำโดยสถานะล่าสุดของข้อมูล ระบบผู้เชี่ยวชาญมีวิธีทั่วไปสองวิธีในการประมวลผลข้อมูลที่เก็บไว้นี้ซึ่งเรียกว่าการโยงสายล่วงหน้าหรือการโยงย้อนกลับ ในการโยงไปข้างหน้ากฎของระบบผู้เชี่ยวชาญจะวิเคราะห์ข้อมูลที่ป้อนเข้าโดยเอ็นจินการอนุมานและผลลัพธ์จะถูกป้อนกลับไปยังที่เก็บข้อมูลของระบบเป็นข้อมูลใหม่ สิ่งนี้ทริกเกอร์การแก้ปัญหาใหม่ ๆ ในขณะที่ระบบทำการกลั่นกรองข้อมูลและชั่งน้ำหนักข้อมูลโดยการอนุมานแบบอุปนัยหมายความว่าการสรุปที่ได้มานั้นไม่จำเป็นต้องสะท้อนถึงข้อมูลหรือสถานที่ดั้งเดิมที่ใช้ในการเริ่มการวิเคราะห์
การโยงย้อนกลับเป็นการเน้นความน่าจะเป็นมากกว่าโดยข้อมูลที่เก็บไว้จะถูกถ่วงน้ำหนักสำหรับค่าตั้งแต่เริ่มต้น กฎใช้เพื่อทดสอบเงื่อนไขของข้อมูลเพื่อความถูกต้องในแง่ของปัญหาที่กำหนดและเช่นนี้จะทำขึ้นค่าความน่าจะเป็นใหม่จะถูกกำหนดให้กับข้อมูล หรือที่เรียกว่าการขับเคลื่อนด้วยสมมติฐานการโยงย้อนกลับไม่ได้ข้อสรุปที่เข้มงวดจนกว่าการทดสอบอย่างต่อเนื่องของข้อมูลกับเงื่อนไขที่กำหนดโดยกฎของระบบผู้เชี่ยวชาญพบระดับการพิสูจน์ขั้นต่ำสำหรับคำถามหรือปัญหาที่กำลังศึกษา
Bayesian logic เป็นหนึ่งในรูปแบบความน่าจะเป็นของซอฟต์แวร์อนุมานเอ็นจิ้นที่ใช้การโยงย้อนกลับชื่อสำหรับ Thomas Bayes นักคณิตศาสตร์ชาวอังกฤษในช่วงกลางศตวรรษที่ 18 ตรรกะดังกล่าวใช้ฐานความรู้ของเหตุการณ์ก่อนหน้านี้เพื่อคาดการณ์ผลลัพธ์ในอนาคตผ่านการทดสอบความรู้ซ้ำ ๆ และปัจจัยในหลักฐานเพิ่มเติมของผลลัพธ์ของการทดลองเข้าสู่การทดลองใหม่โดยมีเป้าหมายในการสร้างผลลัพธ์ที่แม่นยำมากขึ้น สถาปัตยกรรมซอฟต์แวร์ฟัซซี่ลอจิกสามารถพึ่งพาเอ็นจินการอนุมานซึ่งเป็นส่วนหนึ่งของระบบ ความแตกต่างกับฟัซซี่ลอจิกคือเอาต์พุตเป็นชุดฟัซซีหรือช่วงของการแก้ปัญหาที่เป็นไปได้ซึ่งจะถูกรวมเข้าเป็นกลุ่มเดียวและด้วยตรรกะและความน่าจะเป็นทำให้การสรุปหรือการกระทำที่เหมาะสมที่สุด
