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