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

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

 منابع 

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

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

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