Otomatik Akıl Yürütme
Automated Reasoning
Tanım
Bilgisayar sistemlerinin ve yapay zeka programlarının matematiksel teoremleri kanıtlama, denklemleri çözme ve mantıksal çıkarım yapma süreçlerini otonom olarak gerçekleştirmesini inceleyen alt disiplin.
Örnek Vaka / Uygulama
Bir yazılım doğrulama sisteminin, karmaşık bir kritik altyapı kodunun mantıksal tutarsızlık içerip içermediğini insan müdahalesine gerek kalmaksızın formal matematiksel kanıtlarla test etmesi.
Derin Analiz
Otomatik akıl yürütme, bilişsel bilimler ile teorik bilgisayar bilimlerinin kesişim kümesinde yer alır. İnsan beyninin tümdengelim ve tümevarım süreçlerini formal mantık kuralları çerçevesinde simüle eder. Geometrik teorem kanıtlama ve cebirsel denklemlerin çözümü gibi karmaşık bilişsel yük gerektiren işlemleri algoritmik temellere oturtur. Nörobiyolojik ya da klinik bir bozukluk olmayıp, tamamen yapay zeka ve bilişsel modelleme bağlamında sembolik mantık, bilgi temsili ve arama algoritmaları üzerinden işler.
Etimoloji
İngilizce 'automate' (otomatikleştirmek, Latince 'automatus' [kendi kendine hareket eden]) ve 'reasoning' (muhakeme etmek, akıl yürütmek, Latince 'ratios' [hesap, akıl]) kelimelerinin birleşiminden türetilmiştir.
Karıştırmayın
Makine öğrenimi ile sıklıkla karıştırılır; makine öğrenimi istatistiksel örüntü tanımaya dayalı tümevarımsal bir yaklaşım izlerken, otomatik akıl yürütme kesin formal mantık kurallarına dayalı tümdengelimsel süreçleri hedefler.