زنجیره‌سازی عقب‌سو
زنجیره‌سازی عقب‌سو (به انگلیسی: Backward chaining) یکی از دو روش استنتاج منطقی در موتور استنتاج می‌باشد. روش دیگر زنجیره‌سازی جلوسو می‌باشد. در این روش برای اثبات یک گزاره، از گزاره شروع کرده و با بررسی مقدمات آن در پایگاه دانش سعی می‌شود که گزاره اثبات شود.
منابع
- فصل هفتم کتاب هوش مصنوعی: رهیافتی نوین – نوشته استوارت راسل و پیتر نورویگ – ویرایش سوم - ۲۰۰۹
- Stuart Russell and Peter Norvig, Artificial Intelligence: A Modern Approach, 3rd Edition, Prentice Hall, 2009