سامانه استدلال
بسیاری از استدلال سیستم استخدام استدلال استقرایی به رسم استنتاج در دسترس دانش است. این استنتاج موتورهای پشتیبانی استدلالی هستند که به جلو یا رو به عقب برای پی بردن به نتیجه‌گیری از طریق وضع مقدم استدلال می‌کنند. این استدلال بازگشتی روش استخدام نامیده می‌شوند 'به جلو زنجیرهای «و»عقب مانده زنجیری'بود. اگر چه استدلال سیستم به‌طور گسترده‌ای پشتیبانی از استنتاج قیاسی در برخی از سیستم‌های استخدام abductive سلفیهای defeasible و انواع دیگر از استدلال است. ابتکارات نیز ممکن است به کار برای تعیین راه حل‌های قابل قبول به مشکلات مقاوماست.
زنجیره‌سازی عقب‌سو
زنجیره‌سازی عقب‌سو یکی از دو روش استنتاج منطقی در موتور استنتاج می‌باشد. روش دیگر زنجیره‌سازی جلوسو می‌باشد. در این روش برای اثبات یک گزاره، از گزاره شروع کرده و با بررسی مقدمات آن در پایگاه دانش سعی می‌شود که گزاره اثبات شود.