زنجیره‌سازی عقب‌سو

زنجیره‌سازی عقب‌سو  یکی از دو روش استنتاج منطقی در موتور استنتاج می‌باشد. روش دیگر زنجیره‌سازی جلوسو می‌باشد.
در این روش برای اثبات یک گزاره، از گزاره شروع کرده و با بررسی مقدمات آن در پایگاه دانش سعی می‌شود که گزاره اثبات شود.

منابع 

 فصل هفتم کتاب هوش مصنوعی: رهیافتی نوین – نوشته استوارت راسل و پیتر نورویگ – ویرایش سوم - ۲۰۰۹

 Stuart Russell and Peter Norvig, Artificial Intelligence: A Modern Approach, 3rd Edition, Prentice Hall, 2009

سیستم خبره
منطق در علوم کامپیوتر
نظریه تصمیم