Geri zincirleme, yapay zeka sistemleri tarafından kullanılan bir mantık sistemidir. Bir problemi, bir amaçtan geriye doğru bir dizi kuralla çalışarak çözmek için tasarlanmıştır. Bu yaklaşım, satranç oyunlarını çözen programlardan bilinmeyen nesneleri tanımlamak için kullanılan algoritmalara kadar çok çeşitli sistemler tarafından kullanılabilir. Temel, bir çözüme ulaşmak için sistemin bir dizi seçenek içerisinde doğru bir şekilde hareket etmek için kullanabileceği bir dizi mantıklı ve kullanışlı endüktif kuralla sağlam programlama gerektirir.
Bu yöntemde, sisteme, son ürün veya hedefi sunan programcı tarafından bir dizi kural sunulur. Sistem, son hedefe nasıl ulaşılabileceğini belirlemek için kurallar arasında geriye doğru çalışır. Örneğin, satranç oyunlarını çözen programların kullandığı geriye dönük çıkarımda, bilgisayar parçaların pozisyonunu alabilir ve oyundaki muhtemel hareket seyrini belirlemek için bir dizi if-then ifadesiyle hareket edebilir. Bir bilgisayar, sonucu değiştirmek için oyun sırasında oluşabilecek diğer olası çözümleri ve dalları keşfetmek için geri zincirlemeyi de kullanabilir.
Geri zincirleme kullanan sistemler, yapmaları gereken işe bağlı olarak karmaşıklık içinde değişen kurallara sahip olabilir. Çiçekleri tanımlayabilen bir sistem, örneğin, baktığı türü doğru bir şekilde belirlemek için geniş bir dallanma seçeneğine ihtiyaç duyabilir. Renkle ilgili bir dizi ifadeyle başlayabilir, çiçek türlerinde, yaprak sayısında, yapraklarda ve diğer özelliklerde hareket edebilir ve son bir cevabı belirlemek için her adımda soruları yanıtlayan belirli bir çiçeğin kimliğini belirleyebilir. Bu süreçte yapılan hatalar kimlik tespit hatalarına neden olabilir.
Bu akıl yürütme sistemi basit bir mantık gerektirir. Sistem bir gerçeği inceler, verilen bir ürüne uyup uymadığını belirler ve oradan başka bir adım atar. Gerçek, mevcut bilgilerle eşleşmiyorsa, yanlıştır ve geriye doğru zincirleme mantığı, bu gerçeği ve ondan ayrılabilecek olanları atabilir. Uygun gerçekler, bir programın mantıkla çalışmasına ve hangisinin en uygun olduğunu görmek için dallanma olaylarını keşfetmesine izin verir. Bu, çeşitli görevler için iyi çalışabilir.
Yapay zeka, geri zincirlemeyi kullanabilen tek varlık değildir. Primatlarla çalışan araştırmacılar, bazı türlerin sorunları çözmek için bu mantıksal yöntemi kullandığı görülüyor. Bu, problemleri anlama ve bunları çözecek bir sistem geliştirme kapasitesini göstermektedir.
