Penalaran otomatis adalah bidang ilmu komputer dan kecerdasan buatan yang bertujuan untuk merancang sistem perangkat lunak yang dapat berpikir, bernalar, dan menarik kesimpulan. Penalaran otomatis menggunakan teknik dari berbagai cabang matematika, logika, dan kecerdasan buatan saat menganalisis masalah kompleks di dunia nyata.
Bidang penalaran otomatis berakar pada logika matematika, suatu cabang matematika yang berkaitan dengan batas-batas penalaran yang tepat. Penelitian awal di bidang ini berfokus pada pengembangan sistem logis yang dapat menalar dengan benar melalui masalah matematika dan simbolik lainnya. Ketika komputer semakin canggih, para peneliti menyadari bahwa sistem yang sama dapat digunakan untuk mengatasi masalah yang lebih kompleks.
Dalam beberapa tahun terakhir, sistem penalaran otomatis telah menjadi bagian penting dari layanan komputer otomatis seperti asisten pribadi cerdas dan sistem pakar. Sistem ini dirancang untuk menggunakan penalaran otomatis untuk memahami dan memecahkan masalah yang ditimbulkan oleh manusia. Mereka mungkin melakukan penalaran melalui permasalahan dengan mengandalkan database fakta yang besar, atau dengan menggunakan heuristik, seperangkat aturan praktis, untuk mengambil keputusan.
Penalaran otomatis adalah bidang penelitian yang aktif dan berkembang pesat, dan sering kali dipandang sebagai komponen kunci dari kecerdasan umum buatan. Sistem saat ini dapat bernalar melalui masalah simbolik, masalah kausal, dan masalah non-simbolis seperti pemrosesan bahasa alami. Seiring berkembangnya teknologi dan bidang, sistem penalaran otomatis akan menjadi semakin canggih dan kuat, memungkinkan mesin untuk membantu atau bahkan menggantikan manusia dalam berbagai jenis tugas dengan lebih baik.
