Otomatik muhakeme, bilgisayarların veya diğer makinelerin, insan mantıksal muhakeme sonuçlarını çoğaltmak için programlanabileceği fikridir. Bu özel teknolojik arayış türü, geliştiricilerin insan zekasını simüle etmek için karmaşık algoritmalar ve diğer kaynakları kullandıkları, bazen yapay zeka olarak bilinen daha geniş bir alanın bir parçasıdır. Otomatik muhakeme bilgisayarlarla mantıksal sonuçlar elde etmeye odaklanır.
Yapay zeka alanındaki uzmanlar, muhakeme için otomasyon kullanan bir dizi projeyi tanımlayabilir. Bunlardan bazıları, geçerli mantık üretmek için matematiği kullanarak geçerli tümdengelimsel akıl yürütme adı verilen şeye odaklanmıştır. Bu tür projeler, karşılık gelen bir mantıksal değerler kümesi oluşturmak için teoremleri kanıtlamayı veya belirli değişkenleri kullanmayı içerebilir. Diğer otomatikleştirilmiş akıl yürütme türleri, insan geliştiricilerin bilgisayarlara etkili sonuçlar ya da kararlar almak için özel olarak etiketlenmiş hedefleri ya da yargılarını sağlamaları gerekebileceği daha fazla dil tabanlı ya da soyuttur.
Birçok profesyonel otomatik muhakeme projelerinde belirli hedefleri belirler. Örneğin, bazı algoritmalar tıbbi bir teşhis sağlama amacına yönelik olarak veya planlama, doğrulama veya bilgisayar girişi ve programlamanın belirli karar odaklı mantıksal sonuçlara yol açtığı diğer görevler için yazılabilir. Bu projelerin çoğunda, geliştiriciler bu teknolojileri gerçek dünyadaki problemleri analiz etmede etkinlik için ölçeklendirmek için çalışmaktadır. Muhakeme için bu otomasyon uygulamalarının birçoğu, teknolojinin insanların geniş bir yelpazedeki projelerde karar vermelerine yardımcı olmak için kullanıldığı karar destek adı verilen kategoriye girer.
Otomatik muhakemede kullanılan tekniklerden bazıları diğer teknolojilerde de yararlıdır. Örneğin, uygulamalardaki muhakeme için otomasyon üzerinde çalışanlar genellikle algoritmalar esasen geniş bir veri noktası kümesini daha somut ve spesifik bir sonuç haline getirecek şekilde bulanık mantık denilen şeyi kullanır. Otomatik muhakeme yöntemlerinin değerlendirilmesi, dışardaki gözlemcilerin bu teknoloji uygulamalarının nasıl inşa edildiğini, nasıl çalıştıklarını ve ne için yararlı olduklarını anlamalarına yardımcı olabilir.
Uzmanların çoğu, otomatik muhakeme alanını ilerletmek için daha yapılacak çok şey olduğu konusunda hemfikirdir. Gelecekteki projeler muhtemelen otomatik muhakeme kabiliyetine sahip küçük talaşları dahil ederek bir dizi tüketici ürününü daha etkili hale getirmenin yollarını içerecektir. Daha büyük uygulamalar kamu yönetimi ve diğer üst düzey yönetim alanları için metodolojide son derece önemli güncellemeler sağlayabilir.
