استدلال
تمثیل سرایت دادن حکم یک موضوع به موضوع دیگر به دلیل مشابهت آن دو به یکدیگر است. واژهٔ تمثیل در این بافت به معنای تشبیه کردن یا مانند کردن چیزی به چیزی دیگر به‌کار رفته‌است. در استدلال تمثیلی می‌کوشیم تا براساس همانندی بین دو چیز، حُکمی را که برای یکی از آن‌ها درست می‌دانیم برای دیگری هم درست بدانیم. نکتهٔ درخورِ توجه در این استدلال آن است که این استدلال برپایهٔ همانندی است نه محتوا. استدلال تمثیلی برپایهٔ وجه‌شبه بین دو چیز است؛ برای نمونه گُمان می‌کنیم شخصی به‌نام حسین تیزهوش است. حسین برادری به‌نام حسن دارد. وجه‌شبه حسین و حسن برادری آن‌ها نسبت به یکدیگر است؛ ازهمین‌رو، می‌گوییم چون حسن برادر حسین است، حسن هم تیزهوش است. چنین استدلالی تنها براساس برادری بین حسین و حسن پایه‌گذاری شده‌است.
سامانه استدلال
اصطلاح استدلال سیستم می‌تواند مورد استفاده قرار گیرد در مورد هر نوع تصمیم‌گیری پیچیده یا توسط مناطق خاص که در ادامه توضیح داده خواهد شد. شایع‌ترین استفاده از سیستم استدلال کامپیوتراست که نماینده‌ای از منطق است. منطق‌های مختلف پیاده‌سازی شده تنوع قابل توجهی امانند سیستم‌های منطق و تشریفات. بسیاری از سیستم استدلال که پیاده‌سازی تغییرات propositional و نمادین (گزاره)که از نظر منطق نشان می‌دهد. این تغییرات ممکن است با ریاضی دقیق نمایندگی رسمی سیستم‌های منطقی (به عنوان مثال FOL) یا تمدید و هیبرید نسخه از این سیستم (به عنوان مثال مؤدب منطق). امکان در پیاده‌سازی منطق‌های اضافی نوع (به عنوان مثال معینبا deonticهای زمانی منطق) در سیستم استدلال ممکن است. بسیاری از استدلال پیاده‌سازی سیستم‌های مبهم و نیمه رسمی به تقریب رسمیت شناخته شده‌است. سیستم منطق این سیستم به‌طور معمول پشتیبانی کاری از انواع رویه و نیمه-تعریف تکنیک‌های به منظور مدل‌های مختلف استراتژی استدلال را بر عهده دارد