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