İçindekiler:
Tanımı - Geri Zincirleme ne demektir?
Geri zincirleme yapay zeka, otomatik teorem kanıtlayıcılar ve kanıt asistanlarında yaygın olarak kullanılan bir çıkarım yöntemidir. Geri zincirleme metodolojisi bir hedeften geriye doğru çalışmak olarak tanımlanabilir. Birçok programlama dili çıkarım motorlarında geriye doğru zincirlemeyi destekler.
Geri zincirleme, geriye doğru muhakeme olarak da adlandırılır.
Techopedia Geri Zinciri Açıklıyor
Geri zincirleme, seçici doğrusal belirli yan tümce çözünürlüğü aracılığıyla mantık programlamasında kullanılır. Girişim kuralları ve mantıksal ima ile en yaygın kullanılan mantık yöntemlerinden biridir. Geri zincirleme, bunları destekleyecek herhangi bir veri olup olmadığını belirlemek için bir hedefler listesinden geriye doğru çalışır. Geri zincirleme kullanan bir çıkarım motoru, sonuçta istenen hedefe uyan bir kural bulana kadar çıkarım kurallarını arar. Bu kuralın öncülünün doğru olduğu bilinmüyorsa, kural hedef listesine eklenir, böylece verilerin onaylanması için bulunur.
