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